Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
010101010101
11 days ago
|
parent
|
context
|
favorite
| on:
Claude for Excel
If you have a mechanism that can prove arbitrary program correctness with 100% accuracy you’re sitting on something more valuable than LLMs.
tonyhart7
11 days ago
[–]
so human powered LLM user ??
reply
freedomben
11 days ago
|
parent
[–]
For sure, I've never seen a human write a bug or make a mistake in programming
reply
tonyhart7
11 days ago
|
root
|
parent
[–]
that's why we create LLM for that
reply
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
