edjroot

Recent Submissions

1. 1. ▲ Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] (ijcai.org) 3 points · 5 years ago · 0 comments
2. 2. ▲ FP to the Max (2018) [video] (youtube.com) 2 points · 5 years ago · 0 comments
3. 3. ▲ When I Sit Down at My Editor, I Feel Relaxed (2016) (px16.matt.is) 2 points · 5 years ago · 0 comments
4. 4. ▲ CGOL – an Alternative External Representation For Lisp users (1976) [pdf] (dspace.mit.edu) 2 points · 5 years ago · 0 comments
5. 5. ▲ Bedrock Linux: Mix and match components from different distros (bedrocklinux.org) 6 points · 5 years ago · 0 comments
6. 6. ▲ Chrome Evolution (dfir.blog) 2 points · 5 years ago · 0 comments
7. 7. ▲ Steward – A Command Launcher for Chrome (github.com) 2 points · 5 years ago · 0 comments
8. 8. ▲ Lie-to-Children (en.wikipedia.org) 4 points · 5 years ago · 0 comments
9. 9. ▲ Do We Need Specificity in CSS? (2015) (philipwalton.com) 41 points · 5 years ago · 48 comments
10. 10. ▲ The terrorist inside my husband's brain (2016) (n.neurology.org) 3 points · 5 years ago · 1 comment