Recent Posts

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