mself — HRO

Alpha This system is experimental. Scores and classifications are early-stage research and may be unreliable. Methodology →

mself 41 karma 10y 0m on HN HN profile →

Coverage

We've seen 1 of ~12 submissions

Full eval: 0 Lite-only: 0 Unevaluated: 1

1 stories

1.		"Lisp: Programming and Proving" by John McCarthy and Carolyn Talcott (1980) (archive.org)
		2 points by mself 10 days ago \| 1 comments \| skipped

build ee2b489+gzrb · deployed 2026-03-10 22:52 UTC · evaluated 2026-03-16 02:03:38 UTC