mti
- Karma
- 216
- Created
- 14 years ago
Recent Submissions
- 1. ▲ The role of AI companies in large formalisation projects (leanprover.zulipchat.com)
- 2. ▲ Alice's Adventures in Numberland (math.uci.edu)
- 3. ▲ Poor worker conditions power gig economy (youtube.com)
- 4. ▲ My secret life as a fake reviewer of women’s lingerie (scroll.in)