Stories by fanf2

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)

How to Sync Anything

Parametric subtyping for structural parametric polymorphism

DIY book lamp: simple electronics meets paper craft

49 50 51 52 53 54 55 56 57 58