ND A Lean companion to Analysis I (terrytao.wordpress.com)
292 points by jeremyscanvic 291 days ago | 42 comments on HN ~lite vlite-2.0
Summary ~lite
A mathematical blog post on Lean companion to Analysis I by Terry Tao.
Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available
Longitudinal · 2 evals
+1 0 −1 HN
Audit Trail 5 entries
2026-03-19 01:35 eval_success PSQ evaluated: g-PSQ=0.280 (3 dims) - -
2026-03-19 01:35 eval Evaluated by llama-4-scout-wai-psq: +0.28 (Mild positive)
2026-03-19 01:31 eval_success Lite evaluated: Neutral (-0.07) - -
2026-03-19 01:30 eval Evaluated by llama-4-scout-wai: -0.07 (Neutral)
reasoning
Mathematical content, no human rights discussion
2026-03-19 01:30 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -