Theory Blog

"I consider a mathematical proof to be understood if one can see it as a series of inevitable steps."

This blog contains informal notes about theoretical computer science, math, and other things I find interesting. My goal is human understanding, such that each step is easy to follow (at least for readers with a background similar to mine). Everything here is written by me, not AI.