https://pinboard.in/u:randombit/public/ recent bookmarks from randombit 2013-02-14T03:49:17+00:00 http://www.fallacyfiles.org/taxonomy.html randombitlogic reference https://pinboard.in/ https://pinboard.in/u:randombit/b:27cf7279af2a/ 2010-01-06T13:31:32+00:00 http://math.ucr.edu/home/baez/rosetta.pdf randombitcomputation topology logic physics mathematics paper https://pinboard.in/u:randombit/b:c48d04cb76e5/ 2009-03-07T20:48:39+00:00 http://cs.union.edu/~striegnk/learn-prolog-now/lpnpage.php?pageid=online randombittutorial logic prolog https://pinboard.in/u:randombit/b:580c406d17f5/ 2008-04-21T04:00:28+00:00 http://minisat.se/ randombit library algorithm sat logic prion https://pinboard.in/u:randombit/b:34ead0aeee93/ 2007-12-22T03:50:27+00:00 http://research.microsoft.com/users/lamport/tla/tla.html randombit concurrency distributed lamport math logic verification specification https://pinboard.in/u:randombit/b:41bc173eae75/ 2007-09-26T00:40:52+00:00 http://xkcd.com/blue_eyes.html randombitlogic puzzle xkcd https://pinboard.in/u:randombit/b:8385b45f3027/ 2006-03-14T01:00:13+00:00 http://en.wikipedia.org/wiki/Category:Formal_languages randombitcomputers theory logic https://pinboard.in/u:randombit/b:ffc8612493f7/