Skip to content

Category Archives: Science

Probabilities in Proofreading

Monday, September 14, 2009

Suppose you write a program and you send the source code to two of your friends, and . Your two friends read the code and when they finish, A errors are detected by , B errors are detected by , and C errors are detected by both. So, in total, A+B-C errors are detected [...]

Also filed in Algorithms, Computing Science, Education, Mathematics, Programming | Tagged , , , , , , , , , , , | Comments (2)

Sir Tony Hoare on the future of Computing Science

Thursday, April 30, 2009

Sir Tony Hoare on the future of Computing Science (CACM, March 2009):
I expect the future to be as wonderful as the past has been. There’s still an enormous amount of interesting work to do. As far as the fundamental science is concerned, we still certainly do not know how to prove programs correct. We need [...]

Also filed in Algorithms, Computing Science, Methodology, Programming | Tagged , , , , , | Comments (0)