Stories by fanf2

CRDTs are built on an elegant kernel, but offer a leaky abstraction that mislead

ChaCha12-BLAKE3: secure, simple and fast authenticated and committing encryption

WeakC4: A search-free low-knowledge solution to 7x6 Connect 4

Limits of instruction-level parallelism (1991) [pdf]

ALS Lamon Typeface Review

The cryptographic sponge and duplex constructions

Predecessor Search [pdf]

Why everyone gets the Formula 1 inerter wrong

Stable mutable references in the Ante programming language

Typechecking is undecidable when 'type' is a type

The Baby Paradox in Haskell

Arch Linux AUR chaos malware: an analysis

Put a ring on it: a lock-free MPMC ring buffer

Blocky planet: making Minecraft spherical

Speed wins when fuzzing Rust code with [derive(Arbitrary)]

Chicken Scheme internals: the garbage collector

Why is cloud file-sharing hard? By analogy with programming misconceptions

Atmos: A language for structured concurrency and event-driven programming, based

Tayga: NAT64 for Linux

Strongly Typed?

14
15
16
17
18
19
20
21
22
23