Welcome to my blog! I use this space to write about things I'm passionate about, what I'm learning, and
anything I find interesting along the way. You can expect posts on topics like competitive programming,
programming languages, proof assistants, as well as other miscellanious topics.
Two Fun Constructive Problems
I generally don't enjoy constructive problems, but recently I solved two that were surprisingly
satisfying. My solution turned out quite different from the one proposed in the editorial, so I wanted
to share my thought process. Continue reading...