ParentFull threadconartist6·What would the point of any of the formal logic tools be for an "ai-first" IDE? Aren't current IDEs "reactive"?View on HN