- Introduction to Cubical Type Theory
by presheaf on 11/30/22, 9:14 PM, with comments
- Category Theory Library for Agda
by presheaf on 11/30/22, 8:09 PM, with comments
- Social Media and Mental Health
by presheaf on 11/30/22, 4:54 AM, with comments
- Accountability, and Other Myths of Old Earth
by presheaf on 11/29/22, 7:18 PM, with comments
- AI is cognitive automation, not cognitive autonomy
by presheaf on 11/28/22, 8:30 PM, with comments
- Dedukti: Logical Framework Based on the λΠ-Calculus
by presheaf on 11/26/22, 9:28 PM, with comments
- Collective intelligence for deep learning: A survey of recent developments
by presheaf on 11/26/22, 9:37 AM, with comments
- Gradient boosting performs gradient descent
by presheaf on 11/26/22, 8:57 AM, with comments
- Decision Transformer: Reinforcement Learning via Sequence Modeling
by presheaf on 11/24/22, 7:43 AM, with comments
- How to Bundle Fibers
by presheaf on 11/24/22, 7:28 AM, with comments
- Information-Geometric Optimization Algorithms
by presheaf on 11/22/22, 3:08 PM, with comments
- Kolmogorov Complexity and Compressible Integers (Via GPT-3)
by presheaf on 11/21/22, 10:58 PM, with comments
- AlphaFold System Could Enhance Development of New Drugs
by presheaf on 11/21/22, 5:18 AM, with comments