Loading video...

Video Failed to Load

Go Home

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...

128,845 views • 4 months ago •via X (Twitter)

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

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

Ryan Peterman

24,256 views • 2 months ago

My goal was to record a conversation completely free of "AI doomer" takes as a timeline cleanser. For this episode, I interviewed Casey Muratori (Casey Muratori) who is a video game developer and programming creator also known for his talks about the history of computing. In this episode: • Surprising findings in computer history • Where bad code comes from • The only unbreakable law in software engineering • His career in the video game industry • Why you should read technical papers Where to watch: • YouTube - • Spotify - • Apple Podcasts - • Transcript - Thank you to the sponsors of this episode for supporting my work: • Jira by Atlassian: Get more work done with your favorite agents and models all in one place, check them 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 Chapters: 00:00 Intro 01:08 Digging into computer science history 04:08 What shocked him 16:23 Dijkstra was depressed 26:17 The personal side of goto considered harmful 35:09 The anatomy of a 35 year mistake 50:12 Clean code horrible performance 58:33 How to write high performance code 01:01:18 Where bad code comes from 01:06:37 Why design docs before code is a bad idea 01:09:20 The only unbreakable law in software engineering 01:15:57 How he got into programming 01:21:16 Why he didnt work in big tech 01:30:44 Should you work at a startup early on 01:34:52 What video game engineering is like 01:39:57 Why preventing recursion is reasonable 01:43:24 Is vibe coding bad for the industry 01:50:17 Technical reading recommendation 01:54:27 Advice for his younger self 01:56:54 Outro

Ryan Peterman

62,932 views • 29 days ago

Thariq Shihipar (Thariq) is an engineer on Anthropic’s Claude Code team I asked him how Anthropic makes the most out of the models for engineering and how the industry will change soon. In this episode: • Internal best practices in leveraging the models • What percent of Anthropic's work is fully autonomous • How Anthropic maintains higher volumes of code • What has worked in preventing AI-written breakages 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:29 Onboarding at Anthropic 02:53 Internal capabilities vs external perception 06:16 Model vs Harness 08:55 What percent of Anthropics changes are fully autonomous 14:51 Computer use 17:42 How to make the most out of your compute 20:45 Loop engineering 22:47 Where the industry will go soon 26:02 Which model do Anthropic engineers use 27:38 Is learning a particular model worth it 30:56 Prompting tips for todays models 35:04 How to get the models to do tasteful work 39:00 How much of writing is done by AI at Anthropic 45:36 Code ownership and maintenance at Anthropic 52:04 How Anthropic prevents breakages 55:24 Visibility and sharing your work 58:42 Luck surface area example 01:00:57 Should people still learn to code 01:07:42 Advice for his younger self 01:09:58 Outro

Ryan Peterman

65,784 views • 1 month ago

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 views • 1 year ago