ND Some notes on Rust, mutable aliasing and formal verification (graydon2.dreamwidth.org)
357 points by todsacerdoti 665 days ago | 145 comments on HN ~lite vlite-2.0
Summary ~lite
Technical blog post on Rust, mutable aliasing, and formal verification, with educational content and expert insights.
Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available
Longitudinal · 5 evals
+1 0 −1 HN
Audit Trail 12 entries
2026-03-05 13:31 eval_success PSQ evaluated: g-PSQ=0.280 (3 dims) - -
2026-03-05 13:31 eval Evaluated by llama-4-scout-wai-psq: +0.28 (Mild positive)
2026-03-05 13:29 eval_success PSQ evaluated: g-PSQ=0.440 (3 dims) - -
2026-03-05 13:29 eval Evaluated by llama-3.3-70b-wai-psq: +0.44 (Moderate positive) 0.00
2026-03-05 13:24 eval_success PSQ evaluated: g-PSQ=0.440 (3 dims) - -
2026-03-05 13:24 eval Evaluated by llama-3.3-70b-wai-psq: +0.44 (Moderate positive)
2026-03-03 02:38 eval_success Lite evaluated: Neutral (0.06) - -
2026-03-03 02:38 eval Evaluated by llama-4-scout-wai: +0.06 (Neutral)
reasoning
Technical blog post on Rust programming, no explicit human rights discussion
2026-03-03 02:38 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-03 02:36 eval_success Lite evaluated: Neutral (0.08) - -
2026-03-03 02:36 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral)
reasoning
Technical blog post on Rust and formal verification
2026-03-03 02:36 rater_validation_warn Lite validation warnings for model llama-3.3-70b-wai: 1W 0R - -