Stories by fanf2

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?

AsciiDots: An esoteric programming language based on ASCII art

Web browser tiny monospace fonts workaround

Sapir-Whorf does not apply to programming languages

Who's afraid of a hard page load?

Type Inference for Plain Data

1
2
3
4
5
6
7
8
9
10