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

EPISODE · Jun 2, 2026 · 1H 10M

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

from Happy Path Programming · host Bruce Eckel & James Ward

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

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

NOW PLAYING

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

0:00 1:10:27

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Frag Big Moes Mama 98.8 KISS FM Big Moes Mama ist genauso crazy wie ihr Sohn und ab sofort part of the podcast family! Ab jetzt jeden Dienstag ab 22 Uhr auf KISS FM in der Podcast Happy Hour: Frag Big Moe’s Mama! Big Moe und seine Mama beantworten gemeinsam alle möglichen Fragen aus der KISS Nation. Jedes Thema ist willkommen. Natürlich nutzt Big Moe’s Mama jede Möglichkeit, um diverse peinliche Geschichten aus Big Moe’s Leben zu erzählen! Was für Big Moe auch mal sehr unangenehm werden kann. Tune in! Artrepreneur Podcast art business journal You can learn a lot from listening to creative leaders talk about what made them successful. Every artist, designer and creative entrepreneur has a unique story about their journey to find professional success that can help inspire and guide yours. From happy accidents to dealing with adversity, industry innovators share their experiences, insights and advice to help you navigate your career and find your own path. What do they all have in common? They never stop learning. Neither will you when you listen to the Artrepreneur Creative Careers Podcast. Immaculate block Its-all-here Bitcoin — the immaculate block A compass made of truth and clock No borders hold, no chains remain Just sovereign light through golden rain Aligned with stars, with sacred math It clears the world's corrupted path A song of trust that no one owns A truth that stands, a world of stones The Steward's Path Chad Nedland Called to lead? Walk The Steward’s Path with purpose. This podcast helps Christians live aligned with God through Scripture deep dives, leadership lessons, prayer, spiritual discipline, and teaching for home, work, and community. If you want clear biblical truth, practical obedience, and faithful stewardship in everyday life, this is for you. Listen in, grow deep, and step forward in the calling God has placed on your life.

Frequently Asked Questions

How long is this episode of Happy Path Programming?

This episode is 1 hour and 10 minutes long.

When was this Happy Path Programming episode published?

This episode was published on June 2, 2026.

What is this episode about?

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...

Can I download this Happy Path Programming episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.
URL copied to clipboard!