Hacker News new | past | comments | ask | show | jobs | submit
freeone3000 | on: LLMs are making formal software verification feasible at a much larger scale
inform7 is closer to a dsl than a general purpose language. We might be looking at something closer to spark/ada.