Main Greg Channel!
Unsorted stuff
N'hésitez pas à visiter le site du podcast et à soutenir son créateur : peertube.ichigo.everydayimshuflin.com
Catégorie
Site du podcast
Dernier épisode
12 sept. 2026
Où écouter ?
Les podcasts dans l'appli Replaio Radio Bientôt disponibleLes podcasts arrivent très bientôt dans l'appli. Installe-la dès maintenant et découvre en avant-première une toute nouvelle façon de vivre les podcasts
Installe-la gratuitement
Android près de 10 M de téléchargements · note de 4,8
iOS bientôt
Épisodes
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 -...
Podcasts similaires
Écoute le podcast Main Greg Channel! sur Replaio
La radio et les podcasts dans une seule appli - gratuite, sans inscription. Installe-la dès aujourd'hui et ne rate pas le lancement
Replaio n'est pas éditeur de podcasts ; les noms des émissions, les visuels et l'audio appartiennent à leurs auteurs et sont diffusés via des flux RSS publics
