Ergo Trail: Over a Decade of Keyboard Hacks
Ten years of TrackPoint transplants, firmware rewrites, and questionable keyboard engineering.
Random reports
Sinking time effectively and efficiently.
Latest posts
Building a Tiny Model Checker, Part 4
Sleep sets, partial-order reduction, and beyond.
Tiny Model Checker
Systematic concurrency exploration in a few lines of Scheme.
Understanding Dannegger's Debouncer
Understanding the elegant Dannegger's debouncer algorithm
Mocking TSAN is Fun
Crunching a PS/2 Mouse Decoder
Using CRUNCH Scheme to write a PS/2 mouse decoder.
Cheap and Dirty Logic Analyzer with Teensy
Figuring out the pinout of a TrackPoint with a Teensy 2.0 as a quick-and-dirty logic analyzer.