News for hackers. Stuff that matters.

A comment on Prediction: AI will make formal verification go mainstream. Parent comment

Re:Prediction: AI will make formal verification go mainstream by gf000 on Wednesday December 17, 2025 @04:01AM (#46299723)
We don't actually have empirical evidence on the topic, surprisingly.

It's just people's hunches.

[ Parent | on HN ]
Re:Prediction: AI will make formal verification go mainstream by JumpCrisscross on Wednesday December 17, 2025 @04:19AM (#46299833)
I feel like the terms logical, empirical, rational and objective are used interchangeably by the general public, with one being in vogue at a time.
[ Parent | on HN ]