Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
omnicognate
37 days ago
|
parent
|
context
|
favorite
| on:
Claude can sometimes prove it
If it compiles it definitely proves something, which may or may not be what Claude tells you it proves.
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: