Stories by todsacerdoti

Mitigating unexpected arithmetic overflow – Kees Cook

Building Cross-Platform Offline-First Apps with Bluetooth Low Energy

Implementing MVCC and major SQL transaction isolation levels

ROG-O-Matic: A Belligerent Expert System

Google Uses IRC for Incident Response

Geographically distributed Postgres for multi-tenant applications

Proxmox VE Helper-Scripts

Critique of the TechCrunch Article on Google's Call-Scanning AI

New DNS Diagnostics Tooling

Some notes on Rust, mutable aliasing and formal verification

Bad Apple, but It's an Animated QR Code of Bad Apple

Haiku Activity and Contract Report, April 2024

The Small Web and Science

Crash: User-configurable login shell configured by the SHELLS environment varia

Cradle: A simpler Haskell process library

1001 Representations of Syntax with Binding (comparison table) (2021)

Patch Tuesday, May 2024 Edition

Reversing Choplifter – Blondihacks

The new APT 3.0 solver