What Isn't Your System Supposed To Do?

Links

• Rust sample: https://doc.rust-lang.org/book/ch04-02-references-and-borrowing.html

• Highly Available Transactions: Virtues and Limitations: https://www.vldb.org/pvldb/vol7/p181-bailis.pdf

• Consistency Models: https://jepsen.io/consistency/models

• Tiger Style: https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/TIGER_STYLE.md

• It Takes Two To Contract: https://tigerbeetle.com/blog/2023-12-27-it-takes-two-to-contract/

• rand() implementation notes: https://www.mscs.dal.ca/~selinger/random/

• ANSI-C recommendation of randomness: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf page 365

• Learn TLA+: https://learntla.com/

• Let’s Prove Leftpad: https://github.com/hwayne/lets-prove-leftpad

• Book: https://leanpub.com/logic/c/systemsdistributed-3uLaQxE5ovf8