HN Explorer

edjroot

↗ HN profile [ 598 ms ] full profile
Karma
284
Created
June 20, 2017 (9y ago)
Submissions
0
  1. Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] (ijcai.org)
    3 points 0
  2. FP to the Max (2018) [video] (youtube.com)
    2 points 0
  3. When I Sit Down at My Editor, I Feel Relaxed (2016) (px16.matt.is)
    2 points 0
  4. CGOL – an Alternative External Representation For Lisp users (1976) [pdf] (dspace.mit.edu)
    2 points 0
  5. Bedrock Linux: Mix and match components from different distros (bedrocklinux.org)
    6 points 0
  6. Chrome Evolution (dfir.blog)
    2 points 0
  7. Steward – A Command Launcher for Chrome (github.com)
    2 points 0
  8. Lie-to-Children (en.wikipedia.org)
    4 points 0
  9. Do We Need Specificity in CSS? (2015) (philipwalton.com)
    41 points 52
  10. The terrorist inside my husband's brain (2016) (n.neurology.org)
    3 points 1
  11. Morphine WebExtension – Regulated Distraction (github.com)
    1 points 0
  12. The English Wikipedia has reached 6M articles (en.wikipedia.org)
    9 points 1
  13. Six works of Computer Science-Fiction (2015) (blog.fogus.me)
    371 points 94
  14. On proof and progress in mathematics (1994) [pdf] (arxiv.org)
    1 points 0
  15. What's Wrong with GNU Make? (conifersystems.com)
    2 points 0
  16. Captain Forever (captainforever.com)
    2 points 0
  17. Make vs. Tup (2016) (gittup.org)
    35 points 34
  18. Carpalx – keyboard layout optimizer (mkweb.bcgsc.ca)
    1 points 0