41554 blogs · [ { "id": "01a087cf-8938-7283-bcd6-f71702532bb3", "title": "Ergo Trail: Over a Decade of Keyboard Hacks", "url": "https://randalea.de/~db7/ergo-trail.html", "published_at": "2026-05-21T22:00:00+00:00" }, { "id": "01a087cf-8938-7283-bcd6-f7170449d405", "title": "Building a Tiny Model Checker, Part 4", "url": "https://randalea.de/~db7/tiny-model-checker-part-4.html", "published_at": "2026-01-05T22:00:00+00:00" }, { "id": "01a087cf-8938-7283-bcd6-f7170473d554", "title": "Tiny Model Checker", "url": "https://randalea.de/~db7/tiny-model-checker.html", "published_at": "2026-01-02T22:00:00+00:00" }, { "id": "01a087cf-8938-7283-bcd6-f71701b51057", "title": "Understanding Dannegger's Debouncer", "url": "https://randalea.de/~db7/debouncer.html", "published_at": "2025-12-05T22:00:00+00:00" }, { "id": "01a087cf-8938-7283-bcd6-f717034218b6", "title": "Mocking TSAN is Fun", "url": "https://randalea.de/~db7/mocking-tsan-is-fun.html", "published_at": "2025-10-26T22:00:00+00:00" }, { "id": "01a087cf-8938-7283-bcd6-f717016e7528", "title": "Crunching a PS/2 Mouse Decoder", "url": "https://randalea.de/~db7/crunch-ps2-decoder.html", "published_at": "2025-09-27T22:00:00+00:00" }, { "id": "01a087cf-8938-7283-bcd6-f71703a214d3", "title": "Cheap and Dirty Logic Analyzer with Teensy", "url": "https://randalea.de/~db7/teensy-logic-analyzer.html", "published_at": "2025-08-07T22:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/randalea.de/posts