//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
My notes from this year's Antithesis BugBash conference, about software verification and distributed systems: emptysqua.re/blog/notes-f...
1mo
Notes from the 2026 conference on autonomous testing and software correctness.
emptysqua.re
Antithesis BugBash Conference 2026
A. Jesse Jiryu Davis