ND Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web (github.com)
46 points by bntr 10 days ago | 9 comments on HN ~lite vlite-2.0
Summary ~lite
Neutral/informative content with no clear threats or trust damage.
Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available
Longitudinal 515 HN snapshots · 72 evals
+1 0 −1 HN
Audit Trail 92 entries
2026-03-05 08:58 eval_success PSQ evaluated: g-PSQ=0.464 (3 dims) - -
2026-03-05 08:58 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) 0.00
2026-03-05 08:53 eval_success PSQ evaluated: g-PSQ=0.464 (3 dims) - -
2026-03-05 08:53 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive)
2026-03-05 08:45 eval_success PSQ evaluated: g-PSQ=0.284 (3 dims) - -
2026-03-05 08:45 eval Evaluated by llama-3.3-70b-wai-psq: +0.28 (Mild positive)
2026-03-03 19:17 eval_success Lite evaluated: Neutral (0.05) - -
2026-03-03 19:17 eval Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
reasoning
Open-source lambda calculus project
2026-03-03 19:17 rater_validation_warn Lite validation warnings for model llama-3.3-70b-wai: 1W 0R - -
2026-03-03 19:15 eval_success Lite evaluated: Neutral (0.08) - -
2026-03-03 19:15 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 19:15 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-03 18:31 eval_success Lite evaluated: Neutral (0.08) - -
2026-03-03 18:31 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 18:31 rater_validation_warn Lite validation warnings for model llama-3.3-70b-wai: 1W 0R - -
2026-03-03 18:29 eval_success Lite evaluated: Neutral (0.08) - -
2026-03-03 18:29 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 18:29 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-03 18:01 eval_success Lite evaluated: Neutral (0.08) - -
2026-03-03 18:01 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) +0.03
reasoning
Open-source lambda calculus project
2026-03-03 18:01 rater_validation_warn Lite validation warnings for model llama-3.3-70b-wai: 1W 0R - -
2026-03-03 17:57 eval_success Lite evaluated: Neutral (0.08) - -
2026-03-03 17:57 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 17:57 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-03 17:17 eval_success Lite evaluated: Neutral (0.08) - -
2026-03-03 17:17 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 17:17 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-03 17:16 eval_success Lite evaluated: Neutral (0.05) - -
2026-03-03 17:16 eval Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
reasoning
Open-source lambda calculus project
2026-03-03 17:16 rater_validation_warn Lite validation warnings for model llama-3.3-70b-wai: 1W 0R - -
2026-03-03 16:43 eval_success Lite evaluated: Neutral (0.08) - -
2026-03-03 16:43 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 16:42 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 16:03 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 15:59 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 15:54 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 15:20 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 15:13 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 14:48 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 14:37 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 14:03 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 13:56 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 13:28 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 13:11 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 13:06 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 12:42 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 12:22 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 12:03 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 11:58 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 11:41 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 11:14 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 11:08 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 10:58 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 10:25 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) +0.03
reasoning
Open-source lambda calculus project
2026-03-03 10:12 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 09:40 eval Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
reasoning
Open-source lambda calculus project
2026-03-03 09:25 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 09:20 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 09:03 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 08:48 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 08:25 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) +0.03
reasoning
Open-source lambda calculus project
2026-03-03 08:11 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 07:49 eval Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
reasoning
Open-source lambda calculus project
2026-03-03 07:33 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 07:05 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 06:42 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 06:37 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 06:19 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) +0.03
reasoning
Open-source lambda calculus project
2026-03-03 06:14 eval Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
reasoning
Open-source lambda calculus project
2026-03-03 06:04 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 05:42 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) +0.03
reasoning
Open-source lambda calculus project
2026-03-03 05:27 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 04:59 eval Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 04:43 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 04:30 eval Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
reasoning
Open-source lambda calculus project
2026-03-03 04:14 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 04:09 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 03:57 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 03:32 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 03:20 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 02:58 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 02:50 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 02:45 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 02:23 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 02:18 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 02:11 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 01:36 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 01:27 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 00:58 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral) 0.00
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 00:52 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
reasoning
Open-source lambda calculus project
2026-03-03 00:14 eval Evaluated by llama-4-scout-wai: +0.08 (Neutral)
reasoning
GitHub repository for a visual lambda calculus project, no explicit rights discussion
2026-03-03 00:14 eval Evaluated by llama-3.3-70b-wai: +0.08 (Neutral)
reasoning
Open-source lambda calculus project