Stories by todsacerdoti

It's always TCP_NODELAY

Pipedream Supports HIPAA Compliance

Dafny Power User: Type-parameter modes: variance and cardinality preservation

Writing an SDK in Zig, Part 1

Bitsquatting – DNS Hijacking without Exploitation [pdf]

A self-hosted dashboard that puts all your feeds in one place

Objective-C Implementations in Swift

Compiling higher order functions with GADTs

Memory Errors in Consumer Devices

Microkernels Meet Recursive Virtual Machines (2007) [pdf]

Automerge 2.2: Rich Text

All error messages are necessarily bad to some degree

It's not about "Flakes vs. Channels"

Test Failures Should Be Actionable

Rust Through the Ages

The problems with test levels (2022)

Undue Base URL Influence

Lessons on building hardware from the founders of Eight Sleep

Raptor – A High Level Algorithmic Skeleton CUDA Library