田春冰河
2025年03月24日 05:09 来自 微博网页版
请帮忙将这个网站分享出去，这个网站可以免账户查看微博，让更多人看到我的微博，还没有任何广告，特别是长期免费无偿的保存微博。
1512
240
1646
田春冰河
2025年03月21日 09:25 来自 微博网页版
[1/3] 今天难得清闲一天，早上导师有事没跟我开会（毕竟刚投完论文），下午的学生很争气，项目做得差不多了基本上就差写报告了。我接下来一边跟我的越南学生一起搞形式化概率论（她想申请（别处）读博，正期待项目做完能跟我和我导师合发论文呢），一边思考下一篇关于 λ-演算的论文该怎么写——这一年 ... 展开
0
0
33
1
10
田春冰河
2025年03月20日 13:39 来自 微博网页版
[4/3] 我的形式化代码里最长的那个文件（9999 行）在我的 MBP 2019 上（2,4 GHz Intel Core i9 8 core）编译时长约 100s。昨天因为跟导师一起改论文亲眼目睹了同一个文件在导师那台 M1 MacBook 上运行，只需 45s！M1 尚且如此，M4 岂不是还要快…… 看来 Apple Silicon 在性能上还是有两把刷子的，我服 ... 展开
0
0
29
2
22
田春冰河
2025年03月20日 11:40 来自 微博网页版
[3/3] 论文写完了也改完了（然后上传了，但是会议截稿时间又延长了5天），好不容易把页数缩减到规定的 16 页（不含参考文献），主要使用的技术就是改用等价但是更短的英语句子。导师帮我改了一个语法错误的英语虚拟式过去时用法（one were to），特别尴尬，因为我本来是会的，但是写的时候一不小心就手 ... 展开
0
0
35
0
13
田春冰河
2025年03月20日 09:25 来自 iPhone客户端
[2/3] 今天早上（鸭子刚死）我收到李维斯的邮件说接下来四天全场75折。这个折扣太大了，因为对我来说这就等于一条 420 澳元的新牛仔裤能省 105 澳元。我联想到今天的 “血光之灾” 以为指的就是这个，但还是在最后关头忍住了，决定就穿那两条补过裤裆的。后来中午去取之前送去修补的羊绒大衣，心想要不 ... 展开
0
0
24
0
15
田春冰河
2025年03月20日 07:07 来自 微博网页版
[1/3] 今早走路去公交车站上班的路上，亲眼目睹身边有三只鸭子要过马路，刚走上马路就被过往的车给轧死一只，那车根本没减速（事发突然，司机应该是没看到）。我本来应该去帮忙维持下交通，但我看到鸭子的时候已经太晚了，如果我突然快速往它们的方向走只能把它们更快地驱赶到马路上。那鸭子当场毙命， ... 展开
0
0
31
0
22
田春冰河
2025年03月19日 13:21 来自 微博网页版
[2/3] 亚马逊澳洲站上的 Pilot V Boardmaster 替换墨水囊，12 支不同颜色的卖 30 澳元，本身不算贵，但是商家收取 23 澳元的运费（是从国外寄过来的）。我的用量其实挺大的，为了降低成本就一次性买了两套 24 支，到货打开以后还挺壮观的。我们学校采购办公用品的人跟其他绝大多数学校一样，品味太差， ... 展开
0
0
12
1
1
田春冰河
2025年03月19日 11:40 来自 微博网页版
[1/3] 距离正文投稿截止时间还有 32 个小时，论文已经基本上写完了，页数有点儿超了，导师正在改，我反而轻松下来了，下午决定在办公室地上好好休息一下（有地毯）。明天最后再跟导师碰个头就可以上传了。接下来要帮我的学生一起搞中央极限定理，争取三个月后再写一篇论文。
0
0
50
1
12
田春冰河
2025年03月17日 16:56 来自 iPad Pro
[3/3] 七年时间（2017 年初至今），我给 HOL4 提交了 250 个 PR，跟历史贡献者的第五名还差 4 次提交（但是他经常作弊，一个 PR 里十几次提交；我基本只有一次）。
0
0
68
0
9
田春冰河
2025年03月17日 13:47 来自 微博网页版
[2/3] Switch2 马上就要发布了，我现在想不清楚（如果买的话）以后那台 Switch1 怎么办，因为显然所有游戏和账号都可以迁移到更强的新主机里。有没有可能那些支持局域网的游戏允许两代主机一起玩同一个游戏？
0
0
15
0
13
田春冰河
2025年03月17日 10:09 来自 微博网页版
[1/3] 在 eBay 上花 50 澳元给我的唐装配了个胸针，且不说它的金属部分是不是贵金属，那些石头（绿的是绿松石）肯定都是真的。我称了一下足足 25g，放在手上沉甸甸的。我每天的生活太单调了，基本上只有工作（写不完的证明），完全没心情出去走走顺便拍两张，也没时间玩滑板（倒是偶尔可以把笛子拿出来 ... 展开
0
0
40
2
19
