Link o' the day: The halting poem
Posted on March 14, 2012
by Tommy McGuire
A poetic proof of the pervasive, pernicious problem of pausing.
Scooping the Loop Snooper, by Geoffrey K. Pullum.
Thanks, Jeff!
active directory applied formal logic ashurbanipal authentication books c c++ comics conference continuations coq data structure digital humanities Dijkstra eclipse virgo electronics emacs goodreads haskell http java job Knuth ldap link linux lisp math naming nimrod notation OpenAM osgi parsing pony programming language protocols python quote R random REST ruby rust SAML scala scheme shell software development system administration theory tip toy problems unix vmware yeti
Site proudly generated by Hakyll.