ND Lf-lean: The frontier of verified software engineering (theorem.dev)
18 points by alpaylan 3 days ago | 5 comments on HN ~lite vlite-2.0
Summary ~lite
The blog post discusses the frontier of verified software engineering.
Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available
Longitudinal 121 HN snapshots · 26 evals
+1 0 −1 HN
Audit Trail 46 entries
2026-03-13 03:26 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-13 03:26 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-13 03:19 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-13 03:19 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-13 03:19 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-13 02:51 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-13 02:51 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-13 02:44 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-13 02:44 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-13 02:44 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-13 02:16 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-13 02:16 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-13 02:09 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-13 02:09 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-13 02:09 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-13 01:41 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-13 01:41 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-13 01:34 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-13 01:34 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-13 01:34 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-13 01:12 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-13 01:12 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-13 01:09 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-13 01:09 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-13 01:09 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-13 00:43 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-13 00:43 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-13 00:41 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-13 00:41 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-13 00:41 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-13 00:23 eval_success PSQ evaluated: g-PSQ=-0.069 (3 dims) - -
2026-03-13 00:23 eval Evaluated by llama-3.3-70b-wai-psq: -0.07 (Neutral)
2026-03-13 00:19 eval_success Lite evaluated: Moderate negative (-0.40) - -
2026-03-13 00:19 eval Evaluated by llama-3.3-70b-wai: -0.40 (Moderate negative)
reasoning
Technical blog post, no rights discussion
2026-03-12 23:29 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-12 23:25 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-12 22:12 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-12 22:09 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-12 21:31 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-12 21:28 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-12 21:06 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-12 21:05 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-12 20:10 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-12 20:08 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical blog post on software engineering, no human rights discussion
2026-03-12 18:59 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral)
2026-03-12 18:58 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral)
reasoning
Technical blog post on software engineering, no human rights discussion