Recent Posts

• Iterated Log Coding
  by benwron 1/4/2025, 7:57:54 AM with 0 comments
• Gwipt: Automatically commit all edits to a wip branch with GPT-3 commit messages
  by benwron 12/31/2022, 2:07:11 PM with 0 comments
• Show HN: Shell Of A New Machine: Quickly configure new environments
  by benwron 10/30/2022, 2:41:44 AM with 2 comments
• Entropy isn't sufficient to measure password strength
  by benwron 1/17/2022, 4:31:00 AM with 17 comments
• Some property testing tricks (2020)
  by benwron 9/1/2020, 10:57:03 PM with 0 comments
• Why I've Started Using NoScript
  by benwron 5/15/2019, 9:34:50 PM with 2 comments
• Research as a Stochastic Decision Process
  by benwron 4/16/2019, 1:31:20 AM with 6 comments
• No, negative masses have not revolutionized cosmology
  by benwron 12/7/2018, 2:48:47 PM with 12 comments
• Rash: The Reckless Racket Shell
  by benwron 5/31/2018, 7:50:25 AM with 1 comment
• Theorem Proving in Lean
  by benwron 5/28/2018, 7:39:27 AM with 10 comments
• Show HN: Glean, a tiny bitmap font for programming
  by benwron 10/9/2016, 8:44:41 PM with 15 comments
• Crash-Only Software (2003) [pdf]
  by benwron 8/19/2015, 9:04:57 PM with 1 comment