Gian-Carlo Rota’s “Lessons I wish I had been taught” ’97 AMS entry
Dropbox mirror: https://www.dropbox.com/s/bosace9japm3s5j/Gian-Carlo%20Rota%27s%20Lessons%20I%20Wish%20I%20Had%20Been%20Taught.pdf?dl=0
Kevin Buzzard’s talk on formalizing in Lean
Kevin Buzzard's invited talk at CICM arguing that getting undergraduate mathematics formalised in theorem provers is useful and important. Slides at http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/ug_maths.pdf
My first year as a professor
of work I poured into our course blog. Every student contributed two posts to the blog, and I gave multiple rounds of detailed feedback on all twelve posts, learning a lot from the students in the process. and especially not Jekyll, since having a working Ruby environment is the hardest problem in computer science
Rethinking universities in the era of climate change
and pay more attention to consolidation, exposition and preservation of the knowledge we already have. more room for quiet study and reflection.
Why I’m not a Professor