# martin kleppmanns (podcasts) — RSS Amplifier

Recent posts from the 1 feeds in the RSS Amplifier directory that cover martin kleppmanns.

Page: <https://rssamplifier.com/topics/martin-kleppmann/podcasts>  
Feed: <https://rssamplifier.com/topics/martin-kleppmann/podcasts.md>

---

## [AI will make formal verification go mainstream](https://martinkl.substack.com/p/ai-will-make-formal-verification)

_2025-12-08 · Martin Kleppmann · Martin Kleppmann’s Blog_

New blog post