Y
Hacker News
new
|
ask
|
show
|
jobs
by
Illniyar
106 days ago
Building a C compiler should not have this problem. There is probably a million test suites coming from outside the LLM that it can sue verify correctness.