[turingbook]

Discussion 2 years ago: https://news.ycombinator.com/item?id=39720388

The similiar course in

- Stanford: https://web.stanford.edu/class/cs208e/cgi-bin/main.cgi/

- MIT https://ocw.mit.edu/courses/6-080-great-ideas-in-theoretical...

- Harvard https://beta.my.harvard.edu/course/COMPSCI1/2026-Spring/001