Main Greg Channel!
Unsorted stuff
Be sure to visit the podcast's website and support the creator: peertube.ichigo.everydayimshuflin.com
Category
Podcast website
Latest episode
Sep 12, 2026
Where to listen?
Podcasts in the app Replaio Radio Coming soonPodcasts are coming to the app soon. Install now and be the first to see a whole new take on podcasts
Install for free
Android almost 10M downloads · 4.8 rating
iOS soon
Episodes
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 -...
Similar podcasts
Listen to the Main Greg Channel! podcast in Replaio
Radio and podcasts in one app - free, with no sign-up. Install today and do not miss the launch
Replaio is not a podcast publisher; show names, artwork and audio belong to their authors and are distributed through public RSS feeds.
