Happy Path Programming

#120 Aver AI-Native Programming Language with Szymon Teżewski 02.06.2026 1ч 10мин

We dive into the new Aver programming language with its creator, Szymon Teżewski: The AI-native language where code explains itself.Aver is a language where every function carries its intent, side effects are visible in the type system, and tests are executable specs next to the code. The optimization target is the reviewer, not the generator.Resources:- Aver: https://averlang.dev/- Agent Languages: https://agentlanguages.dev/Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF

#119 FP Reaches the Masses with Paul Snively 24.01.2026 1ч 29мин

We chat with Paul Snively (https://x.com/JustDeezGuy) about how Functional Programming has gone mainstream.Resources- Winter Tech Forum - https://www.wintertechforum.com- Paul Snively's LambdaConf Talk on Verse - https://www.youtube.com/watch?v=VBT0j14rn5c- Paul Snively's Blog Post on the Verse Calculus - https://paul-snively.github.io/posts/2022-12-15-verse-calculus.html- Eugenio Moggi, "Notions of Computation and Monads" (1991) - https://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf- "Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine"** by Simon Peyton Jones - https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf- The Verse Calculus Paper - https://simon.peytonjones.org/verse-calculus/- "How to Solve It" by George Pólya - https://press.princeton.edu/books/paperback/9780691164076/how-to-solve-it- Fidelity Framework - https://github.com/FidelityFramework- Happy Path Programming Episode #37 from Aug 14, 2021 "The Future of Everything with Paul Snively" - https://open.spotify.com/episode/62iyGUUwh5CBkxkDpJmUuoDiscuss this episode: https://discord.gg/XVKD2uPKyF

#118 Effects of 2025 02.01.2026 1ч 11мин

Bruce & James recap the technology shifts of 2025 and look ahead to what may be ahead in 2026.Resources:Register for the Winter Tech Forum (March 2-6 2026 in Crested Butte, Colorado)The Eternal Return of Abstraction: Why Programming Was Never About CodeThinking in Typesjavadocs.devWhat's New in EmbabelDiscuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF

#117 Special Episode: Entering Computer Science as a New Graduate 18.11.2025 1ч 12мин

At Western State Colorado University in Gunnison on Sept 11, 2025, Bruce Eckel, Bill Venners and Dianne Marsh each give their own 10-minute perspectives on finding fulfillment in the field, especially considering the impact of AI and other recent changes in computing. The remainder of the session answers questions from the student audience.Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF

#116 Infrastructure as Effects with Sam Goodwin 19.09.2025 58мин

Infrastructure as Code (IaC) is "code" but without most of the benefits of being code. Sam Goodwin is reinventing IaC with Alchemy and an upcoming Alchemy Effect project which aims to manage infrastructure dependencies & provisioning in the same way we manage requirements in Effect Oriented Programming.Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler 11.08.2025 1ч 2мин

Excitement around Python type checking continues to grow and the tools continue to evolve. We chat with Aaron Pollack and Steven Troxler about ⁠Pyrefly - a Rust-based Python type checker and IDE extension. We also touch on the adoption and sentiment around types in Python's ecosystem.Resources:Pyrefly DiscordPackage Type Coverage ReportPackages being tracked for moving types from typeshed to the source projectTyping Survey SlidesBlog post with survey analysisPython typing community forumMCP PyreflyDiscuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#114 ty: Fast Python Type Checking with Carl Meyer 25.07.2025 1ч 5мин

Carl Meyer works on the ty Python type checker, built in Rust by Astral the creators of Ruff and uv. We chat about type systems, the evolution of static typing in Python, and the focus on performance.Resources:Richard Feldman: Roc compiler moving from Rust to ZigDiscuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#113 Graph & RAG with Jennifer Reif 21.07.2025 1ч 5мин

We chat with Jennifer Reif about integrating LLMs with data using RAG, vectorized data, and Graph databases.Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#112 AI Agents Get More 9's with Rod Johnson 02.07.2025 1ч 14мин

Rod Johnson, creator of the Spring Framework, has created a JVM-based AI Agent framework called Embabel. We dive in and learn how enterprises can build more reliable Agents using deterministic planning and domain-driven orchestration.Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#111 Wasm & MCP with Steve Manuel 10.04.2025 51мин

We chat with Steve Manuel (of dylibso.com and mcp.run) about LLM "plugins" with Wasm & MCP (Model Context Protocol).Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#110 Unlocking Developer Productivity with Justin Reock 09.04.2025 1ч 5мин

Justin Reock has spent a lot of his career thinking about how to help developers be more productive. In this episode we learn about the methodologies that can help developers spend more time in "flow state" - happily coding the fun stuff. Further reading: Measuring developer productivity with the DX Core 4 Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#109 AI, LLMs, and MCP with Lize Raes 21.02.2025 1ч 12мин

Lize Raes teaches us about AI models, LLMs, Tools, Agents, and MCP.Article from Anthropic on Agent architectures: Building effective agentsDiscuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#108 Winter Tech Forum and Current Projects 30.01.2025 43мин

Join us at the 2025 Winter Tech Forum! www.wintertechforum.com Projects Mentioned: uv for Python TypeScript Effect Pkl CloudFormation Extras Pkl GitHub Actions Other Episodes Mentioned: #81 TypeScript & Effects with Michael Arnaldi #97 The Pkl Configuration Language with Philip Hölzenspies

#107 The Joy of Programming with Dave Thomas 30.12.2024 1ч 9мин

We chat with Dave Thomas, co-author of The Pragmatic Programmer, about the joy of programming and the tensions between our and others needs. Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#106 Agile Organizations with Jutta Eckstein 03.12.2024 1ч 4мин

Jutta Eckstein is expanding the concepts of Agile to be a company-wide model, instead of a niche process for software developers. We chat with her about the book "Company-wide Agility with Beyond Budgeting, Open Space & Sociocracy" which she co-authored on this subject. For more details on the book and many free resources, see: www.agilebossanova.com Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#105 Nathan Sobo's Pursuit of the Ultimate Code Editor 13.10.2024 1ч 23мин

Nathan Sobo is co-founder of Zed, a super-fast, collaborative, AI-powered, code editor. We chat about his journey to build the ultimate code editor: lessons learned from building Atom, Electron and its challenges, CRDTs, Rust native GPU GUIs, AI Code Assistants, and more CRDTs. See also: ⁠Nathan on the Software Unscripted podcast⁠ Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#104 Effect Oriented Programming: The Book 07.10.2024 58мин

After 4 years in development, our book is out! Along with our friend and lead-author, Bill Frasure, we we discuss the book, its motivation and the process we used to create it. Now available in digital and print forms at: effectorientedprogramming.com At the end of the episode we step into the "twilight zone" with a 7 minute NotebookLM AI-generated podcast based on the book. Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠

#103 AI Augmented Programming with ⁠⁠Stephan Janssen⁠⁠ 20.08.2024 1ч 7мин

⁠Stephan Janssen⁠ is always on the bleeding edge of both helping developers grow and with how he uses technology to accomplish amazing things. He led the creation of Devoxx but is a coder at heart. Stephan shares his journey with AI, both as a "library" in his applications and also as an "assistant" that helps him iterate and program more quickly. Resources: DevoxxGenie IntelliJ Plugin Ollama LangChain for Java LMstudio Llama.cpp James on The AI Native Dev Podcast: Rethinking Software Development: James Ward on AI's Role in Software Testing and Coding Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠

#102 Gathering Nerds and Java Gatherers with Venkat Subramaniam 17.08.2024 52мин

We chat with Venkat about his upcoming dev2next conference and the new Stream Gatherers API (preview in JDK 22). Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF

#101 Effects and Local-First with Johannes Schickling 07.07.2024 1ч 13мин

Johannes Schickling (@schickling | schickling.dev⁠) gets us up-to-speed on Effect, the ZIO-inspired Effect System for TypeScript, and the Local-First movement. Resources: Local-First Podcast: www.localfirst.fm Ink & Switch's Local-First Essay: www.inkandswitch.com/local-first Effect (TypeScript Library): effect.website Riffle research project: riffle.systems LiveStore: github.com/livestorejs Overtone: overtone.pro Related Episodes: #81 TypeScript & Effects with Michael Arnaldi #62 Musing About Local-First Sync & CRDTs with Mark McGranaghan Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF