#120 Aver AI-Native Programming Language with Szymon Teżewski
About this episode
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
Get every episode summarized
Each time Happy Path Programming publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
Hosts & guests
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from Happy Path Programming
#121 Effect Oriented Python with Sune Debel
Happy Path Programming
#119 FP Reaches the Masses with Paul Snively
Happy Path Programming
#118 Effects of 2025
Happy Path Programming
#117 Special Episode: Entering Computer Science as a New Graduate
Happy Path Programming