Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
baq
10 months ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
People are sleeping on the new models being capable of this, 100%. Been telling Opus to make Alloy specs recently and it… just does. Ensuring conformance is rapidly becoming affordable, folks in this thread needed to update their priors!
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: