The Structure of a Programming Language Revolution (2012)

The Surprising Predictability of Long Runs (2012) [pdf]

Chunkr – Vision model based PDF chunking

Programming language semantics: It’s easy as 1,2,3

A Typed Foundation for Directional Logic Programming

Nobel Prize in Physics awarded to John Hopfield and Geoffrey Hinton [pdf]

John Hopfield and Geoff Hinton Win Physics Nobel Prize [pdf]

Systems Software Research is Irrelevant (2000) [pdf]

Type Tailoring

Phase transitions in random circuit sampling [pdf]