44

How close can pure functional programming get to C? (rtfeldman.com)

3 hours ago stmonty rtfeldman.com

2

Running Doom Inside a Transformer (nostalgia.dev)

a week ago stmonty nostalgia.dev

1

HOL Light Tutorial (hol-light.github.io)

a week ago stmonty github.io