1Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] (opens in new tab)(ijcai.org)PDF3edjroot5y ago0Save
3When I Sit Down at My Editor, I Feel Relaxed (2016) (opens in new tab)(px16.matt.is)2edjroot6y ago0Save
4CGOL – an Alternative External Representation For Lisp users (1976) [pdf] (opens in new tab)(dspace.mit.edu)PDF2edjroot6y ago0Save
5Bedrock Linux: Mix and match components from different distros (opens in new tab)(bedrocklinux.org)6edjroot6y ago0Save
10The terrorist inside my husband's brain (2016) (opens in new tab)(n.neurology.org)3edjroot6y ago1Save
11Morphine WebExtension – Regulated Distraction (opens in new tab)(github.com)GitHub1edjroot6y ago0Save
12The English Wikipedia has reached 6M articles (opens in new tab)(en.wikipedia.org)9edjroot6y ago0Save
13Six works of Computer Science-Fiction (2015) (opens in new tab)(blog.fogus.me)371edjroot6y ago93Save
14On proof and progress in mathematics (1994) [pdf] (opens in new tab)(arxiv.org)arXiv1edjroot6y ago0Save
