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.
Bill JoyA bomb is blown up only onceโbut one bot can become many, and quickly get out of control.
Bill JoyI got tired of people complaining that it was too hard to use UNIX because the editor was too complicated.
Bill JoyIf you stay up late and you have another hour of work to do, you can just stay up another hour later without running into a wall and having to stop. Whereas it might take three or four hours if you start over, you might finish if you just work that extra hour. If you're a morning person, the day always intrudes a fixed amount of time in the future. So it's much less efficient. Which is why I think computer people tend to be night people - because a machine doesn't get sleepy.
Bill Joy