Code is, but running application aren't "math". They have side effects - like uploading your private keys to hostile servers - which "math" conveniently ignores.
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…
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.
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…
Code is, but running application aren't "math". They have side effects - like uploading your private keys to hostile servers - which "math" conveniently ignores.
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…
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.
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…