| 1. | | Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] (ijcai.org) |
| 3 points by edjroot on Sept 6, 2020 | past |
|
| 2. | | FP to the Max (2018) [video] (youtube.com) |
| 2 points by edjroot on June 25, 2020 | past |
|
| 3. | | When I Sit Down at My Editor, I Feel Relaxed (2016) (matt.is) |
| 2 points by edjroot on June 24, 2020 | past |
|
| 4. | | CGOL – an Alternative External Representation For Lisp users (1976) [pdf] (dspace.mit.edu) |
| 2 points by edjroot on June 21, 2020 | past |
|
| 5. | | Bedrock Linux: Mix and match components from different distros (bedrocklinux.org) |
| 6 points by edjroot on May 21, 2020 | past |
|
| 6. | | Chrome Evolution (dfir.blog) |
| 2 points by edjroot on April 26, 2020 | past |
|
| 7. | | Steward – A Command Launcher for Chrome (github.com/solobat) |
| 2 points by edjroot on April 24, 2020 | past |
|
| 8. | | Lie-to-Children (wikipedia.org) |
| 4 points by edjroot on April 23, 2020 | past |
|
| 9. | | Do We Need Specificity in CSS? (2015) (philipwalton.com) |
| 41 points by edjroot on April 17, 2020 | past | 48 comments |
|
| 10. | | The terrorist inside my husband's brain (2016) (neurology.org) |
| 3 points by edjroot on Feb 9, 2020 | past | 1 comment |
|
| 11. | | Morphine WebExtension – Regulated Distraction (github.com/tkazec) |
| 1 point by edjroot on Feb 6, 2020 | past |
|
| 12. | | The English Wikipedia has reached 6M articles (wikipedia.org) |
| 9 points by edjroot on Jan 24, 2020 | past |
|
| 13. | | Six works of Computer Science-Fiction (2015) (fogus.me) |
| 371 points by edjroot on Jan 2, 2020 | past | 93 comments |
|
| 14. | | On proof and progress in mathematics (1994) [pdf] (arxiv.org) |
| 1 point by edjroot on Dec 14, 2019 | past |
|
| 15. | | What's Wrong with GNU Make? (conifersystems.com) |
| 2 points by edjroot on Nov 18, 2019 | past |
|
| 16. | | Captain Forever (captainforever.com) |
| 2 points by edjroot on Oct 25, 2019 | past |
|
| 17. | | Make vs. Tup (2016) (gittup.org) |
| 35 points by edjroot on Nov 19, 2018 | past | 33 comments |
|
| 18. | | Carpalx – keyboard layout optimizer (bcgsc.ca) |
| 1 point by edjroot on Sept 25, 2018 | past |
|
