HN Explorer

presheaf

↗ HN profile [ 71.6 ms ] full profile
Karma
18
Created
November 20, 2022 (3y ago)
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. Introduction to Cubical Type Theory (1lab.dev)
    12 points 0
  4. Category Theory Library for Agda (github.com)
    3 points 0
  5. Social Media and Mental Health (papers.ssrn.com)
    2 points 0
  6. Accountability, and Other Myths of Old Earth (clarkesworldmagazine.com)
    1 points 0
  7. AI is cognitive automation, not cognitive autonomy (fchollet.substack.com)
    2 points 0
  8. Dedukti: Logical Framework Based on the λΠ-Calculus (deducteam.github.io)
    1 points 0
  9. Collective intelligence for deep learning: A survey of recent developments (journals.sagepub.com)
    1 points 0
  10. Gradient boosting performs gradient descent (explained.ai)
    1 points 0
  11. Decision Transformer: Reinforcement Learning via Sequence Modeling (arxiv.org)
    2 points 1
  12. How to Bundle Fibers (worldscientific.com)
    1 points 0
  13. Information-Geometric Optimization Algorithms (jmlr.org)
    1 points 0
  14. Kolmogorov Complexity and Compressible Integers (Via GPT-3) (medium.com)
    1 points 0
  15. AlphaFold System Could Enhance Development of New Drugs (foxchase.org)
    1 points 0
  16. 1 points 0
  17. 1 points 0
  18. 1 points 0