Adam Sampson's theory bookmarkshttps://bookmarks.offog.org/ats/theoryAdam Sampson2014-07-11T11:17:05ZShtetl-Optimized » Blog Archive » The Power of the Digi-Comp II: My First Conscious Paperlethttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.scottaaronson.com%2Fblog%2F%3Fp%3D19022014-07-11T11:17:05Z"I study the Digi-Comp II, a wooden mechanical computer whose only moving parts are balls, switches, and toggles. I show that the problem of simulating (a natural abstraction of) the Digi-Comp, with a polynomial number of balls, is complete for CC (Comparator Circuit)". A nice short example, with some interesting discussion on what the Digi-Comp can and can't compute and why.P-versus-NP pagehttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.win.tue.nl%2F%7Egwoegi%2FP-versus-NP.htm2008-11-16T16:10:24ZA list of work proving or disproving P=NP.You Can't Get There From Herehttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fperl.plover.com%2Fyak%2Fcs%2F2006-05-20T15:36:09ZA neat little guide to the concept of NP-completeness.Epsilon-Delta: Mathematics and Computer Programming » Modeling a Resource Poolhttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fepsilondelta.wordpress.com%2F2006%2F03%2F05%2Fmodeling-a-resource-pool%2F2006-05-20T15:35:40Z(No notes.)Lambda Calculushttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fusers.comlab.ox.ac.uk%2Fluke.ong%2Fteaching%2Flambda%2F2006-03-20T23:41:02ZAn Oxford course for beginners to the lambda calculus.Logical Methods in Computer Sciencehttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.lmcs-online.org%2Findex.php2005-10-27T16:30:25ZAn open-access TCS journal.