Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons
University of Michigan Associate Professor of Computer Science and Engineering Cyrus Omar presented a vision for a "live type-theoretic computational commons," a shared monorepo where humans and swarm…