正在加载视频...

视频加载失败

返回首页

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 个月前

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

59,982 次观看 • 8 天前

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,657 次观看 • 15 天前

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,781,968 次观看 • 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,141,105 次观看 • 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 次观看 • 1 个月前

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,775 次观看 • 2 个月前

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,261,340 次观看 • 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,234,648 次观看 • 7 个月前

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 次观看 • 5 个月前

.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 个月前

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 年前

Amjad Masad (Amjad Masad), co-founder & CEO of Replit, has spent nearly a decade making programming accessible to everyone. With AI, that vision is closer than ever. In his AI Startup School talk, Amjad traces computing’s arc from mainframes to PCs to a future where AI agents generate software on demand—driving the value of traditional software toward zero and reshaping how companies are built. 00:22 - Evolution of Computing 01:27 - The Rise of Software Engineering 02:16 - Replit's Vision: Making Programming Accessible 02:42 - The Role of AI in Software Development 04:32 - Challenges and Infrastructure for AI Agents 05:03 - Building a Scalable and Secure Environment 06:08 - Future of Software Engineering Agents 09:25 - Autonomy Levels in AI Agents 15:56 - Predictions for the Software Market 18:31 - Impact on Business and Employment 19:58 - The Role of Generalist Employees 26:00 - Audience Q&A
42:01

Amjad Masad (Amjad Masad), co-founder & CEO of Replit, has spent nearly a decade making programming accessible to everyone. With AI, that vision is closer than ever. In his AI Startup School talk, Amjad traces computing’s arc from mainframes to PCs to a future where AI agents generate software on demand—driving the value of traditional software toward zero and reshaping how companies are built. 00:22 - Evolution of Computing 01:27 - The Rise of Software Engineering 02:16 - Replit's Vision: Making Programming Accessible 02:42 - The Role of AI in Software Development 04:32 - Challenges and Infrastructure for AI Agents 05:03 - Building a Scalable and Secure Environment 06:08 - Future of Software Engineering Agents 09:25 - Autonomy Levels in AI Agents 15:56 - Predictions for the Software Market 18:31 - Impact on Business and Employment 19:58 - The Role of Generalist Employees 26:00 - Audience Q&A

Y Combinator

224,320 次观看 • 11 个月前

Vlad Feinberg (Vlad Feinberg) is Google DeepMind’s pre-training area lead and I asked him all about how to land a job at a frontier lab like Google DeepMind, Anthropic or OpenAI. In this episode: • Skills frontier labs need • Differences between software engineering and AI research • Domains that matter for frontier research • Concrete steps engineers can take to get closer to research • Jeff Dean spot bonus story 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:33 - Skills frontier labs need 08:45 - The difference between AI research and engineering 21:41 - Domains that matter for the frontier 30:50 - Marketing yourself to frontier labs 35:13 - Concrete steps engineers can take 38:29 - Overview of pre-training areas 47:23 - Jeff Dean spot bonus story 50:14 - Favorite Gemini war story 58:59 - Advice for his younger self 01:03:07 - Outro
1:04:03

Vlad Feinberg (Vlad Feinberg) is Google DeepMind’s pre-training area lead and I asked him all about how to land a job at a frontier lab like Google DeepMind, Anthropic or OpenAI. In this episode: • Skills frontier labs need • Differences between software engineering and AI research • Domains that matter for frontier research • Concrete steps engineers can take to get closer to research • Jeff Dean spot bonus story 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:33 - Skills frontier labs need 08:45 - The difference between AI research and engineering 21:41 - Domains that matter for the frontier 30:50 - Marketing yourself to frontier labs 35:13 - Concrete steps engineers can take 38:29 - Overview of pre-training areas 47:23 - Jeff Dean spot bonus story 50:14 - Favorite Gemini war story 58:59 - Advice for his younger self 01:03:07 - Outro

Ryan Peterman

190,169 次观看 • 2 个月前

Aidan Gomez (Aidan Gomez) is a computer scientist, co-author of the seminal paper ‘Attention Is All You Need,’ and the CEO of Cohere. In this episode, we discussed his upbringing in the cabin his grandfather built in Codrington, a small town North of Brighton, and the values that were instilled in him through his family. We explored his path from Codrington to his undergraduate studies at the University of Toronto, emailing Geoffrey Hinton, and joining Google Brain where he co-wrote the paper on transformers. We discussed how he met his co-founders Ivan Zhang and Nick Frosst, and his insights on what it means to build a meaningful, successful company in Canada. Aidan shares his conviction about what is at stake — for Canada and for the world at large. This is a conversation about family, values, and what it means to live with conviction. The Other Stuff is hosted by internetVin — filmmaker, entrepreneur, and possibly the most curious man on Earth. Produced by New. The Other Stuff #29 — Aidan Gomez: Empathy and Conviction — Timestamps 00:00:00 Intro 00:03:10 The Malleability of Toronto 00:11:06 Growing Up in Codrington 00:13:50 The Story of Aidan Gomez’s Family 00:27:23 Introduction to the Internet 00:30:39 Values and Work Ethic 00:35:46 University of Toronto’s AI Scene 00:40:48 Emailing Geoffrey Hinton 00:42:16 Google Brain 00:45:15 Dropout: A Simple Way to Prevent Neural Networks from Overfitting 00:49:48 The Beauty of Research 00:54:24 One Model to Rule Them All 00:59:54 Meeting Ivan Zhang and Nick Frosst 01:04:00 The Birth of Cohere 01:06:56 Twitter Influencers and Alex Friedland 01:11:48 Being the CEO 01:12:51 Building for Canada 01:15:01 Three Fundamental Ingredients of Building a Company 01:21:39 Working with the Canadian Government 01:24:39 Reflexivity in Canada 01:36:22 What Is Evil? 01:42:40 The Role of AI in the World
1:46:27

Aidan Gomez (Aidan Gomez) is a computer scientist, co-author of the seminal paper ‘Attention Is All You Need,’ and the CEO of Cohere. In this episode, we discussed his upbringing in the cabin his grandfather built in Codrington, a small town North of Brighton, and the values that were instilled in him through his family. We explored his path from Codrington to his undergraduate studies at the University of Toronto, emailing Geoffrey Hinton, and joining Google Brain where he co-wrote the paper on transformers. We discussed how he met his co-founders Ivan Zhang and Nick Frosst, and his insights on what it means to build a meaningful, successful company in Canada. Aidan shares his conviction about what is at stake — for Canada and for the world at large. This is a conversation about family, values, and what it means to live with conviction. The Other Stuff is hosted by internetVin — filmmaker, entrepreneur, and possibly the most curious man on Earth. Produced by New. The Other Stuff #29 — Aidan Gomez: Empathy and Conviction — Timestamps 00:00:00 Intro 00:03:10 The Malleability of Toronto 00:11:06 Growing Up in Codrington 00:13:50 The Story of Aidan Gomez’s Family 00:27:23 Introduction to the Internet 00:30:39 Values and Work Ethic 00:35:46 University of Toronto’s AI Scene 00:40:48 Emailing Geoffrey Hinton 00:42:16 Google Brain 00:45:15 Dropout: A Simple Way to Prevent Neural Networks from Overfitting 00:49:48 The Beauty of Research 00:54:24 One Model to Rule Them All 00:59:54 Meeting Ivan Zhang and Nick Frosst 01:04:00 The Birth of Cohere 01:06:56 Twitter Influencers and Alex Friedland 01:11:48 Being the CEO 01:12:51 Building for Canada 01:15:01 Three Fundamental Ingredients of Building a Company 01:21:39 Working with the Canadian Government 01:24:39 Reflexivity in Canada 01:36:22 What Is Evil? 01:42:40 The Role of AI in the World

The Other Stuff Podcast

45,297 次观看 • 8 个月前

Why is Rust different than many/most programming languages? Alice Ryhl works on Google's Android Rust team, is a Rust language team advisor, and is a core maintainer of Tokio (the most widely-used async runtime in Rust) Timestamps: 00:00 Intro 04:09 Tokio: an overview 05:11 What Alice likes about Rust 12:48 Rust for TypeScript engineers 13:51 Moving from C++ to Rust 14:34 Memory safety 18:12 Garbage collection tradeoffs 21:46 Ownership, references, and borrowing 26:59 Unsafe in Rust 31:21 Crates and Cargo 35:55 Language design and RFCs 43:02 Building new features 46:30 Editions vs. versions 49:47 Getting paid to work on Rust 51:27 Contributing to Rust 53:03 Rust in the Linux kernel 55:45 AI use cases for Rust 1:01:35 Learning Rust 1:03:54 Book recommendation Brought to you by: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages. • Sentry – application monitoring software considered “not bad” by millions of developers Three things worth knowing about Rust: 1. Rust was designed to turn implicit failures into compile errors. Where other languages allow you to forget something, Rust makes an omission into a compilation error for things like null checks, uninitialized variables, or error propagation with the ‘?’ character. If you mess something up, it’s almost certain your program will not compile. If it does, at the very least you should see a lint warning. 2. Refactoring in Rust is safe and easy, thanks to the compiler. Alice: “I change a return type or struct field, then just fix the compiler errors until the compiler stops shouting. And then once I’ve done that, I’ve updated every place I need to update.” Rust’s focus on correctness makes refactoring it more straightforward than dynamically-typed languages and Java-style typed ones are to refactor. 3. “Editions” allow Rust to make breaking changes without ‘breaking’ anyone’s code. Rust editions (2015, 2018, 2021, 2024) can be mixed freely across crates. A library on the 2021 edition works seamlessly with a binary on the 2024 edition. This is how Rust evolves syntax (like adding async/await as keywords) without forcing an ecosystem-wide migration. Thanks a lot, Alice for this great discussion! And for your work on Rust.
1:05:52

Why is Rust different than many/most programming languages? Alice Ryhl works on Google's Android Rust team, is a Rust language team advisor, and is a core maintainer of Tokio (the most widely-used async runtime in Rust) Timestamps: 00:00 Intro 04:09 Tokio: an overview 05:11 What Alice likes about Rust 12:48 Rust for TypeScript engineers 13:51 Moving from C++ to Rust 14:34 Memory safety 18:12 Garbage collection tradeoffs 21:46 Ownership, references, and borrowing 26:59 Unsafe in Rust 31:21 Crates and Cargo 35:55 Language design and RFCs 43:02 Building new features 46:30 Editions vs. versions 49:47 Getting paid to work on Rust 51:27 Contributing to Rust 53:03 Rust in the Linux kernel 55:45 AI use cases for Rust 1:01:35 Learning Rust 1:03:54 Book recommendation Brought to you by: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages. • Sentry – application monitoring software considered “not bad” by millions of developers Three things worth knowing about Rust: 1. Rust was designed to turn implicit failures into compile errors. Where other languages allow you to forget something, Rust makes an omission into a compilation error for things like null checks, uninitialized variables, or error propagation with the ‘?’ character. If you mess something up, it’s almost certain your program will not compile. If it does, at the very least you should see a lint warning. 2. Refactoring in Rust is safe and easy, thanks to the compiler. Alice: “I change a return type or struct field, then just fix the compiler errors until the compiler stops shouting. And then once I’ve done that, I’ve updated every place I need to update.” Rust’s focus on correctness makes refactoring it more straightforward than dynamically-typed languages and Java-style typed ones are to refactor. 3. “Editions” allow Rust to make breaking changes without ‘breaking’ anyone’s code. Rust editions (2015, 2018, 2021, 2024) can be mixed freely across crates. A library on the 2021 edition works seamlessly with a binary on the 2024 edition. This is how Rust evolves syntax (like adding async/await as keywords) without forcing an ecosystem-wide migration. Thanks a lot, Alice for this great discussion! And for your work on Rust.

Gergely Orosz

51,961 次观看 • 3 个月前