#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 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
--------
1:02:12
--------
1:02:12
#114 ty: Fast Python Type Checking with Carl Meyer
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
--------
1:05:20
--------
1:05:20
#113 Graph & RAG with Jennifer Reif
We chat with Jennifer Reif about integrating LLMs with data using RAG, vectorized data, and Graph databases.Discuss this episode: discord.gg/XVKD2uPKyF
--------
1:05:27
--------
1:05:27
#112 AI Agents Get More 9's with Rod Johnson
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
--------
1:14:29
--------
1:14:29
#111 Wasm & MCP with Steve Manuel
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
No-frills discussions between Bruce Eckel and James Ward about programming, what it is, and what it should be.
Buy the Happy Path Programming t-shirt: https://happy-path.printify.me/products
Brasil