Hacker News new | ask | show | jobs
by joshzayin 5207 days ago
This is assuming you don't count the algorithm design and analysis class as math, or any of the "logic and languages" (Intro PL, constructive logic, Automated program verification, basic logic, computability and incompleteness) as math.