Hacker News new | ask | show | jobs
by mpalfrey 726 days ago
+1 for formal methods in Z. I've still got the book at my dad's house.

My first year of uni also had a pretty evil pure maths course which was worth a high percentage of the year. Not much fun.