Stories by mmphosis

A formally verified proof of the soundness of System F

Unexpected fallout from /usr merge in Debian

The Origin of HyperCard in the Breakdown of the Bicycle for the Mind (2015)

Succinctness is Power (2002)

This Remote Hawaiian Island Just Vanished

Normal Accidents

Playing today's games in a thousand years

Banksy shreds his own Girl with Balloon print – after it sells for £1m

Can New Energy Technologies Save the Planet? Ask the Sperm Whale

Making things with maths – Steven Wittens [video] (2013)

23 guidelines for writing readable code

Chips want to be free

How long since you last used Windows?

Rare Apple-1 Headed to Auction in September

I want to boycott US PC hardware, software and services. Is it possible?

Cost of a Join

Karateka two-player

Apple hits record $1 trillion US stock market valuation

Why You Should Avoid a Canonical Data Model

Alan Kay: Doing with Images Makes Symbols Pt 1

6
7
8
9
10
11
12
13
14
15