SCOUT· 62%1h 23m·2026-07-29·TechnologyFormal methods with Hillel Wayne
Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages. • turbopuffer – a vector and full-text search engine built on object storage. It’s fast, cheap, and extremely scalable. • WorkOS – everything you need to make your app…
Scout bees are checking it out — divided opinions, the swarm hasn't committed.
- Platform
- 45%
- Community
- 85%
- Value
- no read yet
Buzzmeter says it's buzzing across platforms — the Hive Vote says whether the people who actually listened liked it.
Rate this episode
Add your vote to the Hive — listeners rate every episode after they finish.
- No reviews yet — be the first.
What people are saying
“I’ve been using formal methods to find complex bugs in a distributed architecture at a large corporation. It’s extremely useful. AI made that feasible. Edit: I got really deep into domain driven design and spec driven development. By defini…”
“I dabbled on Formal Methods during my graduate studies 20 years ago and have been working in software companies. Software testing using Formal Methods belongs to highly specialized fields such as aerospace. (Yes, I met some folks who worked…”
“A light mode user! Get him! Fun interview, interesting to see this different way of looking at testing.”
“It will never become widespread I think, because formal specs are too difficult to write and read for most programmers. Also, I think there are problems with it because you're testing your system against a formal specification, but who is t…”
More from The Pragmatic Engineer
See all episodes →
Similar episodes from other shows
More like The Pragmatic Engineer →
Controlled and compliant AI applications
Uncle Bob - The Long Reach of Code
Claude Code Killed the AI Bubble
Agent Engineering with Pydantic + Graphs — with Samuel Colvin
One great episode in your inbox, daily — free.
One email a day, unsubscribe anytime. No spam, ever.