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 innovation. I'm reminded of when Adblock…
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 passed the captcha. HN is read-only when…
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 get people to turn their PL research…
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 code like AES, SHA, etc, but that code…
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 innovation. I'm reminded of when Adblock…
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 passed the captcha. HN is read-only when…
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 get people to turn their PL research…
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 code like AES, SHA, etc, but that code…