ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "#114 ty: Fast Python Type Checking with Carl Meyer"
Episode Synopsis
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
More episodes of the podcast Happy Path Programming
#118 Effects of 2025
02/01/2026
#113 Graph & RAG with Jennifer Reif
21/07/2025
#112 AI Agents Get More 9's with Rod Johnson
02/07/2025
#111 Wasm & MCP with Steve Manuel
10/04/2025
#109 AI, LLMs, and MCP with Lize Raes
21/02/2025
#108 Winter Tech Forum and Current Projects
30/01/2025
In God we trust