hnhnhn3

4 ms·

1. 1.▲
   by hnhnhn3 11y ago

   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 Plus went sour
2. 2.▲
   by hnhnhn3 11y ago

   This is a great idea. Has there been any prior attempt at this?
3. 3.▲
   by hnhnhn3 11y ago

   You can get a nice PLDI paper by following those steps!
4. 4.▲
   by hnhnhn3 11y ago

   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 the user is not logge
5. 5.▲
   by hnhnhn3 11y ago

   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 into startups
6. 6.▲
   by hnhnhn3 11y ago

   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 rarely has b