Happy Path Programming

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

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]

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

Rod Johnson [https://www.linkedin.com/in/johnsonroda/], creator of the Spring Framework, has created a JVM-based AI Agent framework called Embabel [https://github.com/embabel/embabel-agent]. 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⁠⁠ [https://discord.gg/XVKD2uPKyF]

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