Stories by fanf2

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

Hardware Discovery: ACPI and Device Tree

Constantly Divisionless Random Numbers

Anatomy of a scalable software transactional memory [pdf]

Type Safety Back and Forth (2017)

A Collective of Nouns

63 64 65 66 67 68 69 70 71 72