Comment by e79
17 hours ago
If you’re interested in computer science, have you ever looked at the Software Foundations course by UPenn? It follows a similar approach of having you build all sorts of fascinating math principles and constructions from the ground up. But then it keeps going, all the way up to formal methods of software analysis and verification.
No comments yet
Contribute on Hacker News ↗