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
solyin
2 days ago
|
on: LLMs are making formal software verification feasible at a much larger scale
I mean, it's just more comforting to think that there's a shadowy cabal out there controlling things. Otherwise the planet is just a bunch of monkeys screeching at each other and everything is up to random chance.
reply