Optimizing compilers are a lot like nuclear power plants. They are both very powerful and very dangerous.
人は、自分が傷つかないために、他人を傷つける。
逻辑学研究不仅仅是关于形式系统,更是关于人类推理的本质。
We should not just catch up, but surpass. This should be the attitude of China's semiconductor industry.
When the year starts the objective is to win it all with the team, personal records are secondary.