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
gewetensleegte
1 day ago
|
on: LLMs are making formal software verification feasible at a much larger scale
> Or maybe your opinion of Grok and its affiliated entities is slanted, and mine is straight.
I mean, we all know what we are talking about here, so please go ahead and do make your case
reply