Random reports https://randalea.de/~db7/ Sinking time effectively and efficiently. Crunching a PS/2 Mouse Decoder https://randalea.de/~db7/crunch-ps2-decoder.html https://randalea.de/~db7/crunch-ps2-decoder.html Sun, 28 Sep 2025 00:00:00 +0200 Using CRUNCH Scheme to write a PS/2 mouse decoder. Understanding Dannegger's Debouncer https://randalea.de/~db7/debouncer.html https://randalea.de/~db7/debouncer.html Sat, 06 Dec 2025 00:00:00 +0200 Understanding the elegant Dannegger's debouncer algorithm Ergo Trail: Over a Decade of Keyboard Hacks https://randalea.de/~db7/ergo-trail.html https://randalea.de/~db7/ergo-trail.html Fri, 22 May 2026 00:00:00 +0200 Ten years of TrackPoint transplants, firmware rewrites, and questionable keyboard engineering. Mocking TSAN is Fun https://randalea.de/~db7/mocking-tsan-is-fun.html https://randalea.de/~db7/mocking-tsan-is-fun.html Mon, 27 Oct 2025 00:00:00 +0200 Cheap and Dirty Logic Analyzer with Teensy https://randalea.de/~db7/teensy-logic-analyzer.html https://randalea.de/~db7/teensy-logic-analyzer.html Fri, 08 Aug 2025 00:00:00 +0200 Figuring out the pinout of a TrackPoint with a Teensy 2.0 as a quick-and-dirty logic analyzer. Building a Tiny Model Checker, Part 4 https://randalea.de/~db7/tiny-model-checker-part-4.html https://randalea.de/~db7/tiny-model-checker-part-4.html Tue, 06 Jan 2026 00:00:00 +0200 Sleep sets, partial-order reduction, and beyond. Tiny Model Checker https://randalea.de/~db7/tiny-model-checker.html https://randalea.de/~db7/tiny-model-checker.html Sat, 03 Jan 2026 00:00:00 +0200 Systematic concurrency exploration in a few lines of Scheme.