presheaf
- Karma
- 18
- Created
- 3 years ago
Recent Submissions
- 1. ▲ Introduction to Cubical Type Theory (1lab.dev)
- 2. ▲ Category Theory Library for Agda (github.com)
- 3. ▲ Social Media and Mental Health (papers.ssrn.com)
- 4. ▲ Accountability, and Other Myths of Old Earth (clarkesworldmagazine.com)
- 5. ▲ AI is cognitive automation, not cognitive autonomy (fchollet.substack.com)
- 6. ▲ Dedukti: Logical Framework Based on the λΠ-Calculus (deducteam.github.io)
- 7. ▲ Collective intelligence for deep learning: A survey of recent developments (journals.sagepub.com)
- 8. ▲ Gradient boosting performs gradient descent (explained.ai)
- 9. ▲ Decision Transformer: Reinforcement Learning via Sequence Modeling (arxiv.org)
- 10. ▲ How to Bundle Fibers (worldscientific.com)