Stories by todsacerdoti

Fixapl

Finding forall-exists Hyperbugs using Symbolic Execution

Let's Practice (Bsd.rd)

TIL: Docker Log Rotation

Browse Code by Meaning

Building a FOSS live streaming camera

The OpenClaw Security Guide No One Wants to Write (But Everyone Needs)

Hardware TOTP authenticator with 8-layer security architecture (ESP32)

MessageFormat: Unicode standard for localizable message strings

I manage my Guix System configs

Runtime Validation in Type Annotations

More work on TBDFS; database-like file system for Plan9 [video]

The only developer productivity metrics that matter

Experiments with CodeMirror: Building a code review tool

E2EE, the be all and end all of chat?

Mesa's KosmicKrisp Vulkan-on-Metal Achieves MoltenVK Feature Parity

How to Add DRM to Your Back End (Easy) [2026 Working]

Claude Code Tips from the Guy Who Built It

Zig landed io_uring and Grand Central Dispatch std.Io implementations

Arborium is AI slopware and should not be trusted

9 10 11 12 13 14 15 16 17 18