Hacker News new | past | comments | ask | show | jobs | submit
therealdrag0 | on: LLMs are making formal software verification feasible at a much larger scale
Same experience on my vibe coding side project. Astra seems autistic to the context, Claude seems more of an open minded partner with good taste.