Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding.
Edsger DijkstraProduction speed is severely slowed down if one works with half-time people who have other obligations as well. This is at least a factor of four; probably it is worse.
Edsger DijkstraMuch of the excitement we get out of our work is that we don't really know what we are doing.
Edsger Dijkstra