zlacker

[parent] [thread] 6 comments
1. acedTr+(OP)[view] [source] 2025-05-06 20:23:26
> It's entirely clear that every last human will be beaten on code design in the upcoming years

In what world is this statement remotely true.

replies(3): >>dullcr+mg >>1024co+Ci >>askl+zn1
2. dullcr+mg[view] [source] 2025-05-06 22:26:28
>>acedTr+(OP)
In the world where idle speculation can be passed off as established future facts, i.e., this one I guess.
3. 1024co+Ci[view] [source] 2025-05-06 22:42:28
>>acedTr+(OP)
Proof by negation, I guess?

If someone were to claim: no computer will ever be able to beat humans in code design, would you agree with that? If the answer is "no", then there's your proof.

replies(3): >>dullcr+0Q >>enneff+M51 >>acedTr+LR1
◧◩
4. dullcr+0Q[view] [source] [discussion] 2025-05-07 05:18:29
>>1024co+Ci
Proving things is fun, isn’t it?

But FYI “proof by negation” is better known as the fallacy of excluded middle when applied outside a binary logical system like this.

◧◩
5. enneff+M51[view] [source] [discussion] 2025-05-07 08:45:59
>>1024co+Ci
That is so only if by “upcoming years” they mean “any point in the future”. I think they meant “soon”, though.
6. askl+zn1[view] [source] 2025-05-07 12:00:14
>>acedTr+(OP)
In the delusional startup world.
◧◩
7. acedTr+LR1[view] [source] [discussion] 2025-05-07 14:47:16
>>1024co+Ci
> no computer will ever be able to beat humans in code design

If you define "human" to be "average competent person in the field" then absolutely I will agree with it.

[go to top]