engineering work
projects that exist to study the problems underneath the frameworks: concurrency, networking, consistency, persistence, financial correctness and distributed state. each one has a case study covering the problem, the design, the decisions and the trade-offs.
agnirust · go · kotlin
an in-memory cache server implemented three times from the same design, to measure what the language actually changes.
anychainrust
a proof-of-concept blockchain used as a vehicle for studying distributed state, persistence and integrity.
tallyrust
early development
a double-entry financial ledger: an append-only journal of immutable economic facts, and the correctness problems that come with it.