桃子圈

微博(7254)
[1/3] 前两天澳洲悉尼某商场里持刀精神病杀了7个人（后来被路过的下班女警察击毙）的事情，网上有个评论基本上说出了我的心声。一把破刀，又不是机关枪，竟然能让他连续捅死7个，最后还是因为被 “降维” 打击才停止的。我觉得从保安、路人到警察全都把脸丢尽了。
转发 0
评论 8
赞 9
[1/3] 最近花钱太多（Rollei 35 S 下单了），最大头的是那台扫描仪。我接下来要换个活法，写代码、拍照片（胶片已经多的用不完了），顺便享受一下攒钱的乐趣。
转发 0
评论 9
赞 24
[1/3] 原来 ANU 教职工转正之前必须完成一系列在线培训课程，其中甚至包括澳洲原住民的概况和历史（号称有 5 万年），每个在线课程后面都有考试（那些可怕的填空题……）。原来大学真的规定了教工既不能跟（本校）学生发生性关系也不能跟同事发生性关系。对我来说，再去掉不认识的路人，那就剩下我自己 ...全文
转发 2
评论 17
赞 45
[3/3] 我十几年来腰间系的是同一款腰包—— Ferrino 的 IBIS（一个不太知名的意大利品牌）。东西不贵，但是越来越难买，而且找不到合适的替代品（比如 Osprey 的腰包带子太细，不舒服）。这款腰包多年前还有个装手机的小口袋在身体另一侧，但是自从手机变得越来越大了以后就给取消了。我每次等它坏了以 ...全文
转发 0
评论 7
赞 15
[2/3] 我近年来买过的两台 135 傻瓜相机拍出来的照片都是在浪费胶卷——画质差到根本不值得在电脑里保存扫描版。但是把 35mm 胶卷借助转接头装在 6x6 的中画幅胶卷后背里然后用大画幅相机来拍又太麻烦——我有那个功夫还不如直接拍 120 或 4x5 呢。为了消耗手头的 35mm 胶卷，接下来只能寄希望于 Rolle ...全文
转发 0
评论 14
赞 10
[1/3] 目前 HOL4 的定理库里缺少勒贝格积分和广义黎曼积分之间等价性的形式化证明，导致那些用初等数学函数构造的随机变量的数学期望无法用微积分基本定理和导数公式直接计算出来。我知道证明就在这本《A Modern Theory of Integration》里，我准备把它形式化出来，将来定理证明器没准儿可以变成一个初 ...全文
转发 1
评论 22
赞 53
[1/3] 终于买了 EPSON V850 Pro 扫描仪——不贵，跟哈苏 Flexitight X5 和 100 多公斤重的海德堡 Primescan 鼓式扫描仪相比这就是个玩具。然后把来澳洲以后拍的胶片挑好的重新扫了几张，效果还不错。最近弄了个不到 50 澳元的小破相机，平时揣大衣兜里，随手拍。不为别的，主要是为了尽快把我的卷片器 ...全文
转发 0
评论 15
赞 50
[2/3] 最近的 XZ/liblzma 库里面那个处心积虑引入的漏洞和干这件事的那个叫 Jia Tan 的中国人——指不定是受谁指派的——简直丢尽了中国人的脸。这以后让国际上的开源项目开发者还怎么信任来自中国的那些积极参与者？就算活儿干的再好，也许这一切都是为了获取信任后在未来的某天突然开始干坏事…… ...全文
转发 27
评论 51
赞 153
[1/3] 一款好的钢笔水必须具备一定的防水和耐水性能，不然珍贵笔记一沾水就全糊了。最理想的情况是一旦书写就再也擦不掉了（这对重要文件上的签字尤为重要）。另外还要考虑黄色记号笔，也不能涂一下字就糊了或者记号笔的笔尖变黑了。我虽然多年来一直使用钢笔，但其实过于关注墨水的颜色而忽略了其防水 ...全文
转发 4
评论 32
赞 37
[2/3] 今天上完课以后什么活儿也不想干了。再说复活节马上到了，本周五和下周一放假，周五跟导师的例会都取消了。又看到 “巴尔的摩大桥被撞塌” 的新闻，我决定把凡尔纳的《从地球到月球》重看一遍。就在办公室里看。
转发 1
评论 1
赞 34