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 chat with Paul Snively (https://x.com/JustDeezGuy) about how Functional Programming has gone mainstream.Resources- Winter Tech Forum - https://www.wintertechforum.com- Paul Snively's LambdaConf Talk on Verse - https://www.youtube.com/watch?v=VBT0j14rn5c- Paul Snively's Blog Post on the Verse Calculus - https://paul-snively.github.io/posts/2022-12-15-verse-calculus.html- Eugenio Moggi, "Notions of Computation and Monads" (1991) - https://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf- "Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine"** by Simon Peyton Jones - https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf- The Verse Calculus Paper - https://simon.peytonjones.org/verse-calculus/- "How to Solve It" by George Pólya - https://press.princeton.edu/books/paperback/9780691164076/how-to-solve-it- Fidelity Framework - https://github.com/FidelityFramework- Happy Path Programming Episode #37 from Aug 14, 2021 "The Future of Everything with Paul Snively" - https://open.spotify.com/episode/62iyGUUwh5CBkxkDpJmUuoDiscuss this episode: https://discord.gg/XVKD2uPKyF

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
• javadocs.dev
• What's New in Embabel

Discuss this episode: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠discord.gg/XVKD2uPKyF