Stories by todsacerdoti

Nitro: Tiny but flexible init system and process supervisor

Modern iOS Security Features – A Deep Dive into SPTM, TXM, and Exclaves

Litex: The First Formal Language Learnable in 2 Hours

What Dynamic Typing Is For

Why did containers happen?

It Is a War Out There – Take Control of Your Supply Lines with HtDTY

Revisiting SailfishOS

Matrices can be your friends (2002)

Git Developers Talk About Potentially Releasing Git 3.0 by the End of Next Year

Debugging a Go runtime crash: the one-instruction window

Django: Django-HTTP-compression – Adam Johnson

C2BF: A C-to-Brainfuck compiler written in Rust

Satisfaction of Render Pipelines

From Source to Sorcery – Kotlin Native's Interop Magic

Fzf 0.66.0 introduces "–raw mode"

The reason GCC is not a library (2000)

Sharp Bilinear Filters: Big Clean Pixels for Pixel Art

Three ways formally verified code can go wrong in practice

Tinymist is an integrated language service for Typst

27
28
29
30
31
32
33
34
35
36