Saturday, May 31, 2025
← 2025-05-30 | 2025-06-01 → | yesterday | 2 stories · page 1 (last)
1.
HRCB -0.07
E 0.00
S -0.19
A Lean companion to Analysis I (terrytao.wordpress.com)
292 points by jeremyscanvic 291 days ago | 42 comments | hrcb Mathematics Education
2.
HRCB ND
E 0.00
S
PSQ +0.4 experimental
AI Responses May Include Mistakes (www.os2museum.com)
184 points by userbinator 292 days ago | 207 comments | hrcb Tech Info ×2 ±0.00