presheaf

Recent Submissions

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