Martin Kleppmann: Vibe coding → more demand for formal methods @pragmaticengineer
Martin Kleppmann: Vibe coding → more demand for formal methods @pragmaticengineer
Uploaded April 2026 | Updated September 2026, 2 weeks ago
With Martin Kleppmann, author of Designing Data-Intensive Applications
Martin Kleppmann: Vibe coding → more demand for formal methodsA better way to use AI agents: mutual amplificationUber: Leading engineering through an agentic shift - The Pragmatic SummitCode Complete with Steve McConnellAdding civil union to relationship statuses broke FacebookBuilding Claude Code with Boris ChernyNegotiating compensation at a startup50 Years of Microsoft and Developer Tools with Scott GuthrieThe Philosophy of Software Design – with John OusterhoutThe person who created C# also created TypeScript and Turbo PascalGitHub did not ship much 2015-2020. Why?Building Pi, and what makes self-modifying software so fascinating
The Pragmatic Engineer |

Martin Kleppmann: Vibe coding → more demand for formal methods

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER