It is actually surprising that Earley can efficiently parse C, ambiguities and all

Creating a database of motivated proofs

How to get samples back from Mars

Contracts for C

A gentle introduction to CP/M

Polycyclic Aromatic Hydrocarbons

Inverting the Xorshift128 random number generator

Rupert's Property

A tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled

We regret but have to temporary suspend the shipments to USA