Mon Apr 14 19:20:03 +0800 2025 发表于iPad Pro

[1/3] 话说《死或生：沙滩排球3》的续作《维纳斯假期》只在 PS4/PS5 和 PC（Steam）上发行，但因为这种游戏不在亚洲之外发行我是想玩也玩不了。但总是不甘心，心想着就算我玩不成，从 eBay 上买张游戏光盘囤着，写代码写累了抚摸一下封面也是好的。虽然我确实上亚马逊看了看 PS5 的价格但觉得这玩意太 ...全文

Tue Apr 08 07:58:34 +0800 2025 发表于微博网页版

[1/3] 当年买任天堂 switch 主要是为了玩独占游戏《旷野之息》，我也确实玩得很开心（除了盖侬不敢打以外其他的包括人马都给打了），后来又在 switch 上完整地通关了两代《八方旅人》和《巫师3》。现在 switch2 唯一吸引我的地方只有《赛博朋克 2077》的实体卡，因为这个游戏我上次在 PC 没玩出好结局 ...全文

Wed Apr 02 19:29:39 +0800 2025 发表于iPhone客户端

[2/3] 有这么多单身著名科学家垫底我就放心了 //分享网易新闻:《世界历史上著名的单身狗名人》 世界历史上著名的单身狗名人 @网易新闻客户端 #网易新闻#

Tue Apr 01 15:55:56 +0800 2025 发表于微博网页版

[1/3] 刚刚传来噩耗，我们学校那位去年指导本科生写出带有 “层的上同调”（Sheaf cohomology）的毕业论文的那位华人（女）副教授，突发疾病，挂了。可能没比我大几岁，名下 120 多篇论文。人家这才叫玩命，相比之下我就是在玩罢了。

Fri Mar 28 09:57:31 +0800 2025 发表于微博网页版

[1/3] M4 Mac mini 到位了。插上苹果外置键盘（当初买的时候可能就是为了今天），随便找个鼠标，然后通过 HDMI 视频采集卡把视频输出到旁边的 ThinkPad P70 上（运行开源的 OBS 软件），视频有些延迟，操作起来不舒服但什么也不缺了。10G 以太网口通过绿联的 CAT8 网线接 SFP+ 转 RJ45 的模块（发热量 ...全文

Thu Mar 27 14:39:55 +0800 2025 发表于iPhone客户端

[2/3] 明天开始我就可以用大画幅相机拍撕拉片了。Lomography 出的世界首款专用于 4x5 大画幅相机的拍立得相纸后背（使用富士 Instax Wide 相纸）。我试了一下，来回装卸这个后背还挺费时的，但最起码当场能看到照片了。因为它需要4节5号电池，所以今天拍不了。

Thu Mar 27 14:32:57 +0800 2025 发表于微博网页版

[1/3] 原来 Coq 定理证明器偷偷改名成 Rocq 了，就因为原来的名字在英语里是 “小鸡鸡” 的意思。我导师前两天在我俩的论文末尾 “相关工作” 里面提 Rocq 我都没反应过来是什么，又不好意思问。太无聊了。