Life of a Programmer
`Simplicity is prerequisite for reliability.’ - EWD
一喜一悲 🔗周五晚上飞机，周末开始休假。 一喜 🔗喜者，休假前在 Seastar 上跑通了 RDMA 网络。改动看起来还算顺眼，当然，也还需打磨。 12 files changed, 350 insertions(+), 20 deletions(-) 一悲 🔗晚上收
在Seastar的海洋里扑腾，喘口气。 增加了一个 HTTP handler, 用 curl 测试了一下能工作。所用的 Seastar 版本只有 http_server, 没有 http_client，不得不照猫画虎写了个
最近下雨，没有跑步。今早起床一看，运动状态居然从 Productive 变成了 Peaking. 根据以往经验，保持运动后休息几天会变成 Maintaining. 看了一下状态描述： 过去几天的休息使您的体力
HN 上看见一则陶哲轩的帖子：There’s more to mathematics than rigour and proofs (2007) 文章开头引用的是 Douglas Adams 在《银河系漫游指南》中的句子： The history of every major galactic civilization tends to pass through
截至 6/16, 本月跑量已达 80.4km, 看起来每个月 100km 的小目标近在咫尺。 最近白天有点热，基本都是晚上跑步，导致睡眠不太好。跑完之后虽然两腿疲惫， 但是脑子很兴奋，