nextos

The Little Schemer

IMHO GTD is right in two key things i) put everything into inbox; ii) distinguish between tasks, tasks with deadlines and events (e.g. a doctor appointment).

Axler's LADR is indeed fantastic

https://www.inference.org.uk/mackay/itila/book.html

I love Paradigms of Artificial Intelligence by Peter Norvig

A great text for type theory is TAPL:

https://web.stanford.edu/~boyd/cvxbook/

HtDP is a great book, but probably too elementary for the average HN reader looking to begin with SICP.

https://web.stanford.edu/~boyd/vmls/

Same for The Art of Prolog.

read Basic Mathematics by Lang. Covers all precalculus you need in a rigorous way.

http://eddylab.org/cupbook.html