benwr on Hacker News

1

Open Sesame: Poems with Entropy (opens in new tab)

(benwr.net)

2benwr8mo ago0

2

Iterated Log Coding (opens in new tab)

(adamscherlis.github.io)

2benwr1y ago0

3

Gwipt: Automatically commit all edits to a wip branch with GPT-3 commit messages (opens in new tab)

(github.com)

1benwr3y ago0

4

Show HN: Shell Of A New Machine: Quickly configure new environments (opens in new tab)

(github.com)

3benwr3y ago2

5

Entropy isn't sufficient to measure password strength (opens in new tab)

(benwr.net)

34benwr4y ago120

6

Some property testing tricks (2020) (opens in new tab)

(throughascreendarkly.com)

1benwr5y ago0

7

Why I've Started Using NoScript (opens in new tab)

(lesswrong.com)

13benwr6y ago6

8

Research as a Stochastic Decision Process (opens in new tab)

(cs.stanford.edu)

76benwr6y ago7

9

No, negative masses have not revolutionized cosmology (opens in new tab)

(backreaction.blogspot.com)

115benwr7y ago82

10

Rash: The Reckless Racket Shell (opens in new tab)

(docs.racket-lang.org)

3benwr7y ago1

11

Theorem Proving in Lean (opens in new tab)

(leanprover.github.io)

156benwr7y ago30

benwr

Recent submissions

Open Sesame: Poems with Entropy (opens in new tab)

Iterated Log Coding (opens in new tab)

Gwipt: Automatically commit all edits to a wip branch with GPT-3 commit messages (opens in new tab)

Show HN: Shell Of A New Machine: Quickly configure new environments (opens in new tab)

Entropy isn't sufficient to measure password strength (opens in new tab)

Some property testing tricks (2020) (opens in new tab)

Why I've Started Using NoScript (opens in new tab)

Research as a Stochastic Decision Process (opens in new tab)

No, negative masses have not revolutionized cosmology (opens in new tab)

Rash: The Reckless Racket Shell (opens in new tab)

Theorem Proving in Lean (opens in new tab)

Recent submissions

Open Sesame: Poems with Entropy (opens in new tab)

Iterated Log Coding (opens in new tab)

Gwipt: Automatically commit all edits to a wip branch with GPT-3 commit messages (opens in new tab)

Show HN: Shell Of A New Machine: Quickly configure new environments (opens in new tab)

Entropy isn't sufficient to measure password strength (opens in new tab)

Some property testing tricks (2020) (opens in new tab)

Why I've Started Using NoScript (opens in new tab)

Research as a Stochastic Decision Process (opens in new tab)

No, negative masses have not revolutionized cosmology (opens in new tab)

Rash: The Reckless Racket Shell (opens in new tab)

Theorem Proving in Lean (opens in new tab)