Stories by todsacerdoti

Learn Flakes the Fun Way

Provably Correct, Secure, and Leakage-Free Systems

Modeling B-Trees in TLA+

Entering text in the terminal is complicated

Universal Code Execution by Chaining Messages in Browser Extensions

Using Use in Gleam

A new way to develop on Linux (sysext-utils)

DSLs Are Not for Muggles

Dark mode is not as good for your eyes as you believe

Security Cameras – A Penetration Tester's Journey

Notes on Scaling Social Media Data Collection

Stop Perfecting Your Config

Confidential Computing: Complexity vs. Security

I'm funding Ladybird because I can't fund Firefox

Block Coding for Godot: Lowering the Bar of Entry for a Powerful Tool

The emotional disconnect with AI made works

Notes for New Hires

Standard cells: Looking at individual gates in the Pentium processor

Smart Meter Bridge – Xythobuz.de

Optimizely Almost Got Me Fired