Blog posts from 2025
How to give a talk
Sep 04 2025, 01:08
I was recently reminded of an old answer I posted on Math.SE with advice on how to give a talk. I wrote that answer in 2012 when I was only finishing my masters, and while I had given a couple of seminar talks by that points, it's 13 years later and I look at this post and it looks like the advice a toddler gives an infant.
And so, now, with much more experience, I figured that it's a good time to revisit that piece of advice. And let me begin by saying that the advice that you can find in that answer is absolutely great, it is still valid, and even now after all my experience, it is still a good fundamental starting point.
Continue reading...I trained neural nets on large cardinal axioms
May 14 2025, 23:48
I spent the past few months training a few neural nets on large cardinal axioms and related results. I've put the notes in the Papers page.
More seriously, of course, I gave a course on large cardinal axioms during the spring semester. It wasn't meant to be particularly deep, and I am sure that other resources will do the material justice, but I figured it's worth putting this up there.
Continue reading...