I’m currently reading Tony Hoare’s Communicating Sequential Processes - it’s awesome! I searched to see if I could find some youtube videos of him - this one is brilliant, him talking about what should be taught in Computer Science, the universal ideas of logic and geometry unpinning computation, going back to Euclid and Artistotle. Great stuff!
Excellent wee 20 min documentary with Dijkstra speaking about elegance..
Excellent introduction to Category Theory - presentation by Tom LaGatta at LispNYC meetup.
// via Hakka Labs Mailout