Trustworthy Human-AI Collaboration in a Live Type-Theoretic Computational Commons
Rooted in Cyrus Omar's group's work on the Hazel live programming environment, this talk presents a vision for a "live type-theoretic computational commons": a shared monorepo where humans and swarms of AI agents make…