← Back to context

Comment by p-e-w

16 hours ago

The fact that 99.99% of humans have never used a formal theorem prover?

4 comments

p-e-w

Reply
vatsachak  16 hours ago

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.

  • DavidSJ  15 hours ago

    > 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.

    Since we're being pedantic, it means that there are (approximately) 800,000 people better than it. ;)