Javascript is not enabled. This site can still works but it'll be more interactive when javascript is enabled.
loading...
Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
yazaddaruvala
1 day ago
|
on: LLMs are making formal software verification feasible at a much larger scale
We don’t need “a declarative language flexible enough to do what an imperative language is capable of”
We need “a declarative language flexible enough to do what the product requires”
reply