国内分钟级降水预报做得比较好的是彩云天气，但是 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」 (編按:皮凱提等人製作的數據庫，可供網上查閱)裏，我們盡可能涵蓋新興國家，但中國貧富不均資料欠缺透明度是一大問題，尤其是缺乏可靠的入息稅及財富稅統計資料。現時有關中國財富不均的討論已很多，我相信未來只會有增無減。對財富積聚的變化不能逐個個案管制，我相信中國不久便會發現有需要對房產及財富發展出一套適當的稅制。 ...

书评 越战，世界上最强大的军队和丛林中的游击队展开了较量。 经历了太平洋战争和朝鲜战争的美国航空兵，其多兵种协同作战能力已经非常强大，步兵能直接呼叫己方战机的火力支援，而这一切都是建立在对制空权的掌握基础之上的。 ...

《一个定理的诞生》一书，关于沃沃斯基的部分 沃沃斯基没有努力给我讲解自己的工作，而是跟我谈了谈他的梦想。那是一个一直以来让他无比痴迷、不惜全力以赴的研究课题 —-专家系统（langages experts）和自动定理证明。 ...

以下是我对 《从莎草纸到互联网:社交媒体 2000 年》 一书的部分摘录，主要是 16-17 世纪英美两国的图书审查制度。在如下摘录中我觉得这句总结是很到位的： 今天，我们只要点几下鼠标就能在网上发表东西，或阅读各种各样互相冲突、未经过滤的意见，对此我们习以为常，认为是天经地义。这个自由植根于近 400 年前社交媒体在英国蓬勃发展的那个成果丰硕的 10 年。 ...