20:20
2026-09-11
janestreet.com
artificial-intelligence
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…