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

Om avsnittet

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

Om avsnittet

Fler avsnitt

#121 Effect Oriented Python with Sune Debel

#119 FP Reaches the Masses with Paul Snively

#118 Effects of 2025

#117 Special Episode: Entering Computer Science as a New Graduate

#116 Infrastructure as Effects with Sam Goodwin

#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler

#114 ty: Fast Python Type Checking with Carl Meyer

#113 Graph & RAG with Jennifer Reif

#112 AI Agents Get More 9's with Rod Johnson

#111 Wasm & MCP with Steve Manuel