|
|
|
|
|
|
by PunchyHamster
12 hours ago
|
|
|
> Not 99% of programs. And even if they could, they never are. You misunderstand. Incomplete specification is still useful.
You can verify code against a spec and for the range that spec covers it will be "correct" (minus race conditions I guess). You can't verify anything with AI. Safeguards against prompt injection might break with just re-prompting it with same question. Or break when AI vendor updates their model. |
|
|