Harry Goldstein talks with Richard Feldman about the Lean 4 programming language's compile-time metaprogramming capabilities, including how they can be used to control elements of your IDE in realtime. They also discuss other topics like property-based testing, theorem proving, and Smalltalk.You can get ad-free episodes (including video) by supporting Software Unscripted on Patreon! https://www.patreon.com/SoftwareUnscriptedThe Best New Programming Language is a Proof Assistant by Harry Goldstein - https://youtu.be/c5LOYzZx-0c?si=UnTfkczIhdoF7QkxThe Lean Programming Language - https://lean-lang.orgSimon Peyton-Jones: Escape from the ivory tower: the Haskell journey - https://youtu.be/re96UgMk6GQ?si=8xqpAS8VTQaqgbzg"Shen: A Sufficiently Advanced Lisp" by Aditya Siram - https://youtu.be/lMcRBdSdO_U?si=VOwJNeLAvnIRUm_nHypothesis Property-Based Testing library for Python - https://hypothesis.works/ Hosted on Acast. See acast.com/privacy for more information.

Jonathan Blow, creator of popular games Braid and The Witness, talks with Richard about programming language design - including the design of the programming language he's been building for game developers.Keynote & Tech Demo - https://youtu.be/IdpD5QIVOKQECS and Rust's Borrow Checker - https://youtu.be/4t1K66dMhWk"The 30 Million Line Problem" - https://youtu.be/kZRE7HIO3vk"A New Programming Language for Games" - https://youtu.be/TH9VCN6UkyQ?si=Z5cqazo4QU7AibzBRoc Programming Language - https://roc-lang.orgCasey Muratori's "Performance-Aware Programming" Course - https://www.computerenhance.com/p/welcome-to-the-performance-awareFile Pilot File Explorer - https://filepilot.tech/Ghostty Terminal - https://ghostty.org/Language Server Protocol - https://microsoft.github.io/language-server-protocol/WebAssembly Integer Sizes - https://developer.mozilla.org/en-US/docs/WebAssembly/Reference/Numeric/ConstCliff Click's Sea of Nodes Compiler IR - https://github.com/SeaOfNodes/Chapters00:00 The Programming Establishment02:04 Metaprogramming05:04 Compile-Time Execution08:05 Language Feature Interoperability10:53 Compile Time Execution27:52 Cross-Compiling and FFI31:04 Determinism in Programming35:07 Balancing Power and Safety40:11 Memory Safety vs. Performance50:15 The Evolution of Software Performance55:32 Performance Awareness

Richard talks with Zig Creator Andrew Kelley.- Support Zig - https://ziglang.org/zsf/- Zig's "Writergate" - https://ziglang.org/download/0.15.1/release-notes.html#Writergate- "What Color is Your Function?" by Robert Nystrom - https://journal.stuffwithstuff.com/2015/02/01/what-color-is-your-function/- "Asynchrony is not Concurrency" by Loris Cro - https://kristoff.it/blog/asynchrony-is-not-concurrency/- "Data alignment for speed: myth or reality?" by Daniel Lemire - https://lemire.me/blog/2012/05/31/data-alignment-for-speed-myth-or-reality/ Hosted on Acast. See acast.com/privacy for more information.

xz vulnerability: https://en.wikipedia.org/wiki/XZ_Utils_backdoorSpectre: https://en.wikipedia.org/wiki/Spectre_(security_vulnerability)Meltdown: https://en.wikipedia.org/wiki/Meltdown_(security_vulnerability)Heartbleed: https://en.wikipedia.org/wiki/HeartbleedNoah on GitHub https://github.com/eeue56 - Substack https://substack.com/@eeue56 - BlueSky https://bsky.app/profile/derw-lang.com Hosted on Acast. See acast.com/privacy for more information.

Ladybird Browser - https://ladybird.orgSerenityOS - https://serenityos.orgStory of the man who used powerlifting to recover after falling off a roof https://startingstrength.com/articles/brian_jones_story.pdfStrongLifts 5x5 - https://stronglifts.com/stronglifts-5x5/Starting Strength - https://startingstrength.com/ Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Swift, LLVM, Clang, and Mojo creator Chris Lattner about programming on the GPU and on the CPU, as well as a number of programming language design topics.Chris's "Democratizing AI Compute" blog series - https://www.modular.com/blog/democratizing-compute-part-1-deepseeks-impact-on-aiMojo https://www.modular.com/mojoRoc https://www.roc-lang.orgSoftware Unscripted episode with Futhark language creator https://pod.link/1602572955/episode/00564b1774ebe0e4225a630825ed3deeClaude 4 https://www.anthropic.com/news/claude-4 Hosted on Acast. See acast.com/privacy for more information.

Longtime Rust contributor Steve Klabnik talks with Richard about the broken state of AI discourse, from excessive hype to excessive hate, and reasonable alternatives we could pursue instead.Steve's blog post: "I am disappointed in the AI discourse" - https://steveklabnik.com/writing/i-am-disappointed-in-the-ai-discourse/Deep dive into why Rust's compile times are slow: https://www.pingcap.com/blog/rust-compilation-model-calamity/Y Combinator partners on "100x productivity" claims: https://www.youtube.com/watch?v=IACHfKmZMr8&t=155s Hosted on Acast. See acast.com/privacy for more information.

Elixir creator José Valim goes into a very deep dive on language design with Richard, centered around some upcoming major design changes to the Roc programming language.- https://elixir-lang.org- https://roc-lang.org- Unison's algebraic effects: https://www.unison-lang.org/docs/fundamentals/abilities/- Koka's algebraic effects: https://koka-lang.github.io/koka/doc/book.html#why-effects- OCaml's algebraic effects: https://ocaml.org/manual/5.3/effects.html Hosted on Acast. See acast.com/privacy for more information.

Monica McGuigan, a Scala programmer at JP Morgan, talks with Richard about her experiences learning Roc with a Scala background. They get into topics like how language design affects beginners and experts, what parts of functional programming are easier and harder to learn than others, and how language designers inform their design decisions.Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscriptedMonica's chapter on JSON decoders: https://github.com/roc-lang/book-of-examples/pull/68Grapheme clusters: https://unicode.org/glossary/#extended_grapheme_clusterRoc's string operations: https://www.roc-lang.org/builtins/StrTalk: The Functional Purity Inference Plan: https://youtu.be/42TUAKhzlRI?si=TwxYoqMgh0UXQLfn Hosted on Acast. See acast.com/privacy for more information.

Mike Bryzek has been a technical cofounder of two very successful companies using some very unorthodox technical strategies that have worked out very well for him and his teams! These include testing in production, spending the first few months of a brand-new company's life investing in automation and tooling before shipping a product, and microservices - but not done in the way I've usually heard them described.Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscripted Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Andrew Lisowski, a Senior Engineer at Descript - which makes audio and video editing software that has been used to edit this very podcast! They talk about some of the surprising challenges of dealing with video editing compared to audio alone, the economics of niche podcasts and programming conferences, and the evolution of Web browsers!Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscriptedDescript: https://www.descript.comAndrew Lisowski: https://www.hipstersmoothie.comdevtools.fm episode that was on HN frontpage: https://news.ycombinator.com/item?id=41301639Zencastr: https://zencastr.com/?via=richard-feldmanForced Aligners: https://github.com/MahmoudAshraf97/ctc-forced-alignerGentle Aligner: https://github.com/lowerquality/gentle Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Peter Saxton, creator of the EYG programming language, about the problems Peter aims to solve with EYG, and some of the unique design decisions he's made with it. A type-safe eval() operation even comes up in the discussion!Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscriptedEYG: https://eyg.runUnison: https://unison-lang.orgRoc: https://roc-lang.org Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Will Sentance, the teacher of the Hard Parts series and the founder and CEO of CodeSmith, which is a Software Engineering and AI immersive education program. They talk about how AI is intersecting with modern programming education, what's considered "fundamentals" these days, and how Will thinks about teaching object-oriented and functional programming.Support Software Unscripted on Patreon: https://www.patreon.com/SoftwareUnscriptedJavaScript: The Hard Parts: https://frontendmasters.com/courses/javascript-hard-parts-v2/AI for Software Engineers: https://frontendmasters.com/workshops/engineering-and-ai/CodeSmith: https://www.codesmith.io/Richard's courses: https://frontendmasters.com/teachers/richard-feldman/#courses Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Kyle Boddy about the biomechanical and data analysis software Kyle wrote—and continues to write—as the founder and CTO of Driveline Baseball, a data-driven player development company that has landed numerous players in Major League Baseball, including multiple Most Valuable Players and 2024's number one draft pick. They talk about Kyle's background in PHP and the C++ he wrote to coordinate budget high-speed cameras back when Driveline was a one-programmer garage shop, up through today where large language models have become an integral part of the development team's daily work.Driveline Baseball: https://www.drivelinebaseball.com/Washington Post article: https://www.washingtonpost.com/opinions/2024/04/10/op-moneyballai/Documentary about Driveline: https://youtu.be/K5Dnshu7atUPhind AI: https://www.phind.com Hosted on Acast. See acast.com/privacy for more information.

For the 100th episode of Software Unscripted, Richard talks with Chris Lattner, creator of Swift, the Clang C++ compiler, LLVM, and now the Mojo programming language, about Mojo, Roc, API design, compiler optimizations, and language design!"Swift for C++ Practitioners" by Doug Gregor - https://www.douggregor.net/posts/swift-for-cxx-practitioners-value-types/Mojo - https://www.modular.com/mojoModular Computing - https://www.modular.comRoc - https://roc-lang.orgLLVM - https://llvm.orgClang - https://clang.llvm.orgSwift - https://www.swift.orgCUDA - https://developer.nvidia.com/cuda-zoneSIMD - https://en.wikipedia.org/wiki/Single_instructionmultipledatacmov instruction - https://github.com/marcin-osowski/cmov Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Eli Dowling about his contributions to the Roc programming language, as well as the intersection of language design and editor tooling, parsers that recover from errors, tree-sitter, going beyond the language server protocol, and the downsides of macros.Perceus paper - https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdfThe Koka Programming Language - https://koka-lang.github.io"The Quicksort Talk" (Outperforming Imperative with Pure Functional Languages) - https://youtu.be/vzfy4EKwG_YTree-Sitter - https://tree-sitter.github.ioNeovim Editor - https://neovim.ioHelix Editor - https://helix-editor.comZed Editor - https://zed.devLanguage Server Protocol (LSP) - https://microsoft.github.io/language-server-protocolHygienic Macros - https://en.wikipedia.org/wiki/Hygienic_macroRust Macros - https://doc.rust-lang.org/book/ch19-06-macros.html Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Kelly Shortridge about the CrowdStrike Incident that caused many computers worldwide to get stuck in a boot loop on July 19, 2024.A video version of this episode is available on YouTube at https://www.youtube.com/watch?v=rzjaZssBEiI or ad-free to our wonderful Patreon supporters! https://www.patreon.com/posts/109888395The incident: https://en.wikipedia.org/wiki/2024_CrowdStrike_incidentKelly Shortridge: https://www.kellyshortridge.comKelly's book: https://securitychaoseng.comHillel Wayne's interviews with traditional engineers who have also been software engineers: https://www.hillelwayne.com/talks/crossover-projectGell-Mann amnesia effect: https://en.wikipedia.org/wiki/Michael_Crichton#Gell-Mann_amnesia_effect Hosted on Acast. See acast.com/privacy for more information.

Richard talks with distributed systems scientist Jonathen Magen about functional programming in distributed systems, including languages like Gleam, Elixir, Ballerina, and Jolie. They also talk about type inference, big data, and a few other topics.Jonathan Magen: https://yonkeltron.com or https://jawns.club/@yonkeltronProgramming languages mentioned:https://ballerina.iohttps://www.jolie-lang.orghttps://gleam.runhttps://elixir-lang.orgRichard's talk: Why Static Typing Came Back - https://youtu.be/Tml94je2edk Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Tom Ballinger about undo and redo in the context of REPLs and running effects, stateful systems in general, hot code loading, and database query planning. Hosted on Acast. See acast.com/privacy for more information.

Richard talks with Juan Vuletich, creator of Cuis Smalltalk, about the past, present and future of Smalltalk - including quite a bit of interesting history and programming philosophy! Hosted on Acast. See acast.com/privacy for more information.