| user: | presheaf |
| created: | November 20, 2022 |
| karma: | 18 |
| 1. | |
| 2. | |
| 3. | Introduction to Cubical Type Theory(1lab.dev) |
| 4. | Category Theory Library for Agda(github.com) |
| 5. | Social Media and Mental Health(papers.ssrn.com) |
| 6. | Accountability, and Other Myths of Old Earth(clarkesworldmagazine.com) |
| 7. | 3 years ago | discuss |
| 8. | AI is cognitive automation, not cognitive autonomy(fchollet.substack.com) |
| 9. | Dedukti: Logical Framework Based on the λΠ-Calculus(deducteam.github.io) |
| 10. | Collective intelligence for deep learning: A survey of recent developments(journals.sagepub.com) |
| 11. | Gradient boosting performs gradient descent(explained.ai) |
| 12. | |
| 13. | How to Bundle Fibers(worldscientific.com) |
| 14. | |
| 15. |