# Formal methods with Hillel Wayne

DevFeed: [Formal methods with Hillel Wayne](<https://devfeed.tech/articles/formal-methods-with-hillel-wayne-18172.md>)

Original publisher: [Read original article](<https://newsletter.pragmaticengineer.com/p/formal-methods-with-hillel-wayne>)

Author: Gergely Orosz

Published: 2026-07-29T16:22:31Z

Content type: article

Language: en

Sources: [The Pragmatic Engineer](<https://devfeed.tech/sources/the-pragmatic-engineer.md>)

Topics: [Formal methods](<https://devfeed.tech/topics/formal-methods.md>), [Formal verification](<https://devfeed.tech/topics/formal-verification.md>), [Software Engineering](<https://devfeed.tech/topics/software-engineering.md>), [distributed-systems](<https://devfeed.tech/topics/distributed-systems.md>), [Artificial Intelligence](<https://devfeed.tech/topics/ai.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [distributed-systems](<https://devfeed.tech/tags/distributed-systems.md>), [formal-methods](<https://devfeed.tech/tags/formal-methods.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [software-engineering](<https://devfeed.tech/tags/software-engineering.md>), [version-control](<https://devfeed.tech/tags/version-control.md>)

## AI overview

Hillel Wayne discusses why formal methods such as TLA+ matter for reliable software, how formal verification tools fit into software development, why distributed systems are difficult to reason about, and whether AI could make these methods more accessible.

## Source excerpt

Hillel Wayne explains why formal methods like TLA+ matter, how they help build reliable software, and whether AI will finally bring formal verification into the mainstream.