Mercurial > repo
graph
-
<int-e> le/rn rice/It is undecidable whether a given Turing machine can prove Rice\'s theorem.Mon, 08 Feb 2016 17:30:32 +0000, by HackBot
-
<oerjan> addquote <lambdabot> "on the oehtr hadn, sinortg olny the ideinss of wdors is pceeflrty raabdeel,... <fizzie> Well, maybe pceeflrty is a bit too strong a word here.Sun, 07 Feb 2016 23:28:17 +0000, by HackBot
-
<oerjan> learn Ginorst is eht aillpr fo dgoo iikw aaeegmmnnt.Sun, 07 Feb 2016 23:22:00 +0000, by HackBot