正在加载视频...

视频加载失败

返回首页

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,006 subscribers

127,146 次观看 • 1 个月前 •via X (Twitter)

教育科学技术
LIVE

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

Rust is the Neovim of Programming Languages
2:47

Rust is the Neovim of Programming Languages

Тsфdiиg

60,062 次观看 • 10 个月前

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

3,995,831 次观看 • 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,135,192 次观看 • 1 年前

Should we design a new programming language for LLMs, that LLMs can use more efficiently? Chris Lattner, the creator of Swift and Mojo doesn't think so, and here's why: (cont'd)
1:26

Should we design a new programming language for LLMs, that LLMs can use more efficiently? Chris Lattner, the creator of Swift and Mojo doesn't think so, and here's why: (cont'd)

Gergely Orosz

15,416 次观看 • 8 个月前

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

321,467 次观看 • 1 个月前

Morning bathrobe rant: functional programming.
3:24

Morning bathrobe rant: functional programming.

Uncle Bob Martin

72,342 次观看 • 1 年前

12. Introduction to computer science. An introduction to computer science thinking and the art of programming. Topics: Solve problems through algorithms. Programming languages: C, Pbython, SQL, JavaScript, CSS, HTML and more. URL:
0:45

12. Introduction to computer science. An introduction to computer science thinking and the art of programming. Topics: Solve problems through algorithms. Programming languages: C, Pbython, SQL, JavaScript, CSS, HTML and more. URL:

HR Swati sharma

60,499 次观看 • 6 个月前

#rust #c++ #golang programming language, speed compilation
0:29

#rust #c++ #golang programming language, speed compilation

Rust Bytes 🦀

44,506 次观看 • 7 个月前

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

169,635 次观看 • 2 个月前

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

83,584 次观看 • 10 天前

Today is the launch of @Semgrep Academy! Free courses on #AppSec, Secure Coding, #API Security, Functional Programming, and MORE! Please go check it out here:
1:03

Today is the launch of @Semgrep Academy! Free courses on #AppSec, Secure Coding, #API Security, Functional Programming, and MORE! Please go check it out here:

Tanya Janca | Shehackspurple

99,729 次观看 • 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

258,241 次观看 • 1 个月前

Where code meets chance. We sat down with generative artist Ben Kovach during Art Blocks Marfa Weekend to talk randomness, color, the Haskell programming language, and how computer systems still surprise him. Read the full interview below! 👇
1:09

Where code meets chance. We sat down with generative artist Ben Kovach during Art Blocks Marfa Weekend to talk randomness, color, the Haskell programming language, and how computer systems still surprise him. Read the full interview below! 👇

OpenSea

16,508 次观看 • 6 个月前

9/11 PREDICTIVE PROGRAMMING - EPISODE ONE - FALSE FLAG In this episode we look at the concept of predictive programming, its origins and usage by Hollywood as we review 30 examples of 9/11 predictive programming.
1:53:17

9/11 PREDICTIVE PROGRAMMING - EPISODE ONE - FALSE FLAG In this episode we look at the concept of predictive programming, its origins and usage by Hollywood as we review 30 examples of 9/11 predictive programming.

MrTruthBomb

132,213 次观看 • 10 个月前

I implemented a small subset of the Ken Thompson's B Programming Language in Rust and used Raylib from it.
0:58

I implemented a small subset of the Ken Thompson's B Programming Language in Rust and used Raylib from it.

Тsфdiиg

31,418 次观看 • 1 年前

Kinda makes sense that natural language is the final programming language?
1:35

Kinda makes sense that natural language is the final programming language?

Sara Dietschy 🍑y

15,333 次观看 • 9 个月前

Episode 109: GPU Programming and Language Design with Chris Lattner! 🎉
0:40

Episode 109: GPU Programming and Language Design with Chris Lattner! 🎉

Software Unscripted

32,137 次观看 • 11 个月前

C is the King of Programming
0:33

C is the King of Programming

Тsфdiиg

103,500 次观看 • 2 年前

Easy to miss if you get lost in the noise in online programming discourse, but straightforward programming in a systems language like C can provide high performance, modern UI, without much hassle.
2:08

Easy to miss if you get lost in the noise in online programming discourse, but straightforward programming in a systems language like C can provide high performance, modern UI, without much hassle.

Ryan Fleury

117,408 次观看 • 5 个月前

1. Introduction to Computer Science and Programming Using Python. Topics: • A Notion of computation • Python programming language • Some simple algorithms • Informal introduction to algorithmic complexity • Data Structures and more 🔗
1:39

1. Introduction to Computer Science and Programming Using Python. Topics: • A Notion of computation • Python programming language • Some simple algorithms • Informal introduction to algorithmic complexity • Data Structures and more 🔗

Shruti

731,796 次观看 • 2 年前