0.00 Lf-lean: The frontier of verified software engineering (theorem.dev)
47 points by alpaylan 5 days ago | 9 comments on HN | Neutral ~lite vlite-1.6
Summary ~lite software engineering Neutral
Blog post on verified software engineering, no human rights mention
EQ 0.00
SO 0.00
TD 0.00
Lite evaluation by llama-4-scout-wai · editorial channel only · no per-section breakdown available
Longitudinal 317 HN snapshots · 59 evals
+1 0 −1 HN
Audit Trail 79 entries
2026-03-17 14:34 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 14: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-17 14:34 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 14:16 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-17 14:16 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 13:52 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 13:52 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-17 13:52 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 13:33 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-17 13:33 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 12:53 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 12:53 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 12:53 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-17 12:31 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-17 12:31 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 12:17 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 12:17 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-17 12:17 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 11:54 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-17 11:54 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 11:42 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 11:42 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-17 11:42 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 11:15 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-17 11:15 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 11:02 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 11:02 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-17 11:02 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 10:40 eval_success PSQ evaluated: g-PSQ=-0.040 (3 dims) - -
2026-03-17 10:40 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 10:27 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 10:27 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-17 10:27 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 10:01 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 09:50 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-17 09:22 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 09:12 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-17 08:45 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 08: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-17 08:07 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 07:59 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-17 07:33 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 07: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-17 06:57 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 06:49 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-17 06:23 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 06:14 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-17 05:47 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 05:39 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-17 05:09 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 05: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-17 04:32 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
2026-03-17 04:29 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 03:26 eval Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
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 Evaluated by llama-4-scout-wai-psq: -0.04 (Neutral) 0.00
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 Evaluated by llama-4-scout-wai-psq: -0.04 (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 01:41 eval Evaluated by llama-4-scout-wai-psq: -0.04 (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:12 eval Evaluated by llama-4-scout-wai-psq: -0.04 (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 00:43 eval Evaluated by llama-4-scout-wai-psq: -0.04 (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:23 eval Evaluated by llama-3.3-70b-wai-psq: -0.07 (Neutral)
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