Stories by todsacerdoti

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

Tests should not contain logic

Public/protected/private is an unnecessary feature

GoDaddy Issues Certificates That Don't Work in Safari (Again)

CVE 2025 31200

Can a Chrome Extension Host a Terminal Emulator?

WebAIM: Up and Coming ARIA

WhisperD: Linux voice-to-text using OpenAI whisper-1 transcription

Reducing Cargo target directory size with -Zno-embed-metadata

My idea of how a modern mailing service should work

We Migrated 30 Kubernetes Clusters to Terraform

A tour of upcoming RFCs for the Hare programming language

Hypervisors for Memory Introspection and Reverse Engineering

Is It JavaScript?

Wl-kbptr: Control the mouse pointer with the keyboard on Wayland

The 3D Gaussian Splatting Adventure: Past, Present, Future [video]

How I like to install NixOS (declaratively)

Structured Errors in Go (2022)

Why Use Structured Errors in Rust Applications?

WebSockets guarantee order – so why are my messages scrambled?

135 136 137 138 139 140 141 142 143 144