Stories by todsacerdoti

Visual overview of a custom malloc() implementation

Gov4Git: A superpower for open-source project maintainers

Compiling Pattern Matching

Building a hypervisor, 1: KVM Introduction

Building Hangman

Function Contracts for Kani

Daunting papers/books and how to read them

Ray Optics Simulation

Apple Vision Pro arrives in Apple Store locations across the U.S.

Release Radar · January 2024 Edition

Ruff v0.2.0

A personal link shortener using mostly S3

Don't Prefill Config Files

Sensitive environment variables are now available

Request a consultation about the changes to apps distributed in the European Un

Switch between branches directly from deployments

Arrests in $400M SIM-Swap Tied to Heist at FTX?

Tweaking Slime Xref for Remote Images

A New Concurrent ML

Greybeard's tomb: the lost treasure of language design