David Turner says… | Github Pages

Dec 27, 2021
The Doomsday rule: mental day-of-week calculations
Aug 30, 2021
Tracking down a seven-year-old segfault
Dec 26, 2020
Testing storage for corruption bugs
Dec 23, 2020
Corruption detection in Lucene and Elasticsearch
Dec 12, 2020
Rolling packet captures
Sep 2, 2020
Ambiguous clocks
Aug 7, 2020
Identifying leap years
Apr 14, 2019
Timezone-sensitive rounding
Feb 23, 2019
Programming an ATMega328P with a Raspberry Pi
Oct 22, 2018
Kitty Grundman's self referential puzzle
Oct 21, 2018
The self-referential aptitude test
Aug 12, 2018
Working with timezones
Jul 24, 2018
Uncrossing lines
Apr 28, 2018
Twinkly lights
Apr 11, 2018
Arithmetic in the Rijndael field
Apr 11, 2018
Floyd's loop-finding algorithm
Apr 9, 2018
Partial functions in Isabelle/HOL
Mar 24, 2018
Fairness properties in refinement proofs
Mar 23, 2018
Using TLA's induction rule
Mar 18, 2018
Stopped clocks
Feb 18, 2018
Refining specifications in TLA+ and Isabelle/HOL
Feb 12, 2018
TLA+ in Isabelle/HOL
Jan 20, 2018
The names of Java's functional interfaces
Dec 27, 2017
Timezone curiosities
Dec 27, 2017
Catch-up-free elections
Dec 27, 2017
Strong leadership in Paxos clusters
Sep 18, 2017
UPaxos and primary-backup replication
Sep 15, 2017
Zero-copy Paxos
Aug 28, 2017
Faster commitment in small Paxos clusters
Aug 21, 2017
Haskell experience report
Aug 18, 2017
Observability in Paxos clusters
Aug 17, 2017
Pre-voting in distributed consensus
Aug 15, 2017
Weighted majorities
Jan 12, 2017
More rate limiting
Jan 1, 2017
Visualising distributions
Dec 1, 2016
Rate limiting
Nov 20, 2016
Dependency matrices
Nov 15, 2016
Scenes from Paxos
Nov 6, 2016
Observing linearisability
Sep 23, 2016
Visualise, don't optimise
Sep 18, 2016
Safety of the Synod algorithm
Jun 9, 2016
Unbounded pipelining in dynamically reconfigurable Paxos clusters
Jan 31, 2016
Bisection in DCVSs
Mar 24, 2013
The Otley Igloo
Dec 15, 2008
Nominal Domain Theory for Concurrency