Stories by todsacerdoti

Advanced book classes and packages for the SILE typesetting system

Replacing Nginx with Axum

The optimised version of 7-Zip can't be built from source

Dafny Standard Libraries

Arm A-Profile Architecture Developments 2024

Potential pragmatic handling of partial matches for HTTP conditional GET

A dictionary of single-letter variable names

Cizzbuzz: An Exploration of GitHub Merge Queues

Perks of Being a Python Core Developer

FFI type mismatches in Rust for Linux

Burning Zero Days: Suspected Nation-State Adversary Targets Ivanti CSA

Overload Journal 183 – October 2024

Behind the Scenes: Fixing an In-the-Wild Firefox Exploit

Adapting Plan 9's listen to GNU Guix

Programming Is Fun

Deploying a Single-Binary Haskell Web App

Using Chrome's accessibility APIs to find security bugs

Computational Protein Design