scripod.com
Formal methods with Hillel Wayne

Highlights

Transcript

Chapters

Pins

Formal methods with Hillel Wayne

OverviewShownote
Unprocessed episode, you can be the first!

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

Chapters

Transcript