在 Apple 官网上，有这么一份文档，指导了如何对调系统键盘的 Control 和 Caps。这么做的好处：方便使用 Emacs，以及在所有支持使用 Emacs 风格快捷键的地方，比如 Safari 浏览器以及各种写作软件 Vim 中使用 Control 不依赖第三方 App 的情况下，舒服地切换 macOS 输入法，使用 Control + Space。就我的使用而言，比使用 Caps 要更稳定，自 Mojave 以来使用 Cpas 切换输入法时常出现不灵的现象
国内分钟级降水预报做得比较好的是彩云天气，但是 App 在 iPad 上尚不支持横屏与键盘快捷键。所以有时候想看是否降水要打开 App，体验是不怎么好的。好在彩云天气有大量的数据 API 提供给了开发者，并且仅仅用其中最简单的一些，就能得到和彩云天气自家 App 一样的降水预报功能（受限于设备无法实现降水事件的主动推送）。 ...
这阵子做的工作主要和性能优化有关，之前的一篇谈了如何获得采样数据，这里保存一些测试和采样的记录。
在 Python3.7 环境下，Uber 开源的 PyFlame 无法使用，而在容器环境中，py-spy 又有诡异的问题。考量各种「采样」工具后，发现只有内置的 cProfile 才是稳定、可靠的。但是对于复杂的 Flask App，大量使用 cProfile 执行采样非常不方便。本文将给出一个在 Python3.7 的容器环境下经测试可以正常工作的例子。原理是在 app 初始化后，添加 werkzeug ProfilerMiddleware（也许可以翻译成采样中间件）。 ...
写于 2019-04，发表于 2019-08 今天在实验室写文档，有几个学弟学妹在讨论本系的老师。其中谈到了 H 老师，有个同学认为 H 老师上课讲的无关的东西太多了，总是在抱怨工作中不愉快，而没有专心讲课。 ...
本文只是对 Evernote OCR 系统的简单介绍，没有涉及到具体的工程实践。
《人类简史》至于第一个成为“现代人”的，其实是意大利水手亚美利哥·韦斯普奇（Amerigo Vespucci），他曾在 1499～1504 年多次航行前往美洲。而在 1502～1504 年间，欧洲有两篇描述这些航程的文章发表，一般人们相信就出于韦斯普奇之手。这两篇文章提出，哥伦布发现的小岛旁边应该不是东亚，而是一整个大陆，而且不管是《圣经》、过去的地理学者或是当时的欧洲人，在先前都不知道这块大陆的存在。1507 年，地图绘制大师马丁·瓦尔德泽米勒（Martin Waldseemüller）相信了这种说法，出版了新版的世界地图。于是，这片西班牙船队向西航行所碰上的土地，终于首次以一块独立大陆的姿态出现在地图上。既然要画，瓦尔德泽米勒就得给它取个名字，但他误以为发现美洲的人是亚美利哥·韦斯普奇，因此为了向他致敬，这片“大陆就被命名为“America”（美洲）。瓦尔德泽米勒的地图洛阳纸贵，其他许多地图绘制师也跟着有样学样，因此“美洲”这个名词就这样广为流传。说来也算是老天有眼，到头来，全球有 1/4 的陆地、七大洲之中的两洲，名字就是来自一个名不见经传的意大利人，而他唯一做的事就只是有勇气说出“我们不知道”。 ...
在「World Top Incomes Database」 (編按:皮凱提等人製作的數據庫，可供網上查閱)裏，我們盡可能涵蓋新興國家，但中國貧富不均資料欠缺透明度是一大問題，尤其是缺乏可靠的入息稅及財富稅統計資料。現時有關中國財富不均的討論已很多，我相信未來只會有增無減。對財富積聚的變化不能逐個個案管制，我相信中國不久便會發現有需要對房產及財富發展出一套適當的稅制。 — Thomas Piketty1 ...
书评越战，世界上最强大的军队和丛林中的游击队展开了较量。经历了太平洋战争和朝鲜战争的美国航空兵，其多兵种协同作战能力已经非常强大，步兵能直接呼叫己方战机的火力支援，而这一切都是建立在对制空权的掌握基础之上的。 ...
《一个定理的诞生》一书，关于沃沃斯基的部分沃沃斯基没有努力给我讲解自己的工作，而是跟我谈了谈他的梦想。那是一个一直以来让他无比痴迷、不惜全力以赴的研究课题 —-专家系统（langages experts）和自动定理证明。沃沃斯基认为，在不远的将来，计算机软件能够检查卷轶浩繁的数学证明的正确性。他说，其实在法国，人们已经开始利用软件对一些著名的数学结论进行检验了。一开始，我对他的话将信将疑。然而，我面前站着的毕竟不是一个失心疯患者，而是一位顶尖科学家，我应该将他的话当作一个严肃的论断接受下来。我从来没有接触过这类问题，而且基本上没有使用过算法。匹配算法（二分图匹配算法）、单纯形法和拍卖算法在最优输运问题的数值模拟中都扮演着重要角色，而我恰恰是最优输运领域的专家。但是，沃沃斯基跟我谈及的问题却属于一个迥然不同的思维范畴。这里面有如此之多的谜题等待研究，不禁让人兴趣盎然。花朵、语言、四色、融合 ……奇妙的元素构成一首美妙的歌曲。是否已有人谱写过这支歌？现在，不知疲倦的贡捷有了更加雄心勃勃的计划：验证有限单群分类定理，这些定理的证明皆属于 20 世纪最长的证明。 ...