corpus.blog
42,593 blogs · 5,407,708 posts Claim your blog
Record · corpus.blog/posts/01a08c66-c098-7363-845e-451079f09158

The invoice was dead. Then it took your money.

zernie.com · published 5 June 2026

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 zernie.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
23
Words captured
4,680

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/dubzzz/fast-check
github.com
https://hypothesis.readthedocs.io/
hypothesis.readthedocs.io
https://github.com/dkubb/prop_check
github.com
https://nvlpubs.nist.gov/nistpubs/Legacy/SP/nistspecialpublication800-142.pdf
nvlpubs.nist.gov
https://csrc.nist.gov/projects/automated-combinatorial-testing-for-software
csrc.nist.gov
https://github.com/microsoft/pict
github.com
https://github.com/thombashi/allpairspy
github.com
https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/
cacm.acm.org
https://code.claude.com/docs/en/skills
code.claude.com
Can LLMs model real-world systems in TLA+?  Read at the source ↗
sigops.org
https://dl.acm.org/doi/10.1145/2001420.2001429
dl.acm.org
https://github.com/zernie/prune-states
github.com
https://curtclifton.net/papers/MoseleyMarks06a.pdf
curtclifton.net
https://manu.sridharan.net/files/ICSE20-SEIP-Piranha.pdf
manu.sridharan.net
https://csrc.nist.gov/pubs/journal/2004/06/software-fault-interactions-and-implications-for/final
csrc.nist.gov
https://www.getunleash.io/blog/what-happens-when-two-unrelated-feature-flags-interact-in-unexpected-ways
getunleash.io
https://learntla.com/
learntla.com
https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
hillelwayne.com
https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf
lamport.azurewebsites.net
https://lamport.azurewebsites.net/tla/tla.html
lamport.azurewebsites.net
https://www.usenix.org/conference/nsdi21/presentation/hance
usenix.org
https://ieeexplore.ieee.org/document/6076775/
ieeexplore.ieee.org
https://www.microsoft.com/en-us/research/publication/ironfleet-proving-practical-distributed-systems-correct/
microsoft.com
Elsewhere on zernie.com (2)