# programming language (podcasts) — RSS Amplifier

Recent posts from the 4 feeds in the RSS Amplifier directory that cover programming language.

Page: <https://rssamplifier.com/topics/programming-language/podcasts>  
Feed: <https://rssamplifier.com/topics/programming-language/podcasts.md>

---

## [Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg](https://www.developing.dev/p/creator-of-typescript-10x-faster)

_2026-08-17 · Ryan Peterman · The Peterman Post_

It was interesting talking to Anders Hejlsberg, the creator of TypeScript and C#, about all the technical details behind rewriting the TypeScript compiler in Go.

[Listen](https://api.substack.com/feed/podcast/211501947/742daed19902300f9b81ff80035cd341.mp3)

## [Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura](https://www.developing.dev/p/creator-of-lean-the-end-of-handwritten)

_2026-08-10 · Ryan Peterman · The Peterman Post_

In 2024, AlphaProof from Google Deepmind broke through in competition math achieving a silver-medal in Interational Mathematical Olympiad (IMO).

[Listen](https://api.substack.com/feed/podcast/209970277/4b08d5b419149374be2933e522f2097d.mp3)

## [Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy](https://www.developing.dev/p/creator-of-lua-scripting-programming)

_2026-08-03 · Ryan Peterman · The Peterman Post_

When I worked at Instagram, most of the codebase was in Python but occasionally I’d see these bindings into C++.

[Listen](https://api.substack.com/feed/podcast/207184056/e7e481befa19d616fb4655496dfdc9b3.mp3)

## [Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl](https://www.developing.dev/p/turing-award-winner-early-ai-llm)

_2026-07-27 · Ryan Peterman · The Peterman Post_

When I went to UCLA, I had heard professor Pearl’s name here and there from the other professors.

[Listen](https://api.substack.com/feed/podcast/207184223/a1bd4ea272acf0438bf3a4a5c586549d.mp3)

## [Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy](https://www.developing.dev/p/creator-of-ocaml-functional-programming)

_2026-07-20 · Ryan Peterman · The Peterman Post_

Professor Leroy (Creator of OCaml) is incredibly knowledgeable.

[Listen](https://api.substack.com/feed/podcast/207205228/48102fbad1230546f4a4c21992455857.mp3)

## [Turing Award Winner: TPUs vs GPUs vs CPUs, Computer Architecture, RISC vs CISC | David Patterson](https://www.developing.dev/p/turing-award-winner-tpu-vs-gpu-vs)

_2026-07-13 · Ryan Peterman · The Peterman Post_

In college I briefly studied RISC vs CISC for my major but I forgot almost everything now.

[Listen](https://api.substack.com/feed/podcast/206770818/662a5457db86986879d6696047c28799.mp3)

## [Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman](https://www.developing.dev/p/turing-award-winner-nsa-public-key)

_2026-07-06 · Ryan Peterman · The Peterman Post_

Interviewed Martin Hellman recently who was one of the inventors of the Diffie-Hellman key exchange algorithm.

[Listen](https://api.substack.com/feed/podcast/204966592/99aa5a09175eeb932c18cc7e260b12fe.mp3)

## [MIT Complexity Theorist: Why You Can Do Better Than “Optimal” On Leetcode & SAT | Ryan Williams](https://www.developing.dev/p/mit-complexity-theorist-on-leetcode)

_2026-06-29 · Ryan Peterman · The Peterman Post_

Ryan Williams is a professor at MIT and the winner of the Gödel Prize in theoretical computer science.

[Listen](https://api.substack.com/feed/podcast/202988431/2bea21595ad6754b68123d0352319f3f.mp3)

## [OpenAI Eng & Dev Tools Founder: How Software Engineering Is Changing | Charlie Marsh](https://www.developing.dev/p/openai-eng-and-dev-tools-founder)

_2026-06-22 · Ryan Peterman · The Peterman Post_

Charlie Marsh is the founder of Astral, the Python devtool startup that was acquired by OpenAI.

[Listen](https://api.substack.com/feed/podcast/202600605/41fef54af4ad60bddd4b4230904b23dc.mp3)

## [Google DeepMind Pre-Training Lead: How To Get a Job at a Frontier Lab | Vlad Feinberg](https://www.developing.dev/p/google-deepmind-pre-training-lead)

_2026-06-15 · Ryan Peterman · The Peterman Post_

Skills frontier labs need, differences between software engineering and research, concrete steps engineers can take

[Listen](https://api.substack.com/feed/podcast/202039062/17cc08b5e576b5dd664cc86df77883b1.mp3)

## [Find it on Amazon (Sponsored)](https://crawlproof.com/a/zFidG9U7hsd0)

_2026-06-15 · **Sponsored**_

Open the Amazon product listing to see details and availability

## [Why Programming Languages are not 'Just Tools'](https://bloominlabs.substack.com/p/why-programming-languages-are-not)

_2025-10-24 · Kevin Schoonover · Bloomin' Labs Substack_

Or Why Your Manager is Wrong About Their Choice of Programming Language

## [How to Have More Microservices Than Users](https://bloominlabs.substack.com/p/how-to-have-more-microservices-than)

_2025-09-29 · Kevin Schoonover · Bloomin' Labs Substack_

Or How I Learned to Stop Worrying and Love the User