程序最重要的属性是它是否实现了用户的意图。
I’m not a guy that’s going to let my love for the past down.
The rule of recognition is the ultimate rule in a legal system, which identifies the criteria for valid law.
最好的领导者是那些倾听、学习并以谦逊态度领导的人。