The study of Galois representations is a testament to the power of algebraic methods.

The personal is political.

Every object has potential; it's our job to unlock it.

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

The reality is: sometimes you lose. And you’re never too good to lose. You’re never too big to lose. You’re never too smart to lose. It happens.

与其选择强壮的身体，不如选择坚韧的灵魂。