Stories by fanf2

Crossness pumping station: seduced by symmetry

Skim: The implementation of functional languages using custom hardware

De Bruijn's Combinatorics

Dijkstra on Mathematical Notation [pdf]

Gerrit, GitButler, and Jujutsu projects collaborating on a change-id commit foot

MicroHs: Haskell implemented with combinators by Lennart Augustsson

How to write mathematics. (1973) [pdf]

Surety: The oldest blockchain has been hiding in the New York Times si

But can DOOM run it? Programming Satan's computer

10 years of stable Rust: an infrastructure story

Behind the scenes of Rust string formatting and format_args ()

Dissolving the Fermi Paradox

A formulae-as-type notion of control: classical logic and call/cc in Scheme

Violating memory safety with Haskell's value restriction

Type-level bounded recursion in Rust

Comrak: A CommonMark and GFM compatible Markdown parser and renderer in Rust

ΠΣ: Dependent Types Without the Sugar [pdf] (2010)

Build123d: A Python CAD programming library

Lalrpop: A Parser Generator for Rust (2015)

41
42
43
44
45
46
47
48
49
50