presheaf

18 karmajoined November 20, 2022On HN

Recent submissions

Introduction to Cubical Type Theory 1lab.dev
12presheaf3ydiscuss
Category Theory Library for Agda github.com/agda
3presheaf3ydiscuss
Social Media and Mental Health papers.ssrn.com
2presheaf3ydiscuss
Accountability, and Other Myths of Old Earth clarkesworldmagazine.com
1presheaf3ydiscuss
AI is cognitive automation, not cognitive autonomy fchollet.substack.com
2presheaf3ydiscuss
Dedukti: Logical Framework Based on the λΠ-Calculus deducteam.github.io
1presheaf3ydiscuss
Collective intelligence for deep learning: A survey of recent developments journals.sagepub.com
1presheaf3ydiscuss
Gradient boosting performs gradient descent explained.ai
1presheaf3ydiscuss
Decision Transformer: Reinforcement Learning via Sequence Modeling arxiv.org
2presheaf3y1 comment
How to Bundle Fibers worldscientific.com
1presheaf3ydiscuss
Information-Geometric Optimization Algorithms jmlr.org
1presheaf3ydiscuss
Kolmogorov Complexity and Compressible Integers (Via GPT-3)medium.com
1presheaf3ydiscuss
AlphaFold System Could Enhance Development of New Drugs foxchase.org
1presheaf3ydiscuss

All submissions and comments on Hacker News.