alt Hacker NewsThe fact that 99.99% of humans have never used a formal theorem prover?
Replies
slopinthebag • today at 3:56 AM
How do we know if they’re better or not if they haven’t used one?
The fact that 99.99% of humans have never used a formal theorem prover?
How do we know if they’re better or not if they haven’t used one?
Worse than 0.01% of humans means that there are 8,000,000 people better than it. I know that's being pedantic I understand what you're saying.
But every time I use Codex unless I specifically give it the abstractions it writes code that is way too specific.