Stories by 082349872349872

Finding All Intersections of Two Bezier Curves

Algebraic graph calculus (2021)

'Live free and die'? The sad state of U.S. life expectancy

How many symbols can $f’(x)$ have if $f$ has $n$ symbols?

From Function Level Semantics to Program Transformation and Optimization (1985)

From Lettering Guides to CNC Plotters History of Technical Lettering Tools

Why is Room Temperature what it is?

Little Languages for Music (CLI as DAW, 1990) [pdf]

Relational Floating-Point Arithmetic [pdf]

Finite Automata and Their Decision Problems (1959) [pdf]

Merging Maps

The dark side of the hut, 50 years later

Attempt This Online

Font rasterisation the hard way (scanning e- microscopes and sneakernet)

A Type-Based Approach to Divide-and-Conquer Recursion in Coq

You can't trust your toothbrush unless you carved it yourself

SSA Translation Is an Abstract Interpretation

A Robust Theory of Series Parallel Graphs

Propositions as Filenames, Builds as Proofs: The Essence of Make (2015)

9
10
11
12
13
14