• What is functional analysis? (2017-05-07)
• What is descriptive set theory? (2016-05-24)
• What is forcing, anyway? (2016-03-08)
• A Mind for Numbers (2015-06-29)
• Math is programming (2014-08-05)