News for hackers. Stuff that matters.

A comment on Ask HN: Are there any online courses to learn Advanced Computer Science?.

Re:Ask HN: Are there any online courses to learn Advanced Co... by foopdoopfoop on Monday January 13, 2020 @08:07PM (#22040719)
https://softwarefoundations.cis.upenn.edu/ is a nice introduction to computational logic, interactive theorem provers, lambda calculus, and the power of type systems.
[ Parent | on HN ]

There are no comments on this comment yet.