HN Explorer

benwr

↗ HN profile [ 72.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Open Sesame: Poems with Entropy (benwr.net)
    2 points 0
  2. Iterated Log Coding (adamscherlis.github.io)
    2 points 0
  3. Gwipt: Automatically commit all edits to a wip branch with GPT-3 commit messages (github.com)
    1 points 0
  4. Show HN: Shell Of A New Machine: Quickly configure new environments (github.com)
    3 points 3
  5. Entropy isn't sufficient to measure password strength (benwr.net)
    34 points 123
  6. Some property testing tricks (2020) (throughascreendarkly.com)
    1 points 0
  7. Why I've Started Using NoScript (lesswrong.com)
    13 points 6
  8. Research as a Stochastic Decision Process (cs.stanford.edu)
    76 points 8
  9. No, negative masses have not revolutionized cosmology (backreaction.blogspot.com)
    115 points 85
  10. Rash: The Reckless Racket Shell (docs.racket-lang.org)
    3 points 1
  11. Theorem Proving in Lean (leanprover.github.io)
    156 points 30
  12. Show HN: Glean, a tiny bitmap font for programming (github.com)
    66 points 48
  13. Crash-Only Software (2003) [pdf] (usenix.org)
    1 points 1
  14. Try Logic Programming! A Gentle Introduction to Prolog (bernardopires.com)
    28 points 0
  15. Wikipedia-size maths proof too big for humans to check (newscientist.com)
    2 points 0
  16. The "Intellectual Property" Oxymoron (harmful.cat-v.org)
    3 points 0
  17. Why is the web like a telephone directory? (benwr.net)
    1 points 0
  18. TED Talks (benwr.net)
    1 points 0
  19. The Last Question (thrivenotes.com)
    2 points 0
  20. Perversion of Intent (journal.davidbyrne.com)
    1 points 0
  21. The Joy of Dumping (nycresistor.com)
    112 points 16
  22. TED: Peter Norvig: The 100,000 student classroom (ted.com)
    11 points 0
  23. Work Smarter, Not Harder (futilitycloset.com)
    1 points 0
  24. What Causes Phantom Traffic Jams (peoplemovers.wordpress.com)
    1 points 0
  25. Actions Influencing Past Events? Experiment Mimics 'Spooky Action Into the Past' (sciencedaily.com)
    3 points 0