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

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

Model Comparison

Model	Editorial	Structural	Class	Conf	SETL	Theme
@cf/meta/llama-4-scout-17b-16e-instruct lite	0.00	+0.16	Neutral	0.90	-0.16	Education Technology
@cf/meta/llama-3.3-70b-instruct-fp8-fast lite	0.00	+0.10	Neutral	0.80	-0.10	Open Source

Section	@cf/meta/llama-4-scout-17b-16e-instruct lite	@cf/meta/llama-3.3-70b-instruct-fp8-fast lite	Delta
Preamble	ND	ND
Article 1	ND	ND
Article 2	ND	ND
Article 3	ND	ND
Article 4	ND	ND
Article 5	ND	ND
Article 6	ND	ND
Article 7	ND	ND
Article 8	ND	ND
Article 9	ND	ND
Article 10	ND	ND
Article 11	ND	ND
Article 12	ND	ND
Article 13	ND	ND
Article 14	ND	ND
Article 15	ND	ND
Article 16	ND	ND
Article 17	ND	ND
Article 18	ND	ND
Article 19	ND	ND
Article 20	ND	ND
Article 21	ND	ND
Article 22	ND	ND
Article 23	ND	ND
Article 24	ND	ND
Article 25	ND	ND
Article 26	ND	ND
Article 27	ND	ND
Article 28	ND	ND
Article 29	ND	ND
Article 30	ND	ND

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 Education Technology Neutral

A GitHub repository for a visual lambda calculus project

EQ 0.50

SO 0.60

TD 0.70

Lite evaluation by llama-4-scout-wai · editorial channel only · no per-section breakdown available

Longitudinal 487 HN snapshots · 64 evals

Audit Trail 84 entries

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: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	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

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