Stories by fanf2

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

RP2040 DMA is Turing complete

Violating memory safety with Haskell's value restriction

From Haskell to a new structured combinator processor for graph reduction in har

It's the Latency, Stupid

Anatomy of a Thunk Leak in Haskell

A bestiary of mathematical functions for systems designers

Julia 1.6: what has changed since Julia 1.0?

The Ignorability of Attributes in C++

1
2
3
4
5
6
7
8
9
10