A couple Wednesdays ago (when it was still freezing out), I went to this great talk by Voevodsky on Univalent Foundations of Mathematics.
It had a really great narrative on how he came to discover a new foundation for mathematics and an argument for theory proving via computer programs.
I’d first heard about this talk through the LispNYC meetup (an AWESOME group), and saw a couple of the meetuppers at the event!
At the post-talk reception, Voevodsky came up and said he liked how we were enthusiastic audience members.
What a cool guy!