| 1. | | Open Sesame: Poems with Entropy (benwr.net) |
| 2 points by benwr 6 months ago | past |
|
| 2. | | Iterated Log Coding (adamscherlis.github.io) |
| 2 points by benwr on Jan 4, 2025 | past |
|
| 3. | | Gwipt: Automatically commit all edits to a wip branch with GPT-3 commit messages (github.com/benwr) |
| 1 point by benwr on Dec 31, 2022 | past |
|
| 4. | | Show HN: Shell Of A New Machine: Quickly configure new environments (github.com/benwr) |
| 3 points by benwr on Oct 30, 2022 | past | 2 comments |
|
| 5. | | Entropy isn't sufficient to measure password strength (benwr.net) |
| 34 points by benwr on Jan 17, 2022 | past | 120 comments |
|
| 6. | | Some property testing tricks (2020) (throughascreendarkly.com) |
| 1 point by benwr on Sept 1, 2020 | past |
|
| 7. | | Why I've Started Using NoScript (lesswrong.com) |
| 13 points by benwr on May 15, 2019 | past | 6 comments |
|
| 8. | | Research as a Stochastic Decision Process (stanford.edu) |
| 76 points by benwr on April 16, 2019 | past | 7 comments |
|
| 9. | | No, negative masses have not revolutionized cosmology (backreaction.blogspot.com) |
| 115 points by benwr on Dec 7, 2018 | past | 82 comments |
|
| 10. | | Rash: The Reckless Racket Shell (racket-lang.org) |
| 3 points by benwr on May 31, 2018 | past | 1 comment |
|
| 11. | | Theorem Proving in Lean (leanprover.github.io) |
| 156 points by benwr on May 28, 2018 | past | 30 comments |
|
| 12. | | Show HN: Glean, a tiny bitmap font for programming (github.com/benwr) |
| 66 points by benwr on Oct 9, 2016 | past | 46 comments |
|
| 13. | | Crash-Only Software (2003) [pdf] (usenix.org) |
| 1 point by benwr on Aug 19, 2015 | past | 1 comment |
|
| 14. | | Try Logic Programming! A Gentle Introduction to Prolog (bernardopires.com) |
| 28 points by benwr on July 7, 2014 | past |
|
| 15. | | Wikipedia-size maths proof too big for humans to check (newscientist.com) |
| 2 points by benwr on Feb 17, 2014 | past |
|
| 16. | | The "Intellectual Property" Oxymoron (cat-v.org) |
| 3 points by benwr on Dec 4, 2013 | past |
|
| 17. | | Why is the web like a telephone directory? (benwr.net) |
| 1 point by benwr on Nov 14, 2013 | past |
|
| 18. | | TED Talks (benwr.net) |
| 1 point by benwr on Nov 9, 2013 | past |
|
| 19. | | The Last Question (thrivenotes.com) |
| 2 points by benwr on Oct 22, 2012 | past |
|
| 20. | | Perversion of Intent (davidbyrne.com) |
| 1 point by benwr on Aug 21, 2012 | past |
|
| 21. | | The Joy of Dumping (nycresistor.com) |
| 112 points by benwr on June 23, 2012 | past | 14 comments |
|
| 22. | | TED: Peter Norvig: The 100,000 student classroom (ted.com) |
| 11 points by benwr on June 21, 2012 | past |
|
| 23. | | Work Smarter, Not Harder (futilitycloset.com) |
| 1 point by benwr on June 16, 2012 | past |
|
| 24. | | What Causes Phantom Traffic Jams (peoplemovers.wordpress.com) |
| 1 point by benwr on May 12, 2012 | past |
|
| 25. | | Actions Influencing Past Events? Experiment Mimics 'Spooky Action Into the Past' (sciencedaily.com) |
| 3 points by benwr on April 25, 2012 | past |
|
| 26. | | Stephen Fry on the History of the Smartphone (stephenfry.com) |
| 56 points by benwr on April 3, 2012 | past | 22 comments |
|
| 27. | | A Quantum Theory of Mitt Romney (nytimes.com) |
| 5 points by benwr on April 1, 2012 | past | 1 comment |
|
| 28. | | Neuroscientists Battle Furiously Over Jennifer Aniston (npr.org) |
| 15 points by benwr on March 30, 2012 | past | 5 comments |
|
| 29. | | "Infinity Computer" Calculates Area of Sierpinski Carpet Exactly (technologyreview.com) |
| 1 point by benwr on March 19, 2012 | past |
|
| 30. | | Who Wouldn't Pay a Penny for a Sports Car? Right Strategy Doesn't Win Auctions. (sciencedaily.com) |
| 2 points by benwr on March 16, 2012 | past |
|
|
| More |
