Notes on Raft's Reconfiguration Bug Feb 9, 2024 Machine Closure Aug 5, 2020 Defining Safety and Liveness Aug 1, 2020 Specifications and Properties in TLA+ Jul 21, 2020 Cracking Go's PRNG For Fun and (Virtual) Profit Jun 30, 2017