Hacker News new | past | comments | ask | show | jobs | submit
driverdan | on: LLMs are making formal software verification feasible at a much larger scale
Have you talked with a mental health professional? There's a lot of negativity in your comment that suggests larger issues than your concerns about LLMs.