Anyone know where I can find materials for the course Dijkstra describes (or similar)? As a mostly-self-taught hacker, I'd love to get a more formal perspective, and this seems like an appealing way.
1 point by dedalus 0 minutes ago | link | edit | delete
[cturner] we joked that when we iron out all the bugs in our software we would b walking on flat bugs :) yep! totally agree with the fact it should be called error.
[mm] I would suggest you start reading most of his transcripts to get an idea here: http://www.cs.utexas.edu/users/EWD/
reputedly he never had to work on a computer (or owned one)
