← Back to context Comment by p-e-w 17 hours ago That’s true, they’re not great at it. Just better than 99.99% of humans. 6 comments p-e-w Reply slopinthebag 16 hours ago Source? p-e-w 15 hours ago The fact that 99.99% of humans have never used a formal theorem prover? vatsachak 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.But every time I use Codex unless I specifically give it the abstractions it writes code that is way too specific. 2 replies → slopinthebag 15 hours ago How do we know if they’re better or not if they haven’t used one?
slopinthebag 16 hours ago Source? p-e-w 15 hours ago The fact that 99.99% of humans have never used a formal theorem prover? vatsachak 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.But every time I use Codex unless I specifically give it the abstractions it writes code that is way too specific. 2 replies → slopinthebag 15 hours ago How do we know if they’re better or not if they haven’t used one?
p-e-w 15 hours ago The fact that 99.99% of humans have never used a formal theorem prover? vatsachak 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.But every time I use Codex unless I specifically give it the abstractions it writes code that is way too specific. 2 replies → slopinthebag 15 hours ago How do we know if they’re better or not if they haven’t used one?
vatsachak 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.But every time I use Codex unless I specifically give it the abstractions it writes code that is way too specific. 2 replies →
Source?
The fact that 99.99% of humans have never used a formal theorem prover?
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.
2 replies →
How do we know if they’re better or not if they haven’t used one?