N J Wildberger: Computer Science is more rigorous than Pure Maths [video] | Dark Hacker News