September 2010
3 posts
3 tags
Anxiety 2.0
Last weekend I attended the first annual WebDirections USA conference, in Atlanta, GA. My primary takeaway is that JavaScript on the server side will continue to make enormous gains comparable to those made by rails when it first appeared on the scene. Yeah, that’s huge. Of all the sessions, NodeJS and the expert panel resonated with me over the rest. The node session was a simple,...
Sep 28th
13 notes
3 tags
“By investigating the logical properties of your programming language and finding...”
– Tony Hoare
Sep 26th
3 tags
“If the proof of program correctness requires a very large number of different...”
– Tony Hoare
Sep 26th
7 notes