Viewing profile — hnhnhn3

The biggest benefit of this change is getting people to reconsider their usage of homebrew. For example, now I'm looking into Nix. These sorts of changes fuel competition and innov…

This is a great idea. Has there been any prior attempt at this?

You can get a nice PLDI paper by following those steps!

Hi dang: Would you and the HN staff consider disabling captchas on HN when the user is not logged in? Some users read HN over tor, and have to cycle through circuits just to get pa…

I agree that software bugs are a bigger concern than encrypting everything. I think the problem is that not many people are starting companies around "high assurance." How do you g…

Cryptol is a nice tool, but it can't eliminate most important crypto bugs (for example, the sorts of bugs found in OpenSSL). It's useful for proving things about bit-mixy crypto co…