Hi Brian,<br><br>Awesome. Thanks for sharing this.<br><br><div class="gmail_quote">On Tue, Sep 28, 2010 at 9:32 AM, Brian Lavender <span dir="ltr"><<a href="mailto:brian@brie.com">brian@brie.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">I just listened to this speech by Disjkstra in 1972, an amazing speech. He<br>
discusses abstraction, something today we only seem to be grasping well<br>
in the field of computer science. I am sure as we move along, Z, VDM<br>
and SPARK/ADA, Domain Specific languages and formal methods will play<br>
an increasing role. I like Dijkstra's critique of the one liner, very<br>
funny.<br>
<br>
For some reason, part 5 has music that you have to<br>
skip over. Mabye it was intermission.<br>
<br>
Edsger Dijkstra's Turing Award Speech<br>
1972 Turing Award<br>
8 parts to the speech on YouTube<br>
<a href="http://www.youtube.com/watch?v=6sIlKP2LzbA&feature=related" target="_blank">http://www.youtube.com/watch?v=6sIlKP2LzbA&feature=related</a><br>
<a href="http://www.youtube.com/watch?v=QVS8M5eom80&feature=related" target="_blank">http://www.youtube.com/watch?v=QVS8M5eom80&feature=related</a><br>
<a href="http://www.youtube.com/watch?v=yKiVz71AVKg&feature=related" target="_blank">http://www.youtube.com/watch?v=yKiVz71AVKg&feature=related</a><br>
<a href="http://www.youtube.com/watch?v=agYsh_z6stY&feature=related" target="_blank">http://www.youtube.com/watch?v=agYsh_z6stY&feature=related</a><br>
<a href="http://www.youtube.com/watch?v=hfn4OmoGdcc&feature=related" target="_blank">http://www.youtube.com/watch?v=hfn4OmoGdcc&feature=related</a><br>
<a href="http://www.youtube.com/watch?v=6S4lDIaGgsM&feature=related" target="_blank">http://www.youtube.com/watch?v=6S4lDIaGgsM&feature=related</a><br>
<a href="http://www.youtube.com/watch?v=jDvaEiK__B8&feature=related" target="_blank">http://www.youtube.com/watch?v=jDvaEiK__B8&feature=related</a><br>
<a href="http://www.youtube.com/watch?v=k-QBD8Ao_oA&feature=related" target="_blank">http://www.youtube.com/watch?v=k-QBD8Ao_oA&feature=related</a><br>
<br>
brian<br>
--<br>
Brian Lavender<br>
<a href="http://www.brie.com/brian/" target="_blank">http://www.brie.com/brian/</a><br>
<br>
"Program testing can be used to show the presence of bugs, but never to show their absence!"<br>
<br>
Professor Edsger Dijkstra<br>
1972 Turing award recipient<br>
_______________________________________________<br>
vox mailing list<br>
<a href="mailto:vox@lists.lugod.org">vox@lists.lugod.org</a><br>
<a href="http://lists.lugod.org/mailman/listinfo/vox" target="_blank">http://lists.lugod.org/mailman/listinfo/vox</a><br>
</blockquote></div><br>