41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a08773-4e97-732c-baa7-79299ab3fe77

Jesse's Notes from the Antithesis BugBash Conference

A. Jesse Jiryu Davis · published 20 May 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at emptysqua.re Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 16
Words captured: 1,341

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

So you think you want to write a deterministic hypervisor? Read at the source ↗

https://antithesis.com/case_studies/mongodb_productivity/

antithesis.com

https://www.bugbash.antithesis.com/

bugbash.antithesis.com

https://github.com/will62794/spectacle

github.com

https://antithesis.com/blog/

antithesis.com

https://pyfound.blogspot.com/2020/05/property-based-testing-for-python.html

pyfound.blogspot.com

How Long Must I Test? Read at the source ↗

https://www.hillelwayne.com/post/hyperproperties/

hillelwayne.com

https://p-org.github.io/P/whatisP/

p-org.github.io

https://hpts.ws/papers/2022/HPTS2022.pdf

hpts.ws

https://dl.acm.org/doi/10.1145/3712057

dl.acm.org

https://www.joelonsoftware.com/2002/06/12/strategy-letter-v/

joelonsoftware.com

https://loopholelabs.io/

loopholelabs.io

Are We Serious About Using TLA+ For Statistical Properties? Read at the source ↗

https://www.mongodb.com/company/research/distributed-systems-research-group

mongodb.com

https://www.scaruffi.com/museums/artzybas/index.html

scaruffi.com