Stories by fanf2

Silent bugs matter: a study of compiler-introduced security bugs

WASM SpecTec has been adopted

Implementation of Dependent Types

Displaying Korean Text Efficiently

Faster remainder by multiplication, with applications to compilers and software

When should a Java JIT compiler expand garbage collection barriers?

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

6
7
8
9
10
11
12
13
14
15