HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by fzzzy | Hacker News Reader
Parent
Full thread
fzzzy
·
Luckily that's the compiler's job.
View on HN
antonvs
·
Yes, I was referring to writing the proofs, which is very much the human or LLM's job.
Reply on news.ycombinator.com