Re:Three ways "formally verified" can go wrong
by butlike on Monday October 13, 2025 @04:11PM
(#45572823)
Definition by consensus doesn't always equal absolute definition, to continue your epistemological metaphor. Just because the consensus states it's a rose doesn't mean it absolutely is in the truest sense (the artist, program, and neural network consensus could all be wrong in some intrinsic way).
[ Parent
| on HN ]
There are no comments on this comment yet.