Life of a Programmer
`Simplicity is prerequisite for reliability.’ - EWD
小朋友做了个小手术。一早出去，傍晚才回家，饿了一天。进门后，既不打招呼也不接话茬。一声不吭地脱掉袜子、去了趟洗手间，然后爬上床睡觉了。 昨天医
无意中，看到生成出来的 pdf 文件的属性中有这么一段： Optimized: No 这好奇心和强迫症一下就升腾上来了。我呕心沥血写的 Xelatex 文本，仔仔细细地修复了 Underfull 和 Overfull 报警，为啥
流水帐 🔗七月七，去川西。 7/7 上海 - 成都 - 康定 🔗飞机降落在天府国际机场。租了一辆苏A 牌照的 Rav4, 车况据说比较新，至少方向盘非常干净。阴有雨，穿过一条
之前部门淀山湖团建，夫人被照片里的皮划艇种草。一番搜索后，找到了苏州石湖景区。除了景观像西湖之外，价格也是一样免费，且游客非常少。开车很方便
很久之前买了一本《How Not to Be Wrong》， 最近开始断断续续读完了前两部分，总共十章，主要讨论线性和推理。这里记录一些相关的思考。 Reductio ad Unlikely 🔗书