Stories by fanf2

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++

Cloaca: A concurrent hardware garbage collector for non-strict functional langua

A collection of quotes on the design of notation as a tool of thought

Programming in Martin-Lof's type theory: an introduction. (1990)

Encoding Hangeul, Koreas writing system

Optimal bounds for open addressed hash tables without reordering

8
9
10
11
12
13
14
15
16
17