picafrost 941 karma 1y 7m on HN HN profile →
picafrost proton me
Coverage
We've seen 1 of ~102 submissions
Full eval: 1 Lite-only: 0 Unevaluated: 0
Deep Read section-level analysis · 1 full evaluation
HRCB 0.00 range 0.00 · +0% / 100% / 0%−
Signals EQ 0.15 SO 0.28 TD 0.50
1 stories
1.
HRCB ND
E 0.00
S -0.20
Mathematics Distillation Challenge – Equational Theories (terrytao.wordpress.com)
104 points by picafrost 1 days ago | 5 comments | hrcb v3.7 Educational Access & Free Expression Neutral