Matches for dijkstra, 43 total results Sorted by newest | relevance
Tue Feb 24 19:52:18 UTC 2015 <*> ascii_field is rather fond of dijkstra
Tue Feb 24 19:02:46 UTC 2015 <mircea_popescu> anyway, thank god dijkstra died and i don't have to read 2014 abominations from him like i have to read 2014 "manifest destiny" abominations from buffett.
Tue Feb 24 18:52:07 UTC 2015 <gabriel_laddel> Another interesting EWD for those who've not had the pleasure of reading Dijkstra: http://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1175.html
Tue Feb 24 18:42:19 UTC 2015 <mircea_popescu> wasn't dijkstra dead tho ?
Tue Feb 24 18:37:57 UTC 2015 <assbot> E.W. Dijkstra Archive: The threats to computing science (EWD898) ... ( http://bit.ly/1D8bF05 )
Thu Feb 05 03:48:40 UTC 2015 <assbot> Logged on 29-04-2014 22:56:06; asciilifeform: 'Dijkstra said angrily. (He?d been visibly shaking his head through out the talk even before this outburst.) ?How many bugs are we going to tolerate?? he demanded. ?Seven,? Teitelman shot back.'
Sat Jan 31 00:49:30 UTC 2015 <asciilifeform> 'On the cruelty of really teaching computing science' (dijkstra)
Sun Oct 26 22:45:11 UTC 2014 <assbot> 14 results for 'dijkstra' : http://search.bitcoin-assets.com/?q=dijkstra
Sun Oct 26 22:45:10 UTC 2014 <asciilifeform> !s dijkstra
Sat Oct 25 23:49:39 UTC 2014 <asciilifeform> see dijkstra, yes.
Sat Oct 25 22:57:17 UTC 2014 <asciilifeform> 'testing can reveal the presence of bugs, but never their absence.' (dijkstra?)
Thu Oct 23 05:13:28 UTC 2014 <asciilifeform> dijkstra actually believed in proofs
Thu Oct 23 05:13:13 UTC 2014 <decimation> dijkstra would have been a fan of 'fits in head'
Sat Sep 27 02:44:54 UTC 2014 <decimation> I became depressed by dijkstra when he demonstrated how impossible it would be to fully check a simple multiplier circuit
Sun Aug 31 06:37:10 UTC 2014 <asciilifeform> decimation: who listened to dijkstra. academics - good joke. programmers - ha.
Sun Aug 31 06:35:27 UTC 2014 <decimation> except I was reading Dijkstra in "structured programming" and he wrote that it was hopeless to try to "prove" practical code. He did suggest that this is a reason for humility and simplicity.
Fri Aug 29 17:21:20 UTC 2014 <asciilifeform> kakobrekla: 'kindle dx' for ordinary stuff, 'nexus 10' for high-res scans (like that dijkstra)
Fri Aug 29 16:35:03 UTC 2014 <assbot> A Discipline of Programming: Edsger W. Dijkstra: 9780132158718: Amazon.com: Books
Fri Aug 29 16:30:42 UTC 2014 <asciilifeform> see herr dijkstra re: bugs.