Hacker News new | ask | show | jobs
user: presheaf
created: 2022-11-20
karma: 18

submissions:

0 points | 0 comments
0 points | 0 comments
Introduction to Cubical Type Theory
12 points | 0 comments
Category Theory Library for Agda
3 points | 0 comments
0 points | 0 comments
Social Media and Mental Health
2 points | 0 comments
Accountability, and Other Myths of Old Earth
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
AI is cognitive automation, not cognitive autonomy
2 points | 0 comments
0 points | 0 comments
Dedukti: Logical Framework Based on the λΠ-Calculus
1 points | 0 comments
Collective intelligence for deep learning: A survey of recent developments
1 points | 0 comments
Gradient boosting performs gradient descent
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Decision Transformer: Reinforcement Learning via Sequence Modeling
2 points | 1 comments
How to Bundle Fibers
1 points | 0 comments
0 points | 0 comments
Information-Geometric Optimization Algorithms
1 points | 0 comments
Kolmogorov Complexity and Compressible Integers (Via GPT-3)
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments