Stories by fanf2

How to Sync Anything

Parametric subtyping for structural parametric polymorphism

DIY book lamp: simple electronics meets paper craft

A non-uniform quasirandom number generator for games

Let's Debug figures out why you can't issue a certificate with Let's Encrypt

Squiggle: A simple programming language for intuitive probabilistic estimation

XTerm Control Sequences [pdf]

Facet: Type reflection, serialization, deserialization – know the shape of you

Specifying WASM with SpecTec

Preventing outages with pkill's new –require-handler flag

Far-UVC: germicidal ultraviolet light can inactivate a wide range of pathogens w

Scaling the Let's Encrypt rate limits to prepare for a billion active TLS cert

Examples of MVC for the Web

A continuation-passing evaluation semantics for classical proofs

Travertine: CVE-2025-24118 safe memory reclamation race in the XNU Mac OS kernel

Venera 8 Kosmos 482 descent craft reentry forecasts

Modular Type Classes [pdf]

PubSub and RPC with dynamic types in Rust

Programming Mantras Are Proverbs

Existential Types in Rust

42
43
44
45
46
47
48
49
50
51