|
|
| 1. | | Introduction to Cubical Type Theory (1lab.dev) | |
12 points by presheaf on Nov 30, 2022 | past
|
|
| 2. | | Category Theory Library for Agda (github.com/agda) | |
3 points by presheaf on Nov 30, 2022 | past
|
|
| 3. | | Social Media and Mental Health (ssrn.com) | |
2 points by presheaf on Nov 30, 2022 | past
|
|
| 4. | | Accountability, and Other Myths of Old Earth (clarkesworldmagazine.com) | |
1 point by presheaf on Nov 29, 2022 | past
|
|
| 5. | | AI is cognitive automation, not cognitive autonomy (fchollet.substack.com) | |
2 points by presheaf on Nov 28, 2022 | past
|
|
| 6. | | Dedukti: Logical Framework Based on the λΠ-Calculus (deducteam.github.io) | |
1 point by presheaf on Nov 26, 2022 | past
|
|
| 7. | | Collective intelligence for deep learning: A survey of recent developments (sagepub.com) | |
1 point by presheaf on Nov 26, 2022 | past
|
|
| 8. | | Gradient boosting performs gradient descent (explained.ai) | |
1 point by presheaf on Nov 26, 2022 | past
|
|
| 9. | | Decision Transformer: Reinforcement Learning via Sequence Modeling (arxiv.org) | |
2 points by presheaf on Nov 24, 2022 | past | 1 comment
|
|
| 10. | | How to Bundle Fibers (worldscientific.com) | |
1 point by presheaf on Nov 24, 2022 | past
|
|
| 11. | | Information-Geometric Optimization Algorithms (jmlr.org) | |
1 point by presheaf on Nov 22, 2022 | past
|
|
| 12. | | Kolmogorov Complexity and Compressible Integers (Via GPT-3) (medium.com/dkarapetyan_82042) | |
1 point by presheaf on Nov 21, 2022 | past
|
|
| 13. | | AlphaFold System Could Enhance Development of New Drugs (foxchase.org) | |
1 point by presheaf on Nov 21, 2022 | past
|
|
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
