Loading video...

Video Failed to Load

Go Home

“Near the zero point” — unstructured stream rambling about my excitement for N64 (M64) programming, demoscene & retro dev, LLMs / vibecoding, modern programming culture, and where useful / interesting work lies

83,948 views • 18 days ago •via X (Twitter)

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

Xavier Leroy (creator of OCaml) is an expert in compilers, formal verification of software and functional programming. This interview should be an approachable resource if you're curious about formal verification of software since I was learning that on the fly during it. In this episode: • OCaml compared with Rust and JavaScript • What is formal verification and how does it work • How languages call each other across boundaries • How to address "almost-correct" LLM code • How type inference works in programming languages Where to watch: • YouTube - • Spotify - • Apple Podcasts - • Transcript - Thank you to the sponsor of this episode for supporting my work: • WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at Chapters: 00:00 - Intro 00:43 - What sets OCaml apart 04:39 - OCaml vs Rust 07:57 - Why is manual memory management more performant 11:21 - Javascript vs OCaml 14:00 - Famous Rob Pike quote 16:05 - Type inference and how it works 22:12 - What is formal verification and how does it work 40:07 - What made multicore support difficult for OCaml 50:17 - How programming languages interface and call each other 57:41 - The danger of almost-correct LLM code 01:05:39 - How LLMs will change programming languages 01:10:26 - Industry vs academia 01:15:05 - Most interesting unsolved problems 01:18:30 - Top book recommendations for engineers 01:21:17 - Advice for his younger self 01:23:31 - Outro

Ryan Peterman

23,728 views • 27 days ago

Time for the Right to learn how to Fight: This is the Story of How Jimmy Kimmel was Ripped Off-Air… What Jimmy Kimmel said about Charlie Kirk is indefensible. It made us all angry. But how do we channel that righteous anger into something productive? We must focus, isolate the enemy and apply swift, immense tactical pressure. Mean tweets are great. But they can be ignored. What can’t be ignored are your paying customers organizing against you and FCC investigations. That is exactly what we did. First thing: ABC is not just another cable channel. ABC operates under a special Federal Broadcast License that lavishes them with taxpayer-funded privileges on the condition that their programming is “fair and equal” and in the “public interest.” The FCC regulates this license, so my team immediately booked the FCC Chairman Brendan Carr on The Benny Show. Chairman Carr put Disney on notice that they were going to have to defend Kimmel’s sick lies about Charlie’s death before the FCC. We made them defend the indefensible. Make them eat it. Then my team contacted ABC, Disney and local station owners all day. This is key. ABC creates the programming BUT privately owned local affiliates choose to broadcast the programming — or not. They have the power. There are hundreds of stations with moral, patriotic audiences who love Charlie Kirk and are sickened by Kimmel. We asked these broadcast affiliates why they would continue to carry such indefensible programming by ABC? To their great credit, Nexstar and Sinclair, two massive ABC affiliates that reach 37 million households told us they were pulling Kimmel out of respect for their viewers. A historic moment. Can’t think of another time that has been done. This is the free market. Kimmel chose to attack Kirk. Viewers chose to not watch Kimmel. If local viewers turn off Kimmel en-masse the local stations have catastrophic loss in ad revenue and the system collapses. Drop an FCC investigation on top of that and Disney has no choice but to rip the toxic programming from the air. This is a generational culture war victory. Charlie always knew how to Fight and Win. We are the majority. When Republicans organize and unite for a common cause we are unstoppable. Let’s unite in this moment and win. For Charlie 👊🏼🇺🇸

Benny Johnson

605,342 views • 11 months ago

Here's my conversation all about AI in 2026, including technical breakthroughs, scaling laws, closed & open LLMs, programming & dev tooling (Claude Code, Cursor, etc), China vs US competition, training pipeline details (pre-, mid-, post-training), rapid evolution of LLMs, work culture, diffusion, robotics, tool use, compute (GPUs, TPUs, clusters), continual learning, long context, AGI timelines (including how stuff might go wrong), advice for beginners, education, a LOT of discussion about the future, and other topics. It's a great honor and pleasure for me to be able to do this kind of episode with two of my favorite people in the AI community: 1. Sebastian Raschka (Sebastian Raschka) 2. Nathan Lambert (Nathan Lambert) They are both widely-respected machine learning researchers & engineers who also happen to be great communicators, educators, writers, and X posters. This was a whirlwind conversation: everything from the super-technical to the super-fun. It's here on X in full and is up everywhere else (see comment). Timestamps: 0:00 - Introduction 1:57 - China vs US: Who wins the AI race? 10:38 - ChatGPT vs Claude vs Gemini vs Grok: Who is winning? 21:38 - Best AI for coding 28:29 - Open Source vs Closed Source LLMs 40:08 - Transformers: Evolution of LLMs since 2019 48:05 - AI Scaling Laws: Are they dead or still holding? 1:04:12 - How AI is trained: Pre-training, Mid-training, and Post-training 1:37:18 - Post-training explained: Exciting new research directions in LLMs 1:58:11 - Advice for beginners on how to get into AI development & research 2:21:03 - Work culture in AI (72+ hour weeks) 2:24:49 - Silicon Valley bubble 2:28:46 - Text diffusion models and other new research directions 2:34:28 - Tool use 2:38:44 - Continual learning 2:44:06 - Long context 2:50:21 - Robotics 2:59:31 - Timeline to AGI 3:06:47 - Will AI replace programmers? 3:25:18 - Is the dream of AGI dying? 3:32:07 - How AI will make money? 3:36:29 - Big acquisitions in 2026 3:41:01 - Future of OpenAI, Anthropic, Google DeepMind, xAI, Meta 3:53:35 - Manhattan Project for AI 4:00:10 - Future of NVIDIA, GPUs, and AI compute clusters 4:08:15 - Future of human civilization

Lex Fridman

913,823 views • 6 months ago

Clawdbot creator Peter Steinberger offers a sobering reframe: Programming isn't dying, it's just becoming a hobby. He's being honest about where it's headed. He recently came across an article making the case that it's okay to mourn programming as a craft, and it struck a chord: "A part of me very strongly resonates with that because in my past, I spent a lot of time tinkering, just being really deep in the flow and just like cranking out code and like finding really beautiful solutions." But mourning, he says, is not the same as resisting. "It's okay to mourn it, but that's not something we can fight." His reasoning cuts to the core of why developer salaries ballooned in the first place: "The world for a long time had a lack of intelligence — if you see it like that — of people building things, and that's why salaries of software developers reached stupidly high amounts. And that will go away." The scarcity that made programming so financially rewarding was never really about the beauty of the craft. It was about supply and demand. AI is eroding that scarcity fast. And Peter Steinberger 🦞 isn't just theorising. He has shipped over 6,600 commits in a single month, much of it AI-assisted, sometimes without reading every line of code. That's what adaptation looks like in practice. The programmers who thrive won't be the ones who insist on writing every line themselves. They'll be the ones who understand systems deeply enough to direct, review, and build with AI as a collaborator. As Steinberger puts it: "The actual art of programming, it will stay there, but it's going to be like knitting — people do that because they like it, not because it makes any sense." The passion for code will always exist, but the era of it being a scarce and highly paid profession is coming to an end.

Big Brain AI

15,023 views • 4 months ago