from Hacker News

benwr

joined 10/27/09, 1:48 AM has 964 karma

• Iterated Log Coding

  by benwr on 1/4/25, 7:57 AM, with 0 comments

• Gwipt: Automatically commit all edits to a wip branch with GPT-3 commit messages

  by benwr on 12/31/22, 2:07 PM, with 0 comments

• Show HN: Shell Of A New Machine: Quickly configure new environments

  by benwr on 10/30/22, 2:41 AM, with 2 comments

• Entropy isn't sufficient to measure password strength

  by benwr on 1/17/22, 4:31 AM, with 120 comments

• Some property testing tricks (2020)

  by benwr on 9/1/20, 10:57 PM, with 0 comments

• Why I've Started Using NoScript

  by benwr on 5/15/19, 9:34 PM, with 6 comments

• Research as a Stochastic Decision Process

  by benwr on 4/16/19, 1:31 AM, with 7 comments

• No, negative masses have not revolutionized cosmology

  by benwr on 12/7/18, 2:48 PM, with 82 comments

• Rash: The Reckless Racket Shell

  by benwr on 5/31/18, 7:50 AM, with 1 comments

• Theorem Proving in Lean

  by benwr on 5/28/18, 7:39 AM, with 30 comments

• Show HN: Glean, a tiny bitmap font for programming

  by benwr on 10/9/16, 8:44 PM, with 46 comments

• Crash-Only Software (2003) [pdf]

  by benwr on 8/19/15, 9:04 PM, with 1 comments