>A compiler almost never produces a wrong output
back log of compiler's bugs can be pretty large
back log of compiler's bugs can be pretty large
Maybe eventually Claude can, since it can write tests, but compilers / (deductive) algorithms have other advantages like efficiency and predictability.
https://github.com/llvm/llvm-project/issues
Yea, sure, but there's waay more than Linux or Chromium
x=-5 Is not x = -5
There's no unsigned int.
It's a better comparison to the usability of Claude than you might think. It's doable, but hardly ideal.
not always true. but very close (pathological coding defects and explicit randomization excluded)
very different than an LLM.
But not never. "Almost" is doing a lot of work there.