Stories by fanf2

The AMEN Combinators [pdf] (2013)

Programming = proving? The Curry-Howard correspondence today

Eﬃcient manipulation of binary data using pattern matching [pdf]

Structured combinators for efficient graph reduction [pdf]

A brief history of Erlang's BEAM compiler (2018)

Vectorized interpreters: mass rapid transit for programming languages [pdf]

Building accurate postal address matching systems

Using otel to emit and view debug traces from Golang command-line tools

Tantacrul on Finale: how music software dies. [video]

The SLAX scripting language: an alternative syntax for XSLT

Recovering control flow structures from Java bytecode without CFGs

Programming Parallel Computers

Parsing layout, or: Haskell's syntax is a mess

Roadmap Towards the Redefinition of the Second (2024)

That boolean should probably be something else

Use test data that looks like data

When do pattern match compilation heuristics matter?

Where did C++ go wrong? [pdf]

Relocation Generation in Assemblers

POSIX shell and utilities quick reference

23
24
25
26
27
28
29
30
31
32