HN Explorer

presheaf

↗ HN profile [ 83.1 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. Collective intelligence for deep learning: A survey of recent developments (journals.sagepub.com)
    1 points 0
  8. Gradient boosting performs gradient descent (explained.ai)
    1 points 0
  9. Decision Transformer: Reinforcement Learning via Sequence Modeling (arxiv.org)
    2 points 1
  10. AlphaFold System Could Enhance Development of New Drugs (foxchase.org)
    1 points 0
  11. 1 points 0
  12. 1 points 0