The only limits that exist are the ones you place on yourself.
I'm never going to change so much that people can't recognize me.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
I’m not here to fit in. I’m here to stand out.