游牧周记第100期
标签Tags
社保，马驹桥
100期了，往期回顾
第一期 2024年12月7日，当日提到了网易的小蜜蜂，不知道这个平台还在吗？还有Bryan Johnson。
第二期就提到了对NativeWind的失望，已经2年了啊；从那时候起，我的开发打包工具基本就定型为pnpm，主要为了节省mac磁盘空间；还介绍了一个柬埔寨独立程序员小哥的Daily Web Coding，好久没访问了，今天去频道看了一眼，发现还在讲coding，居住条件没啥变化，基本没有AI和Vibe Coding相关主题，我想柬埔寨使用Claude可能比国内方便吧。
第三期在介绍我的Expo视频教程，B站的几个教程让我差不多有5000元收入，后来就没有新内容了，是不是AI的影响导致没人想学写代码了，所以我也放弃教了呢？也许是吧。
后面几期在我2025年出发去成都前，包括买了个新的75寸TCL电视等，加入了好多和AI聊天的文字记录。
然后就是春节前的年度自驾游准备，去成都之前途经作为532131身份证人第一次进入的昭通昭阳区和巧家市。
作品
Picvia照片快转App上架Appstore
苹果审批过了，可以在suhe.space 查看下载。 主要功能是快速把手机中的照片，批量或单张，转换尺寸和格式（比如压缩jpeg/webp等）然后共享，如果目标是另一台苹果设备如mac、ipad体验就会很丝滑，airdrop或者直接剪贴板。 这是基于我个人的需求做的，写笔记时希望能直接从手机照片粘贴过来，又要控制大小。 整体偏apple生态应用，目前只有iOS版本。
AI和技术
一个当前网络信息站
https://ip.skk.moe/ 查看你当前网络的 IP 地址、位置信息 和 网络连通性。
一个号称教你AI Agent开发的频道
Agent开发教程 有点湖南普通话的博主，号称只有干货的一节课：# 2026十二月最新AI Agent智能體搭建全套教程，大改一个半小时，基于2026年12月的技术。 Bilibili更加全一点，是主体。 我听了一会，似乎都在做比喻和讲故事，但还是挺生动的。 跳到半小时后，还在讲概念和比喻...
Deepseek充了点
似乎很长时间没有用它们的模型了。 最近网上口碑有好转，再加上Kimi翻车，我就想拿他做个日常App调用的备案。 好在发现它也是可以充值的，很适合做app的一些总结对话翻译等非复杂工作api。 选择了flash模型，还挺便宜的。 接上后发现速度比之前的Kimi快很多，一查原来我之前忘了关thinking，晕。
郭宇也用上muse了
看来日本也开放了？ 我也有tokyo的服务器，试了一下，没啥用。 有人说，muse就是包装好的龙虾，是吗？
科学领域被AI砸场子了
最新的发展似乎把Lidang也整疯，说他终于理解陶泽轩了。 引用一段新闻：
OpenAI 刚刚宣布，它的 AI 推翻了计算机科学界相信了 25 年的一个核心假设。
而这居然只是今天公布的三项重大科学发现之一。
第一项是数学。
OpenAI 声称，AI 证明了所有维度下的局部平滑猜想，由此解决了 Kakeya 猜想和 Stein 限制猜想。这些都是困扰数学家多年的基础性问题。
第二项更夸张。AI 据称推翻了「指数时间假设」（ETH）。这个假设自 2001 年提出以来，一直是计算复杂性理论的重要基础，数百篇论文依赖它来证明某些计算问题究竟有多难。如果反证成立，很多已有的复杂性结论都需要重新审视。
第三项是物理学。AI 给出了四维量子色动力学（QCD）等量子场论的严格存在性证明，其中还包括杨-米尔斯理论的存在性部分，涉及著名的千禧年数学难题。
OpenAI 这次也找来了相当豪华的验证阵容。 计算机科学方向，直接邀请了 ETH 的原始提出者 Russell Impagliazzo 和 Ramamohan Paturi 等人；物理学方向，则由诺贝尔物理学奖得主 David Gross 牵头。
前两项成果已经公开 AI 生成的证明及 Lean 形式化代码，物理学成果暂缓公开。外部学术界的独立核查仍在进行，这一点非常重要。 我觉得这件事的意义可能比 OpenAI 再发布一个更强的模型大得多。
我们已经习惯了 AI 在考试、编程和各种 Benchmark 上超越人类，但现在，它开始拿出一些需要全世界最顶尖的科学家花时间去理解、验证的研究成果。
如果这三项发现最终都经得起检验，那么 AI for Science 的发展可能比很多人想象得还要快。
Gpt过度防御问题
新一点的模型都有这个问题，一点小任务测试啥的整半天，对我来说主要不是心痛时间，而是token。
X上有些帖子建议改AGENTS.md来减少这个程度，大概就是写这些文字：
还是观察一下，看之后会有改善或更好的方法吗？
后来还是没有用，我只是在plan计划中看看测 试检验部分，太过度的提示简化。
GPT插件
之前最火的skills，现在应该还是有作用，但多数顶流AI模型都说要减少使用，否则只会浪费tokens？
我反正很少用任何skill，大不了让AI工作前阅读指定的官方文档，然后自己生成plan。
至于插件，我感觉最大的作用是把常用的主流的平台接入，实现自动Auth对接，不必自己来处理登录等过程。
目前接入的插件Supabase, Figma, Github, Cloudflare。
具体如何能用好，我还要观察。
关注
峰哥亡命天涯
这么久了才发现B站官号 从来没关注过。 这片应该是大幅删过的“峰哥在马驹桥体验做日结的一天”。 年轻人都应该看看，宏大叙事之余。
青橙Lab
Bilibili 终于开始想学一下AI短视频的制作了，先随便找了个较为落地，且废话少点的频道。 感觉以MiniMax为主。 啥玩意还是在实操过程中才学的快，这个又没啥门槛，那个邋遢的小张都做得挺好。
数字游牧Nomad（就是我自己）
来成都住了一个多月，基本每周把流水账视频整理一个vlog，倒也轻松，主要给自己回忆记录用。 Bilibili。 我的以开发教程为主题的另一个频道因为AI的原因更新更少了，但还活着：代码和远方。
视频
你能看到一切
Blibili来路不正的版本，谨慎观看。 居然该剪镜头的都没剪掉，2个多小时。 看了40分钟，有点精神污染了，休息一下，之后再说。 别说，采访人真厉害。
日常
防老鼠
成都 市区老破小，多年来老鼠出入自由。 目前的方法还是只有“堵”。 前几天改了油烟机通风管，一周过去了，老鼠发现了新的路子，并召开了庆功会。 只好买来粘鼠板，研究其可能的路径，再制定策略。 老鼠真的来了，毫不惧怕我堵塞缝隙用的钢丝刷，居然拖出了50cm远，但是不知为啥最后放弃了进入。 我这次塞紧一点。
廉价自助食堂是趋势
便宜又（稍微）健康。
成都图书馆旁边，面馆啥的也多，但是我最终来这家，生意不错，关键是看起来干净。
