Stories by fanf2

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

Specifying WASM with SpecTec

Preventing outages with pkill's new –require-handler flag

Far-UVC: germicidal ultraviolet light can inactivate a wide range of pathogens w

Scaling the Let's Encrypt rate limits to prepare for a billion active TLS cert

Examples of MVC for the Web

7
8
9
10
11
12
13
14
15
16