-
证明与示例：研究问题的不同方法
今年（2018 年）下半年，在和团队其他成员合作时往往感觉到大家的认知方法有较大的差异——在研究一个问题时，我更倾向于从系统的角度比较形式化（formal）、泛化（generic）地进行；而大多数人似乎更热衷于用例子去理解问题。
-
如何（为 Mac）挑选显示器
如同键盘一样，作为电脑的另一个外设，显示器的挑选也很重要。本文主要介绍选择显示器的一点经验，以戴尔（Dell）显示器为主。选择戴尔的原因无他，唯「好用」、「便宜」尔
-
如花与狗子
城里早市的竞争是很激烈的，为此我还编了两首歌。希望有一天这歌能传唱到然家人那里，到时主仆重聚岂不美哉！
-
思辩的局限
这篇文章从『方寸之间，咫尺天涯』算起已经是推倒重来的第六版。兴许这是最后一版。
-
Android Neural Networks API —— 一种神经网络软件系统中间层的设计与实现
随着深度学习的进一步发展，用于减轻框架层和硬件厂商开发代价的「中间层表示」以各种形式涌现：包括采用编译技术做图优化的、制定模型文件格式的、操作系统中间层的。本文重点介绍了操作系统中间层的代表 Android Neural Networks API 的软件架构、内部模块交互方式，并讨论了其设计。总体而言，Android Neural Networks API 简洁有效，符合软件系统的设计方法学。
-
干原治水
上大学的时候修过一门混学分的公选课——中国古代史。和所有其他的公选课一样，上课的学生要么旷课，要么缩在最后几排睡觉。但有一天下午老师讲的一个历史事件，直到今天仍然历历在目。
-
机器学习框架中的内存同步机制
现代机器学习框架支持在多种硬件设备上执行运行，而不同设备间的内存往往是独立管理的，即在某个时刻数据可能存储在不同的设备内存中。那么当网络的不同部分在不同的硬件设备上运行时，各个设备不一定总是拥有最新的数据，因而存在设备间同步数据的问题。