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.
Most of the bright people don't work for you - no matter who you are.
I had almost rewritten all of the display code for windows, and that was when I gave up.
It is formatted, and I'm tired of using vi. I get really bored.
A bomb is blown up only once—but one bot can become many, and quickly get out of control.
Today scientists, technologists, businessmen, engineers don't have any personal responsibility for the consequences of their actions.