Stories by fanf2

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

Full-text search performance since PostgreSQL 8.3

40ms bug: a missing writev, Nagle's algorithm, and delayed ACKs

Undoing, fixing, or removing commits in Git: choose your own adventure

145 146 147 148 149 150 151 152 153 154