986aignan

5 ms·

1. 31.▲
   by 986aignan 2y ago

   But wouldn't that kind of reasoning also say that helicopters are impossible because no flying animal works that way? For a more reasoning-adjacent example, "conventional" chess AIs don't really work like brains do, eith
2. 32.▲
   by 986aignan 2y ago

   A modern version of "Computers Don't Argue".
3. 33.▲
   by 986aignan 2y ago

   In some cases there's an inherent tradeoff. A scam might, for instance, say "If you don't go to phishingpage.xyz RIGHT NOW your account will be DELETED!" to capitalize on urgency. That appeal to urgency can be detected.
4. 34.▲
   by 986aignan 2y ago

   On the other hand, proofs sometimes give you more than you'd expect. A proof that the implementation of a function always returns some value automatically proves that there's no arbitrary code execution, for instance.
5. 35.▲
   by 986aignan 4y ago

   A lot of the points also seem to apply to algorithms or mathematical programming, just because the libraries do what you expect and mathematics isn't messy the way web framework du jour is. At least until you get to tweaks that seem to
6. 36.▲
   by 986aignan 4y ago

   Or 4K77: https://www.thestarwarstrilogy.com/project-4k77/