Stories by fanf2

The Usability of Ownership in Rust

Unix NEWS and;login: archives from the 1970s

Microsoft FrontPage: the good, the bad, the ugly

LambdaDelta: An Emulator of the LMI Lambda Lisp Machine

Wiby: A search engine for the classic web

On-demand linked libraries for Nix

Power-cycling a USB port should be simple, right?

Automatic syntax error recovery in lrpar

Sponge4: A sponge-like hash function for seeding PRNGs

Build systems à la carte: theory and practice (revised and expanded) [pdf]

MLS: Message layer security for better encrypted group chat

The making of a masterpiece: Bohemian Rhapsody. (YouTube)

Python, the Full Monty: a tested semantics for the Python programming language

On the expressive power of programming languages (2019)

Leap Second Hiatus

Udp2raw-tunnel: UDP over encrypted fake TCP to bypass firewalls

Why TCP over TCP is a bad idea (2001)

Build your own GPG in Rust

Replication conflicts in PostgreSQL and how to deal with them

Propeller: A framework for post-link optimizations