我主张表达自由，做你相信的事，追求你的梦想。

It is the duty of the inventor to make his work as useful and as accessible as possible to the public.

艺术就是爆炸，爆炸就是艺术。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

每个人都想改变世界，但没有人想到改变自己。

Escribir es una forma de resistencia, de mantener viva la memoria y la identidad.

抽象的力量在于它允许我们忽略不相关的细节，专注于问题的本质方面。