Main Greg Channel!
Unsorted stuff
Обов'язково відвідайте сайт подкасту та підтримайте його автора: peertube.ichigo.everydayimshuflin.com
Категорія
Сайт подкасту
Останній епізод
12 вер 2026
Де слухати?
Подкасти в застосунку Replaio Radio Уже незабаромПодкасти незабаром з'являться в застосунку. Встановіть уже зараз і першими побачте зовсім новий погляд на подкасти
Встановіть безкоштовно
Android майже 10 млн завантажень · рейтинг 4,8
iOS незабаром
Епізоди
How ZSNES pioneered modern Emulation Video 21.07.2025
In the early days, Super Nintendo Emulation was inaccurate and required a fast Pentium II PC to run at full speeds with sound, but in 1997 everything changed with the released on ZSNES, a blazingly fast SNES emulator written entirely in x86 assemb...
The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006 Video 23.06.2025
Harry Goldstein, professor at the University at Buffalo, explores the programming language Lean as more than just a proof assistant. In this talk, he walks through how Lean enables powerful metaprogramming and live programming features, allowing d...
Andrej Karpathy: Software Is Changing (Again) Video 19.06.2025
Andrej Karpathy's keynote at AI Startup School in San Francisco. Slides provided by Andrej: https://drive.google.com/file/d/1a0h1mkwfmV2PlekxDN8isMrDA5evc4wW/view?usp=sharing Chapters (Powered by https://ChapterMe.co) - 00:00 - Intro 01:25 -...
Схожі подкасти
Слухайте подкаст Main Greg Channel! у Replaio
Радіо та подкасти в одному застосунку - безкоштовно й без реєстрації. Встановіть уже сьогодні та не пропустіть запуск
Replaio не є видавцем подкастів; назви шоу, обкладинки та аудіо належать їхнім авторам і поширюються через публічні RSS-канали
