In the 80s or early 90s I read a surprisingly deep Logo programming book whose t... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		abecedarius on Aug 14, 2022 \| parent \| context \| favorite \| on: Quirky computing books In the 80s or early 90s I read a surprisingly deep Logo programming book whose title/authors I forget. Not Turtle Geometry, but similar in coming from MIT Lisp/Scheme/AI people. One of the projects near the end was a kind of basic proof assistant. There was some discussion of OOP. It was written to go with some particular microcomputer Logo system. Does this ring a bell for anyone? Maayybe this book? https://www.amazon.com/gp/product/0262510693/ (Search engines have become awful for a quirky search like this.)

pdw on Aug 15, 2022 | [–]

That might have been Brian Harvey's _Computer Science Logo Style_. Downloadable here: https://people.eecs.berkeley.edu/~bh/

abecedarius on Aug 15, 2022 | | [–]

That looks like a good set of books, but different.

xhevahir on Aug 15, 2022 | [–]

I don't think that's the one. There's no mention of anything like a proof assistant in it.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact