Stories by fanf2

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

A non-uniform quasirandom number generator for games

Let's Debug figures out why you can't issue a certificate with Let's Encrypt

Squiggle: A simple programming language for intuitive probabilistic estimation

XTerm Control Sequences [pdf]

Facet: Type reflection, serialization, deserialization – know the shape of you

1
2
3
4
5
6
7
8
9
10