2 ms·Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons1 points by matt_d 23d ago