vccvxvccvvxc

5 ms·

1. 1.▲
   by vccvxvccvvxc 1mo ago

   Code is, but running application aren't "math". They have side effects - like uploading your private keys to hostile servers - which "math" conveniently ignores.
2. 2.▲
   by vccvxvccvvxc 1mo ago

   This is an underappreciated possibility that opened up. It now becomes at least viable to thoroughly inspect large code bases. It's not easy and never will be, but now we're not limited to the amound of literal eyeballs available.
3. 3.▲
   by vccvxvccvvxc 1mo ago

   Just a friendly reminder that input device drivers are among the most security sensitive piece of code you can imagine. Literally everything you do goes through them.
4. 4.▲
   by vccvxvccvvxc 1mo ago

   A "nice site" was a proxy metric for "thoughtful competence". It was always flawed, but LLMs put the final nail in that particular coffin. bellard.org style text-only, get-to-the-point-please content will the way forward