#
DIFF.BLOG
New
Following
Discover
Jobs
More
Top Writers
Suggest a blog
Upvotes plugin
Report bug
Contact
About
Sign up
The home for great developer writing.
We surface the best developer writing from thousands of independent blogs, updated daily.
Join Diff.blog
TOPICS
Formal methods with Hillel Wayne
219
·
The Pragmatic Engineer
·
July 29, 2026, 4:54 p.m.
Formal methods
TLA
AI in software development
Software Reliability
Summary
Hillel Wayne discusses the importance of formal methods such as TLA+ in building reliable software and explores the potential role of AI in popularizing formal verification.
Read full post on newsletter.pragmaticengineer.com →
MORE POSTS LIKE THIS
Improving system safety with Temporal Logic of Actions (TLA+)
Depot ·
Jul 20, 2026
software development
TLA
Our MongoDB TLA+ Workshop
Murat Demirbas ·
Jun 13, 2026
agentic
AI
Protected: Can LLMs Model Real-World Systems in TLA+?
Håvard Dagenborg ·
May 7, 2026
artifacts
Blog
Prediction: AI will make formal verification go mainstream
Martin Kleppmann ·
Dec 8, 2025
AI in software development
formal verification
Traditional versus resilience engineering views
Surfingcomplexity ·
Aug 3, 2026
resilience
resilience-engineering
How I use AI on this blog
gpjt ·
Jul 31, 2026
coding practices
AI in software development
Discover more posts →
AUTHOR
RECENT POSTS FROM THE AUTHOR
Choose how you want to continue.
Continue with GitHub
Continue with Google