Stories by fanf2

Fixing a Mac SE/30 to run A/UX (2021)

A line map for Milano's trams in TeX

Major leap for nuclear clock paves way for ultraprecise timekeeping

Notes on type layouts and ABIs in Rust (2018)

Nq: A command line job queue utility

PolySubML: A simple ML-like language with subtyping, polymorphism, higher rank t

Sophie Wilson on the future of microprocessors. (YouTube) (2023)

Type safe variadic printf in Idris

IO-Lite: a unified I/O buffering and caching system. (1999)

A homemade telephone exchange for rotary dial phones

Why the alleged ESP32 backdoor couldn't happen on CHERIOT

CHERIoT and Supply Chain Security

The silent (R)evolution of SAT (2023)

Lessons from implementing the Hurl programming language

Arranging invisible icons in quadratic time (2021)

The Inter Font Family

When Unisys tried to cash in on GIF by charging royalties

Row major vs. column major arrays, row vectors vs. column vectors (2012)

Software engineering laws everybody loves to ignore

5
6
7
8
9
10
11
12
13
14