Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web — HRCB~lite

Model: @cf/meta/llama-3.3-70b-instruct-fp8-fast lite 0.00 @cf/meta/llama-4-scout-17b-16e-instruct lite 0.00 Compare

0.00	Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web (github.com)
	46 points by bntr 3 days ago \| 9 comments on HN \| Neutral ~lite vlite-1.5

Summary ~lite Open Source Access Neutral

Lambda calculus project

EQ 0.50

SO 0.60

TD 0.40

Lite evaluation by llama-3.3-70b-wai · editorial channel only · no per-section breakdown available

Longitudinal 472 HN snapshots · 61 evals

Audit Trail 81 entries

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:43	rater_validation_warn	Lite validation warnings for model llama-3.3-70b-wai: 1W 0R	- -
2026-03-03 16:42	eval_success	Lite evaluated: Neutral (0.08)	- -
2026-03-03 16:42	rater_validation_warn	Lite validation warnings for model llama-4-scout-wai: 1W 0R	- -
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_success	Lite evaluated: Neutral (0.08)	- -
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 16:03	rater_validation_warn	Lite validation warnings for model llama-3.3-70b-wai: 1W 0R	- -
2026-03-03 15:59	eval_success	Lite evaluated: Neutral (0.08)	- -
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:59	rater_validation_warn	Lite validation warnings for model llama-4-scout-wai: 1W 0R	- -
2026-03-03 15:54	eval_success	Lite evaluated: Neutral (0.08)	- -
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:54	rater_validation_warn	Lite validation warnings for model llama-4-scout-wai: 1W 0R	- -
2026-03-03 15:20	eval_success	Lite evaluated: Neutral (0.08)	- -
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:20	rater_validation_warn	Lite validation warnings for model llama-3.3-70b-wai: 1W 0R	- -
2026-03-03 15:13	eval_success	Lite evaluated: Neutral (0.08)	- -
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 15:13	rater_validation_warn	Lite validation warnings for model llama-4-scout-wai: 1W 0R	- -
2026-03-03 14:48	eval_success	Lite evaluated: Neutral (0.08)	- -
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:48	rater_validation_warn	Lite validation warnings for model llama-3.3-70b-wai: 1W 0R	- -
2026-03-03 14:37	eval_success	Lite evaluated: Neutral (0.08)	- -
2026-03-03 14:37	rater_validation_warn	Lite validation warnings for model llama-4-scout-wai: 1W 0R	- -
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_success	Lite evaluated: Neutral (0.08)	- -
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 14:03	rater_validation_warn	Lite validation warnings for model llama-3.3-70b-wai: 1W 0R	- -
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

build abb88c7+telf · deployed 2026-03-03 08:36 UTC · evaluated 2026-03-03 07:16:53 UTC