#120
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
#118
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 Code Thinking in Types javad
#115
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 ecosys
#114
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 Zig
#62
Mark McGranaghan joins us to talk about how the Muse app uses Conflict-free Replicated Data Types (CRDTs) for local-first data synchronization. More details on Local-first Referenced article about hybrid logical clocks
#53
Open Source is an essential foundation for pretty much everything. How do we fund it appropriately? What do we do about Log4Shell-types of issues? Donald Fischer of Tidelift joins us to discuss these economic and human issues.
#49
Jorge Vasquez has been working on a way to have more precise data modeling while not sacrificing performance or ergonomics. Smart Types in ZIO Prelude are the answer, and they are amazing!
#37
Paul Snively helps us see the future of programming. Spoiler: It's Typed & Functional. Referenced talks Types vs. Tests: An Epic Battle? Type Systems - The Good, Bad and Ugly
#35
As usual, Bruce & James try to figure out monads & type classes. Then something new, as they go meta on design patterns.
#14
Most developers have been exposed to inheritance based polymorphism but there are other ways to deal with overlapping functionality. In this episode we talk about ad-hoc polymorphism, parametric polymorphism, and type classes.
#3
A bike-shedless discussion about nulls, algebraic data types, and code formatting.