Stories by fanf2

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

What mother never told you about VM service (1983) [pdf]

Fast Flexible Paxos

Hegel: An advanced static type checker for JavaScript

89
90
91
92
93
94
95
96
97
98