Happy Path Programming

#118 Effects of 2025

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 [https://www.wintertechforum.com/](March 2-6 2026 in Crested Butte, Colorado) * The Eternal Return of Abstraction: Why Programming Was Never About Code [https://generativeai.pub/the-eternal-return-of-abstraction-why-programming-was-never-about-code-18412033b517] * Thinking in Types [https://thinkingintypes.com/] * javadocs.dev [https://www.javadocs.dev] * What's New in Embabel [https://www.youtube.com/watch?v=Cn6F4dATx6s] Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF [https://discord.gg/XVKD2uPKyF]

#117 Special Episode: Entering Computer Science as a New Graduate

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 [https://discord.gg/XVKD2uPKyF]

#116 Infrastructure as Effects with Sam Goodwin

Infrastructure as Code (IaC) is "code" but without most of the benefits of being code. Sam Goodwin [https://x.com/samgoodwin89] is reinventing IaC with Alchemy [https://alchemy.run] 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 [https://discord.gg/XVKD2uPKyF]⁠⁠

#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler

Excitement around Python type checking continues to grow and the tools continue to evolve. We chat with Aaron Pollack [https://www.linkedin.com/in/pollackaaron/] and Steven Troxler [https://www.linkedin.com/in/steventroxler/] about ⁠Pyrefly [https://github.com/facebook/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 Discord [https://discord.com/invite/Cf7mFQtW7W⁠] * Package Type Coverage Report [https://python-type-checking.com/] * Packages being tracked for moving types from typeshed to the source project [https://docs.google.com/spreadsheets/d/1s1W24KGMu0mrbXhHIcFKraAaJY5OOc2CjJvRvGx68d4/edit?gid=1884751978#gid=1884751978] * Typing Survey Slides [https://docs.google.com/presentation/d/1VoXuPAjac2WMcOezrgokkcxMkTGxSWyn1n7a8V9HI-A/edit] * Blog post with survey analysis [https://engineering.fb.com/2024/12/09/developer-tools/typed-python-2024-survey-meta/⁠] * Python typing community forum [https://discuss.python.org/c/typing/32] * MCP Pyrefly [https://github.com/kimasplund/mcp-pyrefly] Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠

#114 ty: Fast Python Type Checking with Carl Meyer

Carl Meyer [https://www.linkedin.com/in/carljm/] works on the ty [https://docs.astral.sh/ty/] Python type checker, built in Rust by Astral the creators of Ruff [https://docs.astral.sh/ruff/] and uv [https://docs.astral.sh/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 Zig [https://gist.github.com/rtfeldman/77fb430ee57b42f5f2ca973a3992532f] Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF⁠⁠ [https://discord.gg/XVKD2uPKyF]