One thing that's always surprised me about things like contest math or chess or StarCraft is how people can express a personality through their play style. For something formalizable with a clearly defined objective function, it's still not clear to me a priori that should happen.
Maybe that's a symptom of depth to look for in domains --- whether it naturally lets people express unique personalities.
I've learned that it's easier to respond to emails and questions with "please provide 1000% more detail" or "I don't understand what you're asking" than to try to guess what the question is.
Trying to understand 는 것 in Korean and it reminds me so much of doing category theory.
One OTIS student's reason for choosing the linear algebra unit:
If lin alg catches me doing non-school stuff i can say this is lin alg
Finished setting the last feeder for this year's OPAL hunt. I hope the audience enjoys it! So much work went into setting this 🥲