把人们引向艺术和科学的最强烈的动机之一，是要逃避日常生活中令人厌恶的粗俗和使人绝望的沉闷，是要摆脱人们自己反复无常的欲望的桎梏。
But the years of anxious searching in the dark for a truth that one feels but cannot express, the intense desire and the alternations of confidence and misgiving until one achieves clarity and understanding, can be understood only by those who have experienced them.
—— From a lecture at the University of Glasgow, June 20, 1933. Published in Albert Einstein, The Origins of the Theory of Relativity, reprinted in Mein Weltbild (Amsterdam: Querido Verlag, 1934), 138; and in Ideas and Opinions (reprint, New York: Broadway Books, 1995), 289–290.
我叫李子鸣。Dzming Li是我名字的耶鲁拼音。我使用它作为我的Publish Name和Preferred Name。
我很认同黑客理念和文化。请注意，此处的黑客并非计算机系统的侵入者，你可以在以下超链接里详细了解：什么是黑客，黑客的精神，以及如何成为黑客。
在我看来，工具和软件都是速朽的，而理念是永恒的。在程序员的三个部落里，大部分时间我都是第一种。
这是我对教育的态度：你得到了教育，但这一切值得吗？
这是给我影响最深的演讲：This is Water.
唯一联络方式：
电子邮件请寄: i@dzming.li
如果我在一周内没有回复，请再次来信。
可以使用传真订阅我的blog post：
我的主要研究领域包括：类型理论、概率编程、程序验证、程序分析。
我感兴趣的领域是范畴论，操作系统，机器学习，构造主义数学。
业余时间，我会阅读一些文学作品，看看电影和电视剧，玩玩游戏。
偶尔弹弹电吉他。
欢迎你向我推荐好用的自由软件和生产力工具。
业余爱好：摄影（器材党，没有任何艺术追求），电吉他与alternative music，家庭影院跟看艺术电影，homelab，Fate Roleplaying Game。收藏计算机科学、数学、物理学术书书籍，摄影画册。
We believe taht you choose your path.
We can only be responsible for our paths. And let others have theirs.
对我影响至深
2666 第五部分 阿琴波尔迪
一个人的圣经
Werckmeister harmóniák
Comme Appelé du Néant—As If Summoned from the Void:The Life of Alexandre Grothendieck
Trois couleurs : Rouge
Once Upon a Time in
父子的世界
我的教育经历
本科：华中科技大学 网络空间安全学院 密码科学与技术 工学学士