Stories by todsacerdoti

Nix Team member suggests dropping flakes; data suggest otherwise

Hardware repair of an Elgato HD60 S that only worked on Mac

Swift-Foundation 2024 Annual Update

A Multi-Language-Oriented Macro System by Michael Ballantyne at the (Fourteenth

Cello • a Fat Pointer Library

Project Turntable

A deep dive into Linux's new mseal syscall

Generators with UnpinCell

Notes on Anthropic's Computer Use Ability

Unsafe Rust Is Harder Than C

Classic 3D videogame shadow techniques

Building and using simple utils in Rye console

Understanding leap seconds and time scales

A Desktop for All

Viewing macOS system libraries in Ghidra

Private Cloud Compute Security Guide

A Typed Foundation for Directional Logic Programming [pdf]

Type Tailoring [pdf]

Automated Verification of Go Programs via Bounded Model Checking (2021) [pdf]