**Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons**

> Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving. Trustworthy Human-AI Collaboration in a Live Type-Theoretic Computational Commons Cyrus Omar Associate Professor of Computer Science and Engineering at the University of Michigan Rooted in Cyrus Omar’s group’s work on the Hazel live programming environment, this talk presents a vision...

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-09-12 04:20（北京时间）
- **原文**：[打开原文](https://www.janestreet.com/tech-talks/trustworthy-human-ai-collaboration-in-a-live-type-theoretic-computational-commons)