#120 Aver AI-Native Programming Language with Szymon Teżewski

About this episode

The episode features an interview with Szymon Teżewski discussing the new Aver programming language and its unique features.

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 code. The optimization target is the reviewer, not the generator.Resources:- Aver: https://averlang.dev/- Agent Languages: https://agentlanguages.dev/ Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠discord.gg/XVKD2uPKyF

People in this episode

Hosts: Bruce Eckel, James Ward

Guest: Szymon Teżewski

Topics covered

• Aver programming language
• AI-native programming
• type system
• executable specs
• code optimization

Keywords

• Aver
• AI-native
• programming language
• type system
• executable specs
• code optimization

Mentioned in this episode

Organizations: Aver, Agent Languages

More episodes of Happy Path Programming

• #119 FP Reaches the Masses with Paul Snively · January 24, 2026 · 1h 29m
• #118 Effects of 2025 · January 2, 2026 · 1h 12m
• #117 Special Episode: Entering Computer Science as a New Graduate · November 18, 2025 · 1h 12m
• #116 Infrastructure as Effects with Sam Goodwin · September 19, 2025 · 59 min
• #115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler · August 11, 2025 · 1h 2m
• #114 ty: Fast Python Type Checking with Carl Meyer · July 25, 2025 · 1h 5m