The hardest thing is to go to sleep at night, when there are so many urgent things needing to be done. A huge gap exists between what we know is possible with today's machines and what we have so far been able to finish.
Beware of bugs in the above code; I have only proved it correct, not tried it.
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.
In fact what I would like to see is thousands of computer scientists let loose to do whatever they want. That's what really advances the field.
Science is what we understand well enough to explain to a computer. Art is everything else we do.
