Hacker News new | past | comments | ask | show | jobs | submit
FuckButtons | on: LLMs are making formal software verification feasible at a much larger scale
Is this closed source?
sestep | parent
Yeah. I've been considering asking my boss about open-sourcing it but I'm probably gonna flesh it out a lot more first.