| user: | benwr |
| created: | October 27, 2009 |
| karma: | 964 |
| about: | Ben Weinstein-Raun Currently at Palisade Research (https://palisaderesearch.org/). Web: http://www.benwr.net Email: b@w-r.me aspe:keyoxide.org:BKLA56YMD3ZB36QJIJ4NM4JN6Y |
| 1. | Open Sesame: Poems with Entropy(benwr.net) |
| 2. | Iterated Log Coding(adamscherlis.github.io) |
| 3. | |
| 4. | |
| 5. | |
| 6. | Some property testing tricks (2020)(throughascreendarkly.com) |
| 7. | Why I've Started Using NoScript(lesswrong.com) |
| 8. | Research as a Stochastic Decision Process(cs.stanford.edu) |
| 9. | No, negative masses have not revolutionized cosmology(backreaction.blogspot.com) |
| 10. | Rash: The Reckless Racket Shell(docs.racket-lang.org) |
| 11. | Theorem Proving in Lean(leanprover.github.io) |