https://youtube.com/channel/UCzfWY7vXnupdAH0_dKmk7ww Adi Baradwaj (2013-11-17 14:59:00 +0000 UTC) TV & Film Podsync generator (support us at https://github.com/yangtfu/podsync) en-us Tue, 27 Oct 2026 12:18:19 +0000 Sun, 17 Nov 2013 14:59:00 +0000 https://yt3.ggpht.com/6orzYIBqVfCYzjkzRnj1eTl3aEk1OSle3_BU98u_hQhMhblWo3tnvdHT9EG8paNL9TVupj-hkQ=s800-c-k-c0x00ffffff-no-rj https://youtube.com/channel/UCzfWY7vXnupdAH0_dKmk7ww Adi Baradwaj Adi Baradwaj yes no oAz4rFM2szo https://youtube.com/watch?v=oAz4rFM2szo Thu, 13 Aug 2026 09:00:01 +0000 Adi Baradwaj Revamp CS Curriculum: Core Programming & Abstraction #shorts 1:13 no 1 UiAkZdXWGSc https://youtube.com/watch?v=UiAkZdXWGSc Thu, 13 Aug 2026 06:55:46 +0000 Adi Baradwaj Formal Verification: AI's Role & The PL Tradition #shorts 2:30 no 2 L9Z8ZLwxM6U https://youtube.com/watch?v=L9Z8ZLwxM6U Thu, 13 Aug 2026 04:59:36 +0000 Adi Baradwaj Software Foundations: From Rocq to Lean Mastery #shorts 2:44 no 3 W1NRoaB8uvA https://youtube.com/watch?v=W1NRoaB8uvA Thu, 13 Aug 2026 02:54:30 +0000 Adi Baradwaj Lean's Non-Turing Completeness: Restriction or Feature? #shorts 1:28 no 4 R1g6Zte-S6w https://youtube.com/watch?v=R1g6Zte-S6w Thu, 13 Aug 2026 00:59:28 +0000 Adi Baradwaj Vegan Athlete and formal verification researcher #shorts 2:34 no 5