Formal methods with Hillel Wayne
The Pragmatic Engineer
Jul 29
Formal methods with Hillel Wayne
Formal methods with Hillel Wayne

The Pragmatic Engineer
Jul 29
Unprocessed episode, you can be the first!
Shownote
Shownote
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 extr...
Highlights
Highlights
Chapters
Chapters
Transcript
Transcript
