"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The most profound truths are often the ones we deny.
有时候最简单的设计反而是最稳健的。
绘画是在纸上思考。
The director's vision is the soul of the film; without it, the film is just a series of moving images.
I'm just trying to be the best version of myself.
