Mathematics for Developers by Kai Koenig EN
June 2020
Awesome Mathematics Talks
A curated list of amazing Mathematics related conference talks.
Bitcoin: Where the Laws of Mathematics Prevail
July 2017Live-Coding Mathematics Your First Clojure Proof - Frederic Peschanski
November 2016Constructive Type Theory and Homotopy - Steve Awodey
August 2016Field of Rationality and Category Theory, Michał Heller
May 2015The Continuum Hypothesis and the search for Mathematical Infinity, W. Hugh Woodin
January 2015Category Theory by Tom LaGatta
April 2014Great level design and the artistic expression of mathematics
May 2013Andrew Odlyzko: Turing and the Riemann zeta function
August 2012
