Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
robot-wrangler
2 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
If you like the rigor of formal methods and dislike the vaguery of LLMs, shouldn't you be in favor of using the first to improve the second?
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
