Hey, starting my blog today. Stanley Liu and Vaassav Gupta started a substack, so I figured I'd add another website to my yearly fees. Today was a bleh day, I'm sick, so there's not much to go over, really just work and sleep.

Future blog posts won't be like this, there's more concrete things that are on my mind and more interesting proofs to look at. Going to try to sleep off this cold, nighty night.