Technical writing on backend systems, databases, and distributed systems.
Reliable backend engineering is the work of making every possible concrete execution trace equivalent to one logical trace.