You can't prove anything about a program written in C or FØRTRAN. It's really just Peek and Poke with some syntactic sugar.

But no, I don't generally have trouble with spelling mistakes.

I think it is no exaggeration to say we are on the cusp of the further perfection of extreme evil, an evil whose possibility spreads well beyond that which weapons of mass destruction bequeathed to the nation-states, on to a surprising and terrible empowerment of extreme individuals.

I think one of the interesting things is that vi is really a mode-based editor.

Bitmap display is media compatible with dot matrix or laser printers.

I had almost rewritten all of the display code for windows, and that was when I gave up.

I think the Macintosh proves that everyone can have a bitmapped display.