Stories by todsacerdoti

Every type is defined by its intro and elim forms

Turborepo Run Summary is now available

I use Nix and make(1) to develop

Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees

Parallel Agile: Interesting Idea – Does It Work?

A CTF Challenge using the Nintendo 3DS' unique features

The Simplest Lock-Free Hash Table (2013)

Git-SIM 3 Month Dev Update: Community Response, New Features, & the Future

PG advisory locks in Go with built-in hashes

Structure and Interpretation of React Native

Data Oriented Parallel Value Interner

Why are all customer support tools designed for B2C?

EXtended Disquisitions on EXpress Datapaths

The intuition behind the Universal Approximation Theorem

Mass editing memory in a transformer

An Overview of the NetWare Operating System (1994) [pdf]

Keep Calm and Panic

Elegant Memoization with Ruby’s .tap Method

Zero-Downtime Deployments with Docker Compose

Asynchronous Programming in Python with Asyncio