Загрузка видео...

Не удалось загрузить видео

На главную

Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages. In this episode: • Useful and useless programming languages • Rust vs C • Haskell vs OCaml • Why functional...

ryanlpeterman's profile picture

Ryan Peterman

28,166 subscribers

128,294 просмотров • 2 месяцев назад •via X (Twitter)

ОбразованиеНаука и технологии
LIVE

Anya Rossi• Live Now

Private livecam show

Комментарии: 0

Нет доступных комментариев

Здесь появятся комментарии из оригинального поста

Похожие видео

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
1:24:27

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,942 просмотров • 1 месяц назад

Martin Odersky (Martin Odersky) is the creator of Scala and I interviewed him to compare different languages designs (Rust vs Zig vs Python vs Scala) and how AI will impact programming languages. In this episode: • Comparing Rust, Zig, Python, and Scala designs • Why its hard to write a compiler • Predictions about how AI will impact software • Why functional programming matters Where to watch: • YouTube - • Spotify - • Apple Podcasts - • Transcript - Thank you to the sponsors 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 • Jira by Atlassian: Get more work done with your favorite agents and models all in one place, check them out at Chapters: 00:00 Intro 00:44 Why care about functional programming 06:35 Why should people learn Scala 09:26 Rust vs Scala 12:42 Rust vs Zig 15:45 Scala vs Python 18:31 The programming languages that influenced him 22:16 How running on the JVM works 26:33 Why writing a compiler is hard 29:19 Why Twitter adopted Scala early on 31:00 How he believes AI will impact programming languages 43:40 Will there be less engineers in ten years 44:34 Top programming languages to learn to grow 46:18 Top technical book recommendation 46:51 Why he chose academia instead of industry 48:28 Reflecting on Scala 55:42 Advice for his younger self 56:33 Outro
57:30

Martin Odersky (Martin Odersky) is the creator of Scala and I interviewed him to compare different languages designs (Rust vs Zig vs Python vs Scala) and how AI will impact programming languages. In this episode: • Comparing Rust, Zig, Python, and Scala designs • Why its hard to write a compiler • Predictions about how AI will impact software • Why functional programming matters Where to watch: • YouTube - • Spotify - • Apple Podcasts - • Transcript - Thank you to the sponsors 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 • Jira by Atlassian: Get more work done with your favorite agents and models all in one place, check them out at Chapters: 00:00 Intro 00:44 Why care about functional programming 06:35 Why should people learn Scala 09:26 Rust vs Scala 12:42 Rust vs Zig 15:45 Scala vs Python 18:31 The programming languages that influenced him 22:16 How running on the JVM works 26:33 Why writing a compiler is hard 29:19 Why Twitter adopted Scala early on 31:00 How he believes AI will impact programming languages 43:40 Will there be less engineers in ten years 44:34 Top programming languages to learn to grow 46:18 Top technical book recommendation 46:51 Why he chose academia instead of industry 48:28 Reflecting on Scala 55:42 Advice for his younger self 56:33 Outro

Ryan Peterman

100,208 просмотров • 5 дней назад

Anders Hejlsberg ( Anders Hejlsberg ) is the creator of TypeScript and C#, and I asked him about how the TypeScript compiler got 10x faster through a rewrite in Go and his thoughts on how AI has impacted software engineering. In this episode: • How rewriting the compiler makes it 10x faster • Why they picked Go instead of Rust • Why they didn't use LLMs for the migration • Predictions on AI's impact on software engineering Where to watch: • YouTube - • Spotify - • Apple Podcasts - • Transcript - Thank you to the sponsors 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 • Jira by Atlassian: Get more work done with your favorite agents and models all in one place, check them out at Chapters: 00:00 Intro 00:48 Why write a compiler in JavaScript 07:29 Why rewrite the compiler in Go 14:49 LLMs for large migrations 20:12 Why Javascript is so popular 26:32 Why ever use Javascript on the backend 32:59 What it takes to build a programming language 37:06 Will there be fewer languages in 10 years 42:57 Hands on engineering vs delegation 49:14 Why fast tooling matters more now 51:16 AI software engineering predictions 58:52 The most technically challenging work 01:02:04 Top book recommendation 01:03:50 Advice for his younger self 01:05:00 Outro
1:05:57

Anders Hejlsberg ( Anders Hejlsberg ) is the creator of TypeScript and C#, and I asked him about how the TypeScript compiler got 10x faster through a rewrite in Go and his thoughts on how AI has impacted software engineering. In this episode: • How rewriting the compiler makes it 10x faster • Why they picked Go instead of Rust • Why they didn't use LLMs for the migration • Predictions on AI's impact on software engineering Where to watch: • YouTube - • Spotify - • Apple Podcasts - • Transcript - Thank you to the sponsors 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 • Jira by Atlassian: Get more work done with your favorite agents and models all in one place, check them out at Chapters: 00:00 Intro 00:48 Why write a compiler in JavaScript 07:29 Why rewrite the compiler in Go 14:49 LLMs for large migrations 20:12 Why Javascript is so popular 26:32 Why ever use Javascript on the backend 32:59 What it takes to build a programming language 37:06 Will there be fewer languages in 10 years 42:57 Hands on engineering vs delegation 49:14 Why fast tooling matters more now 51:16 AI software engineering predictions 58:52 The most technically challenging work 01:02:04 Top book recommendation 01:03:50 Advice for his younger self 01:05:00 Outro

Ryan Peterman

61,110 просмотров • 19 дней назад

Leonardo de Moura (Leonardo de Moura) is the creator of Lean and the Z3 theorem prover. I talked with him about how Lean works and why LLMs plus Lean will fundamentally change how we write software and do math. In this episode: • How formal verification and proof assistants work • How Lean will impact handwritten math & software • Lean’s role in recent math breakthroughs • When software is worth formalizing 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:28 How formal verification works 05:21 A new way of writing software 13:15 Proof assistants vs programming languages 21:06 How Lean has assisted in mathematical breakthroughs 32:03 When is it worth formalizing software 33:29 How Lean will impact handwritten math 38:55 The Z3 theorem prover project he started 45:44 The most technically challenging work of his career 51:10 Lean vs its competitors 01:00:37 The future of Lean 01:04:10 Technical book recommendations 01:06:15 Advice for his younger self 01:07:10 Outro
1:08:06

Leonardo de Moura (Leonardo de Moura) is the creator of Lean and the Z3 theorem prover. I talked with him about how Lean works and why LLMs plus Lean will fundamentally change how we write software and do math. In this episode: • How formal verification and proof assistants work • How Lean will impact handwritten math & software • Lean’s role in recent math breakthroughs • When software is worth formalizing 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:28 How formal verification works 05:21 A new way of writing software 13:15 Proof assistants vs programming languages 21:06 How Lean has assisted in mathematical breakthroughs 32:03 When is it worth formalizing software 33:29 How Lean will impact handwritten math 38:55 The Z3 theorem prover project he started 45:44 The most technically challenging work of his career 51:10 Lean vs its competitors 01:00:37 The future of Lean 01:04:10 Technical book recommendations 01:06:15 Advice for his younger self 01:07:10 Outro

Ryan Peterman

13,659 просмотров • 26 дней назад

Here's my 6 hour conversation with DHH, a legendary programmer, creator of Ruby on Rails, author, and race car driver. This was a fun and inspiring conversation on everything from the future of programming & AI to the nature of happiness & productivity to the value of family, getting married and having kids. X limits video length to 6 hours. So this full convo doesn't fit (by a few minutes). So, the first 6 hours are here on X. The full version is up everywhere else (see comment). Timestamps: 0:00 - Episode highlight 1:21 - Introduction 2:32 - Programming - early days 19:57 - JavaScript 30:16 - Google Chrome and DOJ 38:03 - Ruby programming language 45:14 - Beautiful code 1:03:15 - Metaprogramming 1:06:36 - Dynamic typing 1:13:55 - Scaling 1:26:47 - Future of programming 1:44:18 - Future of AI 1:50:13 - Vibe coding 1:58:45 - Rails manifesto: Principles of a great programming language 2:23:11 - Why managers are useless 2:32:32 - Small teams 2:38:39 - Jeff Bezos 2:53:57 - Why meetings are toxic 3:01:43 - Case against retirement 3:09:00 - Hard work 3:14:38 - Why we left the cloud 3:17:48 - AWS 3:27:07 - Owning your own servers 3:33:19 - Elon Musk 3:43:01 - Apple 3:54:48 - Tim Sweeney 4:06:22 - Fatherhood 4:32:04 - Racing 4:59:08 - Cars 5:04:26 - Programming setup 5:19:35 - Programming language for beginners 5:32:53 - Open source 5:41:46 - WordPress drama 5:53:03 - Money and happiness 6:01:56 - Hope
5:59:58

Here's my 6 hour conversation with DHH, a legendary programmer, creator of Ruby on Rails, author, and race car driver. This was a fun and inspiring conversation on everything from the future of programming & AI to the nature of happiness & productivity to the value of family, getting married and having kids. X limits video length to 6 hours. So this full convo doesn't fit (by a few minutes). So, the first 6 hours are here on X. The full version is up everywhere else (see comment). Timestamps: 0:00 - Episode highlight 1:21 - Introduction 2:32 - Programming - early days 19:57 - JavaScript 30:16 - Google Chrome and DOJ 38:03 - Ruby programming language 45:14 - Beautiful code 1:03:15 - Metaprogramming 1:06:36 - Dynamic typing 1:13:55 - Scaling 1:26:47 - Future of programming 1:44:18 - Future of AI 1:50:13 - Vibe coding 1:58:45 - Rails manifesto: Principles of a great programming language 2:23:11 - Why managers are useless 2:32:32 - Small teams 2:38:39 - Jeff Bezos 2:53:57 - Why meetings are toxic 3:01:43 - Case against retirement 3:09:00 - Hard work 3:14:38 - Why we left the cloud 3:17:48 - AWS 3:27:07 - Owning your own servers 3:33:19 - Elon Musk 3:43:01 - Apple 3:54:48 - Tim Sweeney 4:06:22 - Fatherhood 4:32:04 - Racing 4:59:08 - Cars 5:04:26 - Programming setup 5:19:35 - Programming language for beginners 5:32:53 - Open source 5:41:46 - WordPress drama 5:53:03 - Money and happiness 6:01:56 - Hope

Lex Fridman

4,789,732 просмотров • 1 год назад

Here's my conversation with ThePrimeagen, a programmer who has educated, entertained, and inspired millions of people to build software and have fun doing it. It's here on X in full, and is up everywhere else too (see comment). Timestamps: 0:00 - Introduction 0:42 - Love for programming 10:15 - Hardest part of programming 12:31 - Types of programming 20:08 - Life story 30:12 - Hardship 31:44 - High school 37:30 - Porn addiction 47:16 - God 1:02:59 - Perseverance 1:12:55 - Netflix 1:25:23 - Groovy 1:30:27 - Printf() debugging 1:36:49 - Falcor 1:46:19 - Breaking production 1:49:04 - Pieter Levels 1:53:34 - Netflix, Twitch, and YouTube infrastructure 2:05:36 - ThePrimeagen origin story 2:20:52 - Learning programming languages 2:29:55 - Best programming languages in 2025 2:34:50 - Python 2:35:30 - HTML & CSS 2:36:20 - Bash 2:37:00 - FFmpeg 2:43:42 - Performance 2:46:15 - Rust 2:51:03 - Epic projects 3:04:27 - Asserts 3:13:41 - ADHD 3:21:49 - Productivity 3:26:13 - Programming setup 4:01:43 - Coffee 4:08:47 - Programming with AI 4:51:31 - Advice for young programmers 5:03:03 - Reddit questions 5:10:35 - God
5:20:10

Here's my conversation with ThePrimeagen, a programmer who has educated, entertained, and inspired millions of people to build software and have fun doing it. It's here on X in full, and is up everywhere else too (see comment). Timestamps: 0:00 - Introduction 0:42 - Love for programming 10:15 - Hardest part of programming 12:31 - Types of programming 20:08 - Life story 30:12 - Hardship 31:44 - High school 37:30 - Porn addiction 47:16 - God 1:02:59 - Perseverance 1:12:55 - Netflix 1:25:23 - Groovy 1:30:27 - Printf() debugging 1:36:49 - Falcor 1:46:19 - Breaking production 1:49:04 - Pieter Levels 1:53:34 - Netflix, Twitch, and YouTube infrastructure 2:05:36 - ThePrimeagen origin story 2:20:52 - Learning programming languages 2:29:55 - Best programming languages in 2025 2:34:50 - Python 2:35:30 - HTML & CSS 2:36:20 - Bash 2:37:00 - FFmpeg 2:43:42 - Performance 2:46:15 - Rust 2:51:03 - Epic projects 3:04:27 - Asserts 3:13:41 - ADHD 3:21:49 - Productivity 3:26:13 - Programming setup 4:01:43 - Coffee 4:08:47 - Programming with AI 4:51:31 - Advice for young programmers 5:03:03 - Reddit questions 5:10:35 - God

Lex Fridman

1,142,005 просмотров • 1 год назад

Bjarne Stroustrup is the creator of C++ and a former researcher at Bell Labs at its peak. I interviewed him about: • What made Bell Labs different • Programming language design: types, memory safety, bootstrapping • When abstraction improves performance • Anecdotes from building C++ • Thoughts on AI writing C++ • Mistakes he'd change while building C++ Where to watch: • YouTube: • Spotify: • Apple Podcasts: • Transcript: Thank you to this episode's sponsors for supporting my work: • Cursor 3: a unified workspace for building software with agents, check it out at • 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 Timestamps: 0:00 - Intro 0:50 - The origin of C++ 8:46 - What Bell Labs was like 17:24 - Dennis Ritchie 24:00 - When to build a programming language 31:59 - Bootstrapping a language 33:58 - C++ is not object-oriented 37:32 - Discussing type systems 46:20 - Memory safety 49:26 - Standards committee anecdotes 1:09:40 - Adding automatic garbage collection to C++ 1:18:25 - Template instantiation is Turing complete 1:21:57 - Abstraction and performance 1:28:51 - AI writing code 1:35:54 - His motivation 1:39:18 - Famous quotes 1:46:48 - Reflecting on building C++ 1:49:12 - Top C++ book recommendation 1:50:59 - Advice for his younger self 1:58:06 - Outro
1:59:03

Bjarne Stroustrup is the creator of C++ and a former researcher at Bell Labs at its peak. I interviewed him about: • What made Bell Labs different • Programming language design: types, memory safety, bootstrapping • When abstraction improves performance • Anecdotes from building C++ • Thoughts on AI writing C++ • Mistakes he'd change while building C++ Where to watch: • YouTube: • Spotify: • Apple Podcasts: • Transcript: Thank you to this episode's sponsors for supporting my work: • Cursor 3: a unified workspace for building software with agents, check it out at • 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 Timestamps: 0:00 - Intro 0:50 - The origin of C++ 8:46 - What Bell Labs was like 17:24 - Dennis Ritchie 24:00 - When to build a programming language 31:59 - Bootstrapping a language 33:58 - C++ is not object-oriented 37:32 - Discussing type systems 46:20 - Memory safety 49:26 - Standards committee anecdotes 1:09:40 - Adding automatic garbage collection to C++ 1:18:25 - Template instantiation is Turing complete 1:21:57 - Abstraction and performance 1:28:51 - AI writing code 1:35:54 - His motivation 1:39:18 - Famous quotes 1:46:48 - Reflecting on building C++ 1:49:12 - Top C++ book recommendation 1:50:59 - Advice for his younger self 1:58:06 - Outro

Ryan Peterman

322,418 просмотров • 3 месяцев назад

Barbara Liskov is a Turing award winner famous for her contributions to programming languages and distributed systems. I interviewed her recently about: • Being rejected from college based on gender • The software crisis of the 1970s • Paxos vs Viewstamped replication (her invention) and why one is more well known • Stories of Dijkstra and how his work influenced hers • Why her Turing award was questioned Where to watch: • Youtube - • Spotify - • Apple Podcasts - • Transcript -
0:46

Barbara Liskov is a Turing award winner famous for her contributions to programming languages and distributed systems. I interviewed her recently about: • Being rejected from college based on gender • The software crisis of the 1970s • Paxos vs Viewstamped replication (her invention) and why one is more well known • Stories of Dijkstra and how his work influenced hers • Why her Turing award was questioned Where to watch: • Youtube - • Spotify - • Apple Podcasts - • Transcript -

Ryan Peterman

170,033 просмотров • 4 месяцев назад

Ryan Williams (Ryan Williams @rrwilliams.bsky.social) is a professor at MIT and the winner of the Gödel Prize in theoretical computer science. I interviewed him all about his work starting by asking him a popular Leetcode question (3 SUM). In this episode: • Solving Leetcode faster than popular "optimal" solutions • SAT problems and solvers • Hot takes on famous open questions • How to pick good research direction 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:41 - Asking him a popular Leetcode question 03:54 - Doing better than the popular optimal solution 08:26 - Fine grained complexity 17:00 - A severe strengthening of P vs NP 24:38 - SAT problems and solvers 34:51 - Hot takes on famous open questions 46:57 - Simulating space with time 01:01:02 - Why he solves hard problems 01:02:35 - How to pick good research direction 01:07:14 - Technical book recommendations 01:08:31 - Advice for his younger self 01:11:56 - Outro
1:12:52

Ryan Williams (Ryan Williams @rrwilliams.bsky.social) is a professor at MIT and the winner of the Gödel Prize in theoretical computer science. I interviewed him all about his work starting by asking him a popular Leetcode question (3 SUM). In this episode: • Solving Leetcode faster than popular "optimal" solutions • SAT problems and solvers • Hot takes on famous open questions • How to pick good research direction 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:41 - Asking him a popular Leetcode question 03:54 - Doing better than the popular optimal solution 08:26 - Fine grained complexity 17:00 - A severe strengthening of P vs NP 24:38 - SAT problems and solvers 34:51 - Hot takes on famous open questions 46:57 - Simulating space with time 01:01:02 - Why he solves hard problems 01:02:35 - How to pick good research direction 01:07:14 - Technical book recommendations 01:08:31 - Advice for his younger self 01:11:56 - Outro

Ryan Peterman

148,279 просмотров • 2 месяцев назад

Avi Wigderson is the only person in history to have won both a Turing Award (computer science) and Abel Prize (math). I interviewed him all about his field. We discussed: • His intuition on a proof of P vs NP • Why we use SAT solvers for most NP problems • Zero knowledge proofs and their impact • Quantum computation and implications • Math and computer science's relationship Where to watch: • YouTube: • Spotify: • Apple Podcasts: • Transcript: Thank you to this episode's sponsors 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 Timestamps: 00:00 - Intro 01:08 - P vs NP 14:51 - What if you relaxed correctness 25:38 - Why NP complete problems are equivalent 30:33 - Space vs time complexity 43:06 - Why people use SAT solvers 45:53 - Randomness is a resource 55:48 - Randomness depends on computational power 01:21:20 - Zero knowledge proofs and their significance 01:38:30 - Quantum computation and why it matters 01:56:24 - Math vs computer science 02:08:16 - Major breakthroughs and his experience 02:12:31 - Advice for his younger self 02:14:48 - Outro
2:15:47

Avi Wigderson is the only person in history to have won both a Turing Award (computer science) and Abel Prize (math). I interviewed him all about his field. We discussed: • His intuition on a proof of P vs NP • Why we use SAT solvers for most NP problems • Zero knowledge proofs and their impact • Quantum computation and implications • Math and computer science's relationship Where to watch: • YouTube: • Spotify: • Apple Podcasts: • Transcript: Thank you to this episode's sponsors 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 Timestamps: 00:00 - Intro 01:08 - P vs NP 14:51 - What if you relaxed correctness 25:38 - Why NP complete problems are equivalent 30:33 - Space vs time complexity 43:06 - Why people use SAT solvers 45:53 - Randomness is a resource 55:48 - Randomness depends on computational power 01:21:20 - Zero knowledge proofs and their significance 01:38:30 - Quantum computation and why it matters 01:56:24 - Math vs computer science 02:08:16 - Major breakthroughs and his experience 02:12:31 - Advice for his younger self 02:14:48 - Outro

Ryan Peterman

259,951 просмотров • 3 месяцев назад

Here's my conversation with DHH. He is back for round 2! It was an epic fun 5 hour conversation about the future of programming, AI, Linux, and human civilization. It's here on X in full and is up everywhere else (see comment). Timestamps: 0:00 - Episode highlight 1:27 - Introduction 2:56 - Programming with AI agents 18:14 - How software will change 27:30 - AI impact on open source 37:21 - Building Omarchy Linux distro 47:05 - Vibe coding vs agentic engineering 1:00:06 - The end of manual programming 1:10:24 - Advice for programmers 1:22:30 - Surviving Internet Hate 1:31:46 - Programming setup for AI Agents 1:44:11 - Obsessing about speed 2:07:06 - Voice prompting vs typing 2:21:05 - Best AI coding models 2:37:55 - Best AI coding harnesses 2:50:57 - AI video generation and filmmaking 3:10:28 - Fatherhood 3:38:35 - Linux will win the desktop 3:49:51 - PewDiePie 3:59:24 - Future of programming 4:22:17 - Politics and immigration 4:53:54 - Longevity, over-optimization, and fear of death 5:05:38 - Eternal recurrence and future of human civization
5:15:50

Here's my conversation with DHH. He is back for round 2! It was an epic fun 5 hour conversation about the future of programming, AI, Linux, and human civilization. It's here on X in full and is up everywhere else (see comment). Timestamps: 0:00 - Episode highlight 1:27 - Introduction 2:56 - Programming with AI agents 18:14 - How software will change 27:30 - AI impact on open source 37:21 - Building Omarchy Linux distro 47:05 - Vibe coding vs agentic engineering 1:00:06 - The end of manual programming 1:10:24 - Advice for programmers 1:22:30 - Surviving Internet Hate 1:31:46 - Programming setup for AI Agents 1:44:11 - Obsessing about speed 2:07:06 - Voice prompting vs typing 2:21:05 - Best AI coding models 2:37:55 - Best AI coding harnesses 2:50:57 - AI video generation and filmmaking 3:10:28 - Fatherhood 3:38:35 - Linux will win the desktop 3:49:51 - PewDiePie 3:59:24 - Future of programming 4:22:17 - Politics and immigration 4:53:54 - Longevity, over-optimization, and fear of death 5:05:38 - Eternal recurrence and future of human civization

Lex Fridman

813,016 просмотров • 9 дней назад

David Malan (David J. Malan) is a professor at Harvard famous for transforming CS50 into a freely-available, world-class online course. I interviewed him about: • How he went from student -> teacher of CS50 • The knowledge that matters most in the future (not just programming) • How to be engaging in long-form lectures • How AI has impacted CS education including cheating / academic dishonesty • Advice for his younger self Where to watch: • YouTube: • Spotify: • Apple Podcasts: • Transcript: Thank you to this episode's sponsors for supporting my work: • Cursor 3: a unified workspace for building software with agents, check it out at • 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 Timestamps: 0:00 - Intro 1:09 - Getting into computer science 3:27 - Becoming the professor of CS50 11:19 - How to lecture well 14:25 - Depth vs engagement in education 18:11 - Why don't we consolidate educational resources 23:20 - Why start with C 31:51 - The ideal use of AI in education 34:54 - Cheating and AI 38:21 - Should we really learn CS still? 45:24 - College vs online education 47:06 - The most difficult concept to learn 51:00 - Growth vs fixed mindset 52:35 - The future of CS50 55:56 - Biggest career regret 1:00:29 - Top book recommendations 1:02:36 - Advice for his younger self 1:03:35 - Outro
1:04:30

David Malan (David J. Malan) is a professor at Harvard famous for transforming CS50 into a freely-available, world-class online course. I interviewed him about: • How he went from student -> teacher of CS50 • The knowledge that matters most in the future (not just programming) • How to be engaging in long-form lectures • How AI has impacted CS education including cheating / academic dishonesty • Advice for his younger self Where to watch: • YouTube: • Spotify: • Apple Podcasts: • Transcript: Thank you to this episode's sponsors for supporting my work: • Cursor 3: a unified workspace for building software with agents, check it out at • 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 Timestamps: 0:00 - Intro 1:09 - Getting into computer science 3:27 - Becoming the professor of CS50 11:19 - How to lecture well 14:25 - Depth vs engagement in education 18:11 - Why don't we consolidate educational resources 23:20 - Why start with C 31:51 - The ideal use of AI in education 34:54 - Cheating and AI 38:21 - Should we really learn CS still? 45:24 - College vs online education 47:06 - The most difficult concept to learn 51:00 - Growth vs fixed mindset 52:35 - The future of CS50 55:56 - Biggest career regret 1:00:29 - Top book recommendations 1:02:36 - Advice for his younger self 1:03:35 - Outro

Ryan Peterman

23,116 просмотров • 3 месяцев назад

Here's my conversation with the founding team of Cursor, a popular code editor (based on VSCode) that specializes in AI-assisted programming. This is a super technical conversation that is bigger than just about one code editor. It's about the future of programming and, in general, the future of human-AI collaboration. It's here on X in full, and is up on everywhere else. Timestamps: 0:00 - Introduction 0:59 - Code editor basics 3:09 - GitHub Copilot 10:27 - Cursor 16:54 - Cursor Tab 23:08 - Code diff 31:20 - ML details 36:54 - GPT vs Claude 43:28 - Prompt engineering 50:54 - AI agents 1:04:51 - Running code in background 1:09:31 - Debugging 1:14:58 - Dangerous code 1:26:09 - Branching file systems 1:29:20 - Scaling challenges 1:43:32 - Context 1:48:39 - OpenAI o1 2:00:01 - Synthetic data 2:03:48 - RLHF vs RLAIF 2:05:34 - Fields Medal for AI 2:08:17 - Scaling laws 2:17:06 - The future of programming
2:28:55

Here's my conversation with the founding team of Cursor, a popular code editor (based on VSCode) that specializes in AI-assisted programming. This is a super technical conversation that is bigger than just about one code editor. It's about the future of programming and, in general, the future of human-AI collaboration. It's here on X in full, and is up on everywhere else. Timestamps: 0:00 - Introduction 0:59 - Code editor basics 3:09 - GitHub Copilot 10:27 - Cursor 16:54 - Cursor Tab 23:08 - Code diff 31:20 - ML details 36:54 - GPT vs Claude 43:28 - Prompt engineering 50:54 - AI agents 1:04:51 - Running code in background 1:09:31 - Debugging 1:14:58 - Dangerous code 1:26:09 - Branching file systems 1:29:20 - Scaling challenges 1:43:32 - Context 1:48:39 - OpenAI o1 2:00:01 - Synthetic data 2:03:48 - RLHF vs RLAIF 2:05:34 - Fields Medal for AI 2:08:17 - Scaling laws 2:17:06 - The future of programming

Lex Fridman

1,262,904 просмотров • 1 год назад

E133: Sam Blackshear - How Libra Sparked the Move Language and Why Sui Is the Real Endgame! Sam Blackshear is the Co-founder and CTO of MystenLabs.sui , the company behind the Sui, and the Creator of the Move programming language that's revolutionizing smart contract development. Timestamps: 0:00 Introduction 1:54 Partnerships: Jupiter, KAST (old), , Sui, Mantle, Forza! BTC 2:44 The Power of Preparation 5:14 Discipline Behind the Podcast 6:27 Translating Thought Into Code 8:19 Who is Sam Blackshear? 9:27 Choosing What Truly Matters 10:25 Self-Custody with Trezor 11:18 Crypto vs. AI Thinking 12:28 The Power of Support 16:04 From Court Dreams to Reality 17:55 Challenging the Limits of Code 22:52 Chose Learning Over a Job 24:09 The Internship That Changed Everything 27:35 PhD Skills Meet Facebook 29:05 Entering Crypto Through Facebook 32:15 Why Libra Needed Move 33:42 Solving Scarcity in Code 36:37 Bitcoin & Ethereum Mistakes 38:45 Creating a New Language 41:41 Problem-Driven Innovation 44:47 Avoiding Analysis Paralysis 48:11 What is Unstructured Thinking? 50:50 Why Unstructured Thinking Works 53:14 Future of Crypto Protocols 54:21 Why Move is the Best Programming Language 55:00 What is the Sui Network? 56:25 What Makes Sui Different? 57:05 Why is Sui The Best Blockchain? 59:05 Managing Energy Long-Term 1:01:02 Satisfaction Without Closure 1:03:37 90% Love, 10% Grind 1:05:37 Mental State of Surfing 1:06:47 Non-Consensus Beliefs 1:07:34 What is Memory Safety? 1:09:07 What Was the Equifax Hack? 1:10:53 Rethinking Software Safety 1:12:00 Right Dose of Regulation 1:13:00 Biggest Prediction for the Next 24 Months? 1:14:02 Scaling Crypto Developers 1:16:07 Concluding Remarks
1:16:31

E133: Sam Blackshear - How Libra Sparked the Move Language and Why Sui Is the Real Endgame! Sam Blackshear is the Co-founder and CTO of MystenLabs.sui , the company behind the Sui, and the Creator of the Move programming language that's revolutionizing smart contract development. Timestamps: 0:00 Introduction 1:54 Partnerships: Jupiter, KAST (old), , Sui, Mantle, Forza! BTC 2:44 The Power of Preparation 5:14 Discipline Behind the Podcast 6:27 Translating Thought Into Code 8:19 Who is Sam Blackshear? 9:27 Choosing What Truly Matters 10:25 Self-Custody with Trezor 11:18 Crypto vs. AI Thinking 12:28 The Power of Support 16:04 From Court Dreams to Reality 17:55 Challenging the Limits of Code 22:52 Chose Learning Over a Job 24:09 The Internship That Changed Everything 27:35 PhD Skills Meet Facebook 29:05 Entering Crypto Through Facebook 32:15 Why Libra Needed Move 33:42 Solving Scarcity in Code 36:37 Bitcoin & Ethereum Mistakes 38:45 Creating a New Language 41:41 Problem-Driven Innovation 44:47 Avoiding Analysis Paralysis 48:11 What is Unstructured Thinking? 50:50 Why Unstructured Thinking Works 53:14 Future of Crypto Protocols 54:21 Why Move is the Best Programming Language 55:00 What is the Sui Network? 56:25 What Makes Sui Different? 57:05 Why is Sui The Best Blockchain? 59:05 Managing Energy Long-Term 1:01:02 Satisfaction Without Closure 1:03:37 90% Love, 10% Grind 1:05:37 Mental State of Surfing 1:06:47 Non-Consensus Beliefs 1:07:34 What is Memory Safety? 1:09:07 What Was the Equifax Hack? 1:10:53 Rethinking Software Safety 1:12:00 Right Dose of Regulation 1:13:00 Biggest Prediction for the Next 24 Months? 1:14:02 Scaling Crypto Developers 1:16:07 Concluding Remarks

MR SHIFT 🦁

164,299 просмотров • 1 год назад

Join my conversation with Elon Musk on AGI timelines, energy, robots, and why abundance is the most likely outcome for humanity's future, alongside my Moonshot Mate NOTDAVID! (00:00) - Navigating the Future of AI and Robotics (04:54) - The Promise of Abundance and Optimism (10:02) - Energy: The Key to a Sustainable Future (15:00) - The Role of Education in a Changing World (41:07) - Health, Longevity, and the Future of Humanity (50:51) - AI's Impact on Labor and Employment (55:05) - Universal High Income: A New Economic Paradigm (57:58) - Navigating the Singularity and AI's Acceleration (01:02:30) - The Role of AI in Healthcare and Surgery (01:08:22) - Ethics and AI: Programming Values into Machines (01:14:18) - The Future of Space Exploration and AI's Role (01:33:30) - The Chip Shortage Crisis (01:42:46) - Simulation Theory and Consciousness (01:48:18) - The Search for Extraterrestrial Life (01:58:28) - The Future of Robotics and AI Integration
2:49:47

Join my conversation with Elon Musk on AGI timelines, energy, robots, and why abundance is the most likely outcome for humanity's future, alongside my Moonshot Mate NOTDAVID! (00:00) - Navigating the Future of AI and Robotics (04:54) - The Promise of Abundance and Optimism (10:02) - Energy: The Key to a Sustainable Future (15:00) - The Role of Education in a Changing World (41:07) - Health, Longevity, and the Future of Humanity (50:51) - AI's Impact on Labor and Employment (55:05) - Universal High Income: A New Economic Paradigm (57:58) - Navigating the Singularity and AI's Acceleration (01:02:30) - The Role of AI in Healthcare and Surgery (01:08:22) - Ethics and AI: Programming Values into Machines (01:14:18) - The Future of Space Exploration and AI's Role (01:33:30) - The Chip Shortage Crisis (01:42:46) - Simulation Theory and Consciousness (01:48:18) - The Search for Extraterrestrial Life (01:58:28) - The Future of Robotics and AI Integration

Peter H. Diamandis, MD

6,235,651 просмотров • 8 месяцев назад

Michael Bolin (Michael Bolin) is the tech lead of the Codex open source repository at OpenAI and formerly a distinguished eng (E9) at Meta. I asked him for all the details on his career story and how he uses Codex for max benefit. Timestamps: 00:00:00 - Intro 00:00:56 - Chickenfoot 00:02:45 - Working at Google 00:06:34 - Overhauling Facebook's build system 00:16:36 - Rewriting Facebook's IDE 00:26:01 - Struggles after Principal Eng (E8) promo 00:28:39 - Building a virtual filesystem for Facebook 00:35:47 - Delayed Distinguished promo (E9) and learnings 00:39:56 - Joining OpenAI 00:43:05 - Research-led vs engineering-led cultures 00:44:53 - The story behind Codex 00:51:00 - How he uses Codex 00:57:00 - Why Codex's harness is open source 00:59:50 - Top technical book recommendations 01:05:02 - Why deep technical skills are still valuable (for now) 01:11:07 - How to start projects well 01:14:27 - Advice on writing better and career planning 01:17:06 - Advice for his younger self 01:19:10 - Outro He was a dream guest of mine and I'm excited to share his story with you all! Other places to watch: • YouTube: • Spotify: • Apple Podcasts: • Transcript:
1:20:03

Michael Bolin (Michael Bolin) is the tech lead of the Codex open source repository at OpenAI and formerly a distinguished eng (E9) at Meta. I asked him for all the details on his career story and how he uses Codex for max benefit. Timestamps: 00:00:00 - Intro 00:00:56 - Chickenfoot 00:02:45 - Working at Google 00:06:34 - Overhauling Facebook's build system 00:16:36 - Rewriting Facebook's IDE 00:26:01 - Struggles after Principal Eng (E8) promo 00:28:39 - Building a virtual filesystem for Facebook 00:35:47 - Delayed Distinguished promo (E9) and learnings 00:39:56 - Joining OpenAI 00:43:05 - Research-led vs engineering-led cultures 00:44:53 - The story behind Codex 00:51:00 - How he uses Codex 00:57:00 - Why Codex's harness is open source 00:59:50 - Top technical book recommendations 01:05:02 - Why deep technical skills are still valuable (for now) 01:11:07 - How to start projects well 01:14:27 - Advice on writing better and career planning 01:17:06 - Advice for his younger self 01:19:10 - Outro He was a dream guest of mine and I'm excited to share his story with you all! Other places to watch: • YouTube: • Spotify: • Apple Podcasts: • Transcript:

Ryan Peterman

119,601 просмотров • 6 месяцев назад

.signüll and i went through some of my favorite posts and accounts of all time and attempted to explain why they are good. thank you a16z for having us. thank you for the golf cart rides. thank you for the vodka sodas 00:00 - Why we started posting 05:26 - Defining “banger” and what goes viral now 06:59 - @basedsrini reaction 12:18 - bowser reaction 15:27 - hope hopes hoping reaction 17:03 - Gabriel reaction 25:47 - The Murray Hill Guy format (listing things) 28:04 - Max Mönch (rip) 34:08 - Landshark reaction 36:28 - Marc Andreessen 🇺🇸 and the thread format 37:35 - HowlingMutant reaction 38:57 - roon reaction 46:25 - “paula” reaction 49:19 - Getting good and finding your audience 53:04 - “Imagine the smell” gate 56:26 - How to get an account started 01:02:59 - Ragebait 01:04:01 - Finding your edge 01:07:27 - How the algorithm works 01:10:59 - Crossposting 01:14:15 - Monetizing
1:15:55

.signüll and i went through some of my favorite posts and accounts of all time and attempted to explain why they are good. thank you a16z for having us. thank you for the golf cart rides. thank you for the vodka sodas 00:00 - Why we started posting 05:26 - Defining “banger” and what goes viral now 06:59 - @basedsrini reaction 12:18 - bowser reaction 15:27 - hope hopes hoping reaction 17:03 - Gabriel reaction 25:47 - The Murray Hill Guy format (listing things) 28:04 - Max Mönch (rip) 34:08 - Landshark reaction 36:28 - Marc Andreessen 🇺🇸 and the thread format 37:35 - HowlingMutant reaction 38:57 - roon reaction 46:25 - “paula” reaction 49:19 - Getting good and finding your audience 53:04 - “Imagine the smell” gate 56:26 - How to get an account started 01:02:59 - Ragebait 01:04:01 - Finding your edge 01:07:27 - How the algorithm works 01:10:59 - Crossposting 01:14:15 - Monetizing

atlas

78,979 просмотров • 3 месяцев назад

What is the truth about race and evolution? A philosophical biologist (me) and a biological philosopher Nathan Cofnas hash it out in the wake of the Jason Arday scandal. 00:00:00 The Rules of Engagement 00:03:46 Race Realist? 00:08:47 Lineage vs. Race 00:13:58 The Euphemism Treadmill 00:16:38 Is Morality Real? 00:24:51 Westermarck and the Kibbutz 00:35:34 The Incest Taboo Test 00:41:53 Where Moral Beliefs Come From 00:52:34 Wokeism as an Existential Threat 00:57:54 Darwinism Applied to Humans 01:02:21 Does Winter Make You Smarter? 01:07:53 Inuits and Ethiopians 01:10:46 Why Aren't We All Von Neumann? 01:18:10 What About West African Sprinters? 01:24:37 The Black Cats in the Dark 01:28:21 The Longest Childhood on Earth 01:35:07 Everything Is an IQ Test 01:40:59 What Slavery Broke 01:45:21 Ethiopia, Korea, Japan, China 01:49:32 The Second Mode of Inheritance 01:54:18 What We Actually Disagree About 01:57:47 The Arms Race Has No Ceiling
2:02:44

What is the truth about race and evolution? A philosophical biologist (me) and a biological philosopher Nathan Cofnas hash it out in the wake of the Jason Arday scandal. 00:00:00 The Rules of Engagement 00:03:46 Race Realist? 00:08:47 Lineage vs. Race 00:13:58 The Euphemism Treadmill 00:16:38 Is Morality Real? 00:24:51 Westermarck and the Kibbutz 00:35:34 The Incest Taboo Test 00:41:53 Where Moral Beliefs Come From 00:52:34 Wokeism as an Existential Threat 00:57:54 Darwinism Applied to Humans 01:02:21 Does Winter Make You Smarter? 01:07:53 Inuits and Ethiopians 01:10:46 Why Aren't We All Von Neumann? 01:18:10 What About West African Sprinters? 01:24:37 The Black Cats in the Dark 01:28:21 The Longest Childhood on Earth 01:35:07 Everything Is an IQ Test 01:40:59 What Slavery Broke 01:45:21 Ethiopia, Korea, Japan, China 01:49:32 The Second Mode of Inheritance 01:54:18 What We Actually Disagree About 01:57:47 The Arms Race Has No Ceiling

Bret Weinstein

395,356 просмотров • 10 дней назад

Sergey Levine (Sergey Levine) is one of the world's top robotics researchers and co-founder of Physical Intelligence. We talked about where humanoid robotics is today, thoughts on the Chinese robotics ecosystem, and his predictions for future timelines. In this episode: • Current state of robotics and surprising capabilities so far • Chinese robotics compared to US ecosystem • If OpenAI and Anthropic got into robotics • His top robotics research paper recommendation • Predictions for when humanoid robotics will land 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:37 Where are we today 04:20 Most surprising capabilities so far 07:03 The most inspiring real world robotics 08:36 If OpenAI or Anthropic got into robotics 10:22 Chinese robotics 13:15 Will one lab breakout from the rest 16:59 Thoughts on a concrete roadmap 21:03 Generalization and demonstrating it 26:04 Types of data and which is best for robotics 34:34 Why humanoid robotics differs from Waymo 37:10 If humanoid robotics failed here is why 39:55 Are there hot take modeling architectures in robotics 42:05 Thoughts on AI safety in robotics 46:44 Top robotics research paper recommendation 49:35 Why is Boston Dynamics less top of mind 53:47 Advice for his younger self 56:42 Outro
57:38

Sergey Levine (Sergey Levine) is one of the world's top robotics researchers and co-founder of Physical Intelligence. We talked about where humanoid robotics is today, thoughts on the Chinese robotics ecosystem, and his predictions for future timelines. In this episode: • Current state of robotics and surprising capabilities so far • Chinese robotics compared to US ecosystem • If OpenAI and Anthropic got into robotics • His top robotics research paper recommendation • Predictions for when humanoid robotics will land 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:37 Where are we today 04:20 Most surprising capabilities so far 07:03 The most inspiring real world robotics 08:36 If OpenAI or Anthropic got into robotics 10:22 Chinese robotics 13:15 Will one lab breakout from the rest 16:59 Thoughts on a concrete roadmap 21:03 Generalization and demonstrating it 26:04 Types of data and which is best for robotics 34:34 Why humanoid robotics differs from Waymo 37:10 If humanoid robotics failed here is why 39:55 Are there hot take modeling architectures in robotics 42:05 Thoughts on AI safety in robotics 46:44 Top robotics research paper recommendation 49:35 Why is Boston Dynamics less top of mind 53:47 Advice for his younger self 56:42 Outro

Ryan Peterman

68,250 просмотров • 12 дней назад

For over a year, Jeremy Howard has been in stealth mode. In this exclusive talk, he showcases what he's been working on. He & Jonathan Whitaker show us SolveIt, a new dev environment and programming paradigm. 🤯 Imagine this workflow: - Build a web app & interact with its UI on the same screen as your code. No more flipping to a separate browser. - Use live variables from your REPL directly in prompts to the AI. The AI knows your current state. - Turn any Python function into an AI tool instantly. No no registering tools or MCP. Just write a function in a cell and tell the AI to use it. This is a live, malleable environment that fuses the best ideas from Literate Programming (Knuth), the live-object world of Smalltalk, and the interactive cells of Jupyter. Who is Solveit for? Jeremy's take: SolveIt is best for programmers who are either very new ( 20 years). Why? Because developers in the middle (3-20 years) often have ingrained workflows and can find this different paradigm confronting. New devs are open-minded and build good habits from scratch, while veterans immediately recognize how this approach solves decades-old problems of complexity and state management. My Thoughts It's early days, but it is super cool. You get all the fun of trying a new programming language without learning new syntax (Python), because it will show you new patterns and ways of doing this. If you are wiling to climb the learning curve it is an extremely powerful tool that you can be productive with on real tasks like writing and coding. I'm personally addicted to it for several workflows and am afraid of losing it tbh. How Can You Try It? Just follow Jeremy Howard - he will announce something in the coming weeks or months (I suspect if this post is popular he might do something soon 🤣 ) TIMESTAMPS (00:00:00) - Introduction (00:00:30) - The SolveIt Method vs. "Vibe Coding" (00:04:00) - Investing in Yourself: Long-Term Skill Building (00:07:45) - Software Engineering vs. Short-Term Gains (00:12:15) - The Problem-Solving Loop: Understand, Plan, Implement, Review (00:18:50) - Example: Literate Programming with the Claudette Library (00:24:15) - First Look at the SolveIt Environment (00:28:34) - Demo Start: Building an Eval for Multimodal Models (00:31:16) - Iterative Development: Exploring the iNaturalist API (00:39:15) - Catching Bugs Instantly by Working Step-by-Step (00:43:37) - Prompting LLMs with Structured Outputs (00:51:54) - Demo: Building a Live Web App Inside SolveIt with FastHTML (01:00:24) - Demo: Exploring a Complex API (Cloudflare) (01:08:45) - Creating Custom AI Agent Tools with Zero Boilerplate (01:19:00) - SolveIt Ergonomics: Modes, Secrets, and Keyboard Shortcuts (01:28:30) - The Power of the SolveIt Community (01:30:45) - Who Should Use SolveIt? (01:34:30) - This is Just the Tip of the Iceberg YT Video and links in reply
1:36:14

For over a year, Jeremy Howard has been in stealth mode. In this exclusive talk, he showcases what he's been working on. He & Jonathan Whitaker show us SolveIt, a new dev environment and programming paradigm. 🤯 Imagine this workflow: - Build a web app & interact with its UI on the same screen as your code. No more flipping to a separate browser. - Use live variables from your REPL directly in prompts to the AI. The AI knows your current state. - Turn any Python function into an AI tool instantly. No no registering tools or MCP. Just write a function in a cell and tell the AI to use it. This is a live, malleable environment that fuses the best ideas from Literate Programming (Knuth), the live-object world of Smalltalk, and the interactive cells of Jupyter. Who is Solveit for? Jeremy's take: SolveIt is best for programmers who are either very new ( 20 years). Why? Because developers in the middle (3-20 years) often have ingrained workflows and can find this different paradigm confronting. New devs are open-minded and build good habits from scratch, while veterans immediately recognize how this approach solves decades-old problems of complexity and state management. My Thoughts It's early days, but it is super cool. You get all the fun of trying a new programming language without learning new syntax (Python), because it will show you new patterns and ways of doing this. If you are wiling to climb the learning curve it is an extremely powerful tool that you can be productive with on real tasks like writing and coding. I'm personally addicted to it for several workflows and am afraid of losing it tbh. How Can You Try It? Just follow Jeremy Howard - he will announce something in the coming weeks or months (I suspect if this post is popular he might do something soon 🤣 ) TIMESTAMPS (00:00:00) - Introduction (00:00:30) - The SolveIt Method vs. "Vibe Coding" (00:04:00) - Investing in Yourself: Long-Term Skill Building (00:07:45) - Software Engineering vs. Short-Term Gains (00:12:15) - The Problem-Solving Loop: Understand, Plan, Implement, Review (00:18:50) - Example: Literate Programming with the Claudette Library (00:24:15) - First Look at the SolveIt Environment (00:28:34) - Demo Start: Building an Eval for Multimodal Models (00:31:16) - Iterative Development: Exploring the iNaturalist API (00:39:15) - Catching Bugs Instantly by Working Step-by-Step (00:43:37) - Prompting LLMs with Structured Outputs (00:51:54) - Demo: Building a Live Web App Inside SolveIt with FastHTML (01:00:24) - Demo: Exploring a Complex API (Cloudflare) (01:08:45) - Creating Custom AI Agent Tools with Zero Boilerplate (01:19:00) - SolveIt Ergonomics: Modes, Secrets, and Keyboard Shortcuts (01:28:30) - The Power of the SolveIt Community (01:30:45) - Who Should Use SolveIt? (01:34:30) - This is Just the Tip of the Iceberg YT Video and links in reply

Hamel Husain

111,916 просмотров • 1 год назад