Hacker News new | past | comments | ask | show | jobs | submit
deterministic | on: LLMs are making formal software verification feasible at a much larger scale
Don’t listen to the BS garbage coming from the tech bros. They have zero clue about how Ai will ultimately shape the future.