标签 Tags​

P=NP

AI​

Gemini盛赞Codex​

其实是Argon盛赞Astra/Sol。 我发现这个模型很喜欢夸人，相比直线OpenAI的模型要冷静点。 大一点的项目，特别是关键设计阶段，我喜欢用2个模型来回检查和评估。 这次是经过了好几轮，轮到Argon写spec，sol 6.1实现代码，然后交回Argon检查评估。

情绪价值给满。

Gemini的夸张讨好型人格​

我发现和GPT的模型比，gemini flash 3.8(Argon额度很快完了，所以这个用得多)非常喜欢讨好用户，上述的赞扬Codex即是真情流露也可能有个性使然。 还有就是喜欢用情绪价值给足的语言，有点夸张，但还算受用。

Antigravity​

我订阅了Gemini后，发现可以在Gemini app（desktop）打开Antigravity，但似乎不是之前安装的那个了，之前的也可以单独启动，但总是无法登录（又是所在地区问题）。奇怪也不奇怪。 另外Gemini flash好慢啊，遭遇降速？ 但不得不说，flash 3.8的智商似乎远高于6.1terra（有时候气死人），体感接近sol，主要的问题在于：没有compute use，编码时坑次坑次干活，最后才吐出报告，不像GPT边干边解释自己在做啥。 flash 3.8的额度真像是用不完一样。

Grok可以用支付宝订阅了​

果然是马斯克。 可以用Grok Bot的那个不是最便宜的8美元/月版本，是15美元版（一个月后30美元）。 选择区域中国即可。

GPT指挥Antigravity​

gemini的额度真的管饱，GPT也毫不客气，一来就开5个subagent开干。

视频和关注​

P=NP​

Youtube 【漫士】这可能是人类提出最深刻的数学/计算机问题 他的视频确实又细又深又认真，属于非常难得的给真正想搞清楚的人看的视频，但我也在前1/4部分睡着了。

HyperFrames 和 Remotion​

两个做（科普？）动画的。 AI 做视频插件该选哪一个？HyperFrames 和 Remotion 之间到底有什么区别 似乎原理都是先做出网页动画，定格拍摄，然后FFMPEG输出视频。 省流：图快，想出个动态网页类型效果，用HyperFrames；强调数据准确和文档，用Remotion。

逆齡實驗室​

Youtube 抛开内容不说，他的AI图片做得挺好看的，审美在线，如同其他AI图片视频一样，信息量巨大。 一口马来西亚普通话，也不知是否真人的声音，更像是AI。 每集都挺啰嗦，重复内容多，有些评论说，不如直接看AI的稿子，再提炼一下更好。没法子，Youtube的激励机制里面时长还是重中之重。

看十分钟就睡着的数学频道​

漫士沉思录 Meditation Math 但做得太精美了，爱不释手，但内容太艰深（对普通人麻瓜），非常细节，很催眠。

开发和部署​

Testflight总是忘了接受邀请​

appstore今年也上了点新App，但每次都网点要测试的话需要接受邀请。 进入测试人员邮箱，看邀请函和邀请码，然后在Testflight app中，点右上方打开profile，点邀请码那儿，输入，然后ok。

关于Supabase的Edge Functions​

最近开发一个综合性项目，为了“防作弊和滥用”，AI建议我在使用Supabase数据库时，启用edge funcitons的功能，我请Gemini解释了一下这是啥玩意。

问：简单说明一下supabase的edge function功能，对于expo app或web网站开发有何作用？如果以后不用这个功能，方便迁移到其他服务器吗？

回答如下：

一、 什么是 Supabase Edge Functions？​

Edge Functions（边缘函数） 是运行在全球分布式边缘节点（靠近用户物理位置）的服务器端 TypeScript/JavaScript 代码片。它们底层基于 Deno 运行时构建，具备开箱即用的 TypeScript 支持和极快的冷启动速度。

简单来说，它就像是一次性的微型后端 API，不需要你专门去买云服务器、配 Nginx 和维护 Node.js 环境，写完代码直接部署即可。

二、 对于 Expo App 或 Web 网站开发有何作用？​

在独立开发或全栈开发中，Edge Functions 主要充当“胶水代码”和“安全网”，常见作用包括：

1. 安全地对接第三方支付或 API（如 Stripe、OpenAI 等）
   • 场景：你的 Expo App 或 Web 需要调用大模型（如 Claude/OpenAI）或处理内购/Stripe 支付。
   • 作用：你绝对不能把私密 API Key（Secret Key）硬编码或明文写在前端 App（Expo）里，否则会被反编译或抓包盗用。通过 Edge Function 作为中转，前端把请求发给 Edge Function，由它带上密钥去请求第三方，再把结果返回给前端。
2. 处理复杂的业务逻辑与数据校验
   • 比如在用户提交某些多表关联的高危操作前，在服务端进行统一的业务验证、过滤敏感信息，或者直接调用数据库 RPC。
3. 第三方 Webhook 接收器
   • 监听来自 Stripe、支付网关、甚至代码仓库的 Webhook 回调，并在后台安全地更新数据库状态。
4. 提升全球访问的响应速度
   • 由于边缘函数部署在离用户最近的节点上，对于 Web 端或者跨国发行的 App 来说，可以减少网络传输延迟。

三、 以后如果不用这个功能，方便迁移到其他服务器吗？​

非常方便，几乎没有技术壁垒。

Supabase Edge Functions 的底层是 Deno，而 Deno 是一个开源、标准且不绑定于任何商业厂商的技术栈。如果你以后决定把后端迁移到自建服务器（如 Docker、Vercel、AWS、Cloudflare Workers 等），迁移成本非常低：

1. 代码本身天然通用：
   • Supabase Edge Functions 的语法本质上就是标准的 Deno/TypeScript 代码（使用 Deno.serve 接收 HTTP 请求）。
2. 迁移到其他平台非常顺畅：
   • Cloudflare Workers：同样支持标准的 JavaScript/TypeScript，逻辑几乎可以无缝平移（只需微调一下入口适配器）。
   • 普通 Node.js / Express / Fastify 服务器：只需把 Deno.serve 改写成 Express 的 app.post() 路由，几分钟就能搞定。
   • Docker 容器：你可以用 Deno 官方提供的 Docker 镜像直接打包运行这些函数，丢到任何 VPS（如搬瓦工、AWS EC2）上。
3. 前端代码修改极小：
   • 在 Expo 或 Web 端，调用 Edge Function 通常使用的是 supabase.functions.invoke('function-name')。
   • 迁移时，你只需要在前端把这一行代码换成标准的 fetch('[https://your-new-server.com/api/function-name](https://your-new-server.com/api/function-name)') 即可。

总结：由于它基于开源的 Deno 标准，且职责单一（仅处理无状态的 HTTP 请求），它不属于那种深度绑定、拔不出来的私有黑盒功能，你可以放心使用。

日常​

网咖​

最近看了很多关于近年网吧行业复兴的视频。 但大多数都不叫网吧了，学名是“网咖”，更安全的叫做“电竞空间”。 我可能是成都唯一一个在网吧玩“暗黑破坏神4”的人，至少这段时间没见到第二个，而且我不是国服，有些老板都没听说过。

油价​

经过中石油加油站，原来想着9.31的95号价格是否可以送点了，结果以为自己眼花，现在是9.59，历史新高吧。 吓得我赶快把车开来加了300再说，因为我计划出发那天可能发改委还要调价，向上的机会不能说小，虽然伊朗在谈，川普可能要下台... 然后在旁边一个洗车场洗个车30元，顺便轮胎加气免得老是报警。

Coding​

最近发现网络有很大问题，到图书馆限制更大。 新启动的项目非常耗时，就在家指挥Agents了。

标签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远，但是不知为啥最后放弃了进入。 我这次塞紧一点。

廉价自助食堂是趋势​

便宜又（稍微）健康。 成都图书馆旁边，面馆啥的也多，但是我最终来这家，生意不错，关键是看起来干净。

标签 Tags​

starlink, 飞行汽车, 金明, PHP

开发​

我的下一个应用Picvia启动​

用ChatGPT聊完后，形成spec文档，用Codex一次性完成第一版功能开发。 Astro medium模型。 都抱怨OpenAI的UI审美，我虽然不追求第一版很好看（主要图一个简洁，以便之后自己指挥AI调整），但确实也过于“简陋”了点，体验流程的逻辑上也似乎有点缺乏人性思维。 不知道现在Opus 5.5会好到什么惊艳的程度，我们也只能看X的帖子兴叹了。 这个应用是关于照片/图片的简单实用应用，是我自己真想要，而ios不提供的功能，暂时其他app也没有完全符合我要求的，所以进入开发了。 这次vibe coding过程，我没有太多指定框架、库和我的一些styling等规范，而是让AI从专注基本功能实现开始，以最简洁的UI来完成操作流程逻辑。 之后，再进入figma，用仅存的免费AI额度，设计了基本界面布局（不得不说，figma的AI很厉害），然后Codex自动引入Figma的插件（MCP？），我让它参考而不是照抄。 这次流程上我还有一个设定，先聚焦ios版本的实现，甚至一度想完全用swift做原生，后来确认用expo最新sdk（58）结合swift完成，swift处理一些性能要求和原生调用最新功能的地方（还找不到expo库时）。 结果很顺利。 最初的plan和实现，用了Astra，基本功能比较稳了以后，新启动多个对话，分别执行各个任务，这时候采用Sol 6.1 这个近期评价不高的模型，节省token量太明显。 后来买了Gemini pro，又用opus5.5检查了一遍，找出一堆性能问题和bug，不到一半额度完了，然后Argon继续，最后让Astra修... 到周五提交给Appstore审核了。

AI​

买了Gemini pro​

据说Google的AI，特别是新模型Argon，近期发展不错，写代码能力接近Opus了，反而我之前订的GPT，新模型写代码似乎有点拉胯。 今天试了一下以前的一个泰国gmail账号，可以用招行信用卡买Gemini服务，于是订阅了750泰铢/月的会员，由于不是新用户，没法享受那个大幅优惠了。 我下载了Gemini app, 发现可以直接切Antigravity，问了Gemini一些问题，如：

问：我买了gemini pro订阅，现在mac上安装了gemini app, 似乎也可以切换antigravity写代码，那之前单独安装的antigravity是否还需要？是同一个应用吗？另外，聊天流量和agent的流量是一起的吗？还是分开算的?

回答如下：

1. 独立安装的 Antigravity 是否还需要？是同一个应用吗？​

它们不是同一个应用，底层共享服务但定位和形态不同：

• Gemini App 内的 Antigravity 模式：本质上是一个“轻量级嵌入入口”。它侧重于轻量原型生成、即开即用的脚本编写和快速实验，省去了配置环境的麻烦，适合不用打开重型编辑器就能快速完成的编程或自动化任务。

• 独立的 Antigravity 应用（Antigravity IDE / App）：是一个完整的全功能开发环境（基于现代编辑器核心深度定制的 Agent-First IDE）。它支持深度本地代码库交互、完整的终端/CLI 配合、多文件上下文审查、测试套件反馈循环以及自定义 MCP（Model Context Protocol）扩展。

保留建议：

• 需要保留独立版：如果你平时有正式的工程项目、需要长期维护代码仓库、依赖本地调试与测试循环，或者需要配合终端 CLI 工作。
• 可以卸载独立版：如果你写代码只是临时让它生成小脚本、做一些简单的数据清洗或快速 Demo，在 Gemini Mac 客户端内切换模式就完全够用。

2. 聊天流量和 Agent 流量是一起算还是分开算？​

二者是共享底层算力池（统一配额）的，但消耗速度相差很大：

• 配额池是共享的：订阅 Gemini Pro 后，账号享有统一的计算额度（通常按 5 小时滚动周期与每周上限综合管理）。你在 Gemini 常规聊天中发送的对话，与在 Antigravity 中运行 Agent，扣除的都是同一个订阅账户下的配额池。
• Agent 消耗额度的速度远快于普通聊天：
  • 普通聊天：通常是单轮或多轮的简单 “Prompt → 回复”，只产生一次性的输入和输出 Token。
  • Antigravity Agent：采用自主执行循环（Agentic Loop）。即使你只下达了一句话指令，Agent 后台可能需要经历“拆解计划 → 读取/分析项目文件 → 编写代码 → 在沙盒运行测试 → 报错回滚并重写”等多个步骤。每一次工具调用与多文件上下文回传都会消耗大量 Token，因此一次复杂任务的额度消耗可能是普通闲聊的数倍甚至几十倍。

如果短时间内让 Agent 处理大规模项目或连续跑深层调试，配额可能会较快见底，进而影响普通对话的响应频率；建议把大型任务的目标和验收标准提前拆细，以减少 Agent 无效迭代带来的额度消耗。

问：claude code编程时，一般用opus 5.5做规划和复杂编程，sonnet 5.5做日常开发或根据规划任务来开发。gemini现在的模型如何对标选择？ 用现在pro版的具体支持模型来说明，直接简单一点，给出较好的策略。

回答： 在当前的 Pro 订阅环境（以及 Antigravity 模型下拉列表）中，不用纠结复杂参数，直接按以下模型做精准分工：

1. 模型具体对应与选择​

• 架构规划 & 难点攻坚（对标 Opus 5.5）：选 Gemini 4 Argon（或 Gemini Pro Thinking 高算力模式）
  • 角色：主力规划大脑。
  • 特点：具备极深的自主推理能力，负责长程任务规划、拆解复杂需求、跨模块重构设计以及棘手 Bug 诊断。
  • 注意：推理时间较长、额度消耗快，适合在项目初始阶段或重大决策时使用。
• 日常落地 & 批量编码（对标 Sonnet 5.5）：选 Gemini 3.8 Flash（中高推理档位）或 Gemini 2.5 Pro
  • 角色：全天候主力搬砖工。
  • 特点：响应极快、代码质量扎实、工具调用极稳。在 Antigravity 中处理单功能开发、写 API、补测试、常规代码修改时，能极大兼顾速度与额度平衡。
• 轻量辅助 & 快速排错（对标 Haiku）：选 Gemini Flash 标准/极速档
  • 角色：即时响应助手。
  • 特点：单文件微调、解释终端报错、生成正则或 Git 提交信息，毫秒级返回且几乎不占额度池。

提示：如果在 Antigravity 接入的模型列表中直接看到了集成的 Claude Sonnet 5.5 / Opus 5.5 (thinking) 选项，说明环境允许跨模型路由；若你想纯用 Google 算力，直接按上述原生模型切换即可。

2. 极简实战策略（2步闭环法）​

1. 第一步（先别急着让它改文件）：
   • 切到 Gemini 4 Argon（或开高思考的 Pro 模型）。
   • 喂入需求与项目背景，指令只要规划：“只输出实现方案、技术选型和可执行的子任务清单（Task List），不要立刻写代码修改项目。”
2. 第二步（按步执行与落地）：
   • 切回 Gemini 3.8 Flash（或标准 Gemini Pro），开启 Agent。
   • 每次喂给它 1~2 个规划好的子任务让它落盘编码、跑单元测试与验证。 这样既能发挥顶层模型的全局推理优势，又能避免 Agent 多轮空转过度消耗 Pro 订阅的全局配额。

最后补充一点：买了Pro以后，antigravity的模型可以选择Opus 和 Sonnet 最新版，具体的量我还没试。 简单让Gemini聊天做了张icon图片，效果还行，但感觉和它对话很累，不像不理解人，而是不想理解人。

Magpie​

之前我用过CC Switch用于配置跨Agents和models的关联。 现在X上Magpie被推得很猛。 于是下来看看，感觉功能应该差不多，只是成熟度和完成度很高。 计划是不是可以把Claude Code又用起来了。

再看中转站​

按立党说法，中转站这种生意是见不得光的，我想他说的主要是国人搞的这批（包括孙割的），不包含OpenRouter这种大平台吧。 Magpie预设了很多中转站供应商，也包含一些所谓性价比较高的前者。 我请Gemini分析推荐一下口碑和性价比，排除掉可能没法订阅的国际大平台，出现了一个AiHubMix感觉可能靠谱，先注册了一下，关注备用。

日常​

仍然在成都，估计还要待不到一个月。 每天都阴沉沉的，还有雨。 心情郁闷，有空就去网吧打一下暗黑。

标签 Tags​

特斯拉飞车, 乌克兰

关注​

助眠podcast节目​

在reddit搜快速入眠技巧时发现很多老外推荐的这个节目：Nothing much happens，是个睡前故事形式的助眠音频节目，我试了一下感觉似乎真有效，还要看长期效果。 《Nothing Much Happens》由 Kathryn Nicolai 创作、朗读，内容以温暖、平凡的生活场景为主。它有一个明确设计：同一个故事讲两遍，第二遍更慢。 官网也明确说，目的是把注意力从白天反复纠缠的念头，带到一个安静、舒服的地方。 我问了ChatGPT一些相关问题，答案如下：

• 它可能确实帮助一部分人入睡，但“助眠奇效”尚未得到充分验证。更合理的解释是：平静的故事给注意力一个落点，减少睡前反刍，再加上舒缓声音和熟悉感，让入睡更容易发生。
• 关于听不懂英文内容，是否有影响： **可能损失故事内容带来的那部分作用，但声音带来的舒适感仍可能保留。**我没有找到足够直接的研究，能比较同一节目“听得懂”和“听不懂”的助眠差异，所以不能量化。

可以分成三种情况理解：

**如果你的目标是体验它的“故事助眠”，优先选能毫不费力听懂的语言。**如果你只喜欢她的声音，听不懂也可以尝试；不必开字幕、查单词或努力跟上。

• 想推荐一些类似的中文节目，虽然助眠类的多，但似乎还没有很相似的。要么就是目的性很强的音效节目，要么就是普通的讲故事。

我中午又试着躺在床上听了半小时，没有效果...

日常​

至少10年来第一次吃串串香​

家附近的这家店生意太好，同学小聚也安排了这里。 我点的都是肉，吃下来感觉没有前几天的川味火锅那么反应大，算是温和的，我说的不是辣度，是肠胃适应度。

青羊区和金牛区图书馆​

有点偏，在三环外了，骑车差不多35分钟到达。 建筑外观像是90年代的。 我只去1楼的两个自习室转了一下，挺干净的，设施和市图书馆差不多，更像个大教室，wifi不用验证和密码。

第二天又去了金牛区图书馆，骑行距离差不多，离家都是4.4公里。 这边和武侯区的一样，比较新，设施好。 不过干活的时候应该差别都不大。

开发​

expo 本机语音转文字​

目前的方案，我发现simulator不行，真机测试ok。 和之前我做的Listen Bot技术栈相似，都是expo-speech-recognition这个库，但那个可以用simulator来测试，奇怪。 android和ios差别还挺大，如果用国产系统更不知道有多少坑了。 不管怎样，我还是给“学易”app的编写问题功能加入了更友好的语音输入界面。

HeroUI好吗？​

我有点想考虑引入一些第三方expo/RN的常用组件库了，问了GPT，它还是最推荐HeroUI。 官网了解了一下，发现它居然基于我之前很不以为然的Uniwind（性能居然被收费限制），就有点想放弃了。 另外似乎也是衍生tailwind的styling思想。 从设计上看，仍然是中规中矩的兼容web和native的简洁模式，没有什么特别和出彩之处。 不知其受欢迎的点在哪里？

Tags标签​

成都，懂车帝

日常​

网吧玩暗黑四国际版​

当年我还在老家帮人家搞过全球第一代网吧呢，之后极少去网吧。 这次来成都进网吧实属不得已，毕竟暗黑4 s15才打了几天就出发了，build都没有成型。 时隔这么多年，完全不熟悉现在网吧的玩法。 小妹服务挺好，情绪价值到位。 耳机戴套，但我不需要耳机。 鼠标和垫子有点怕包浆，人家提供了湿纸巾。 好的位置15一小时，还有7块左右的，对于我要玩的游戏都没问题。 具体配置没看，键盘很漂亮。

有免费UU加速，太好了。 我玩的是海外版暗黑四，这家提供。 （唯一的缺点是每玩1小时左右，会断线，要重启游戏，不过在家玩也是这样，早知道用国区了。） 这家都是外星人设备，屏幕可以，但很小：24寸。 不禁烟，没办法，下次带口罩去。 除我之外几乎所有人都在玩对战FPS游戏，也有妹子很激动的。

创作​

学易App介绍文字和store图片更新​

4.2.0以后就没有怎么细心处理过宣传资料，该做点marketing工作了。 文字进行了修改，包括网站、appstore和Google Play。 图片用某网站收费功能重新设计。 还做了5个多语言文字版，累死了，AI帮了点忙，还是需要很多手工细调。

AI​

关于红果和短剧的研究​

终于安装了红果，但看了几秒钟就受不了了，忍受Low也是一种能力。 但是我确实有想要做短剧的思路，有好多题材可以考虑。 但侄女告诉我必须足够Low，否则就是自娱自乐，可能她有道理。 和ChatGPT交流，现在约一集2000-3000元成本，一般考虑做60集，工具是可灵、seedance等，另外还有版权和人力费用等，没错，其实很费力的，一般不适合一个人干完。

这些应用差别在哪里？​

一支影片看懂 Muse、dots、小龍蝦：差在哪？你該選誰？ 其实我基本都没有用过，后面那个是实在体验不咋样，前面的是人家不让用，根本没有开通。 但本视频挺好的。 总结下来就是大厂的产品像是住酒店，龙虾啥的就像自己装修房子。

开发​

AI的分析让我放弃了App的腾讯平台上架​

已经备案，上传和填写各种个人信息了，腾讯开放平台还是拒绝了我。 如果只是要出个隐私弹窗，那么我分分钟搞定，但还有一堆要求，我请AI分析了一遍。 Codex sol 6.1的结论：

**有上架机会，但不是只补一个隐私弹窗。按你“不削减重要功能、不做腾讯专版”的要求，目前无法通过小改完成整改，建议停止本次上架改造。**这不代表学易永远不能上架，而是还需要资质办理和产品、服务端改动。

检查当前 Android 代码后的判断：

现有 AI 会话签名认证的是应用请求，不能证明使用者的真实身份。

为什么问题 2 不能靠解释“只是调用模型”解决？

网信办明确：通过 API 调用已备案模型的应用或功能，可以由地方网信办开展登记。因此，保留 AI 未必需要自己训练模型或重新办理模型备案。但应用登记、生成合成类算法备案、安全评估是不同事项；不能据此认定供应商的备案就满足腾讯此次要求。网信办公告

腾讯这次明确要求备案证明、安全评估材料和身份校验。应用商店核验深度合成应用的安全评估、备案情况，也有监管依据。《互联网信息服务深度合成管理规定》

此外，完整保留 AI 还需要核查生成内容标识、投诉举报及内容安全措施；现行标识要求已覆盖生成文本。《人工智能生成合成内容标识办法》

另一个实际问题是：当前 Android 订阅和卦金购买依赖 Google Play。没有可用 Play 商店和服务的设备，不能指望现有购买链路正常工作。若要求应用宝用户获得完整功能，还需要解决支付适配；这不是腾讯本次已指出的退审项。Google Play Billing 文档

所以，**保留全部功能在技术上可以做，但需要跨客户端、服务端、支付与资质的工作，不能当作一次弹窗修复，也无法保证审核通过。**按你的停止条件，本次不制定实施计划，不修改代码。

本次完成了源码和官方规则核查；未测试你提交的 APK、未检查 AI 网关服务端。腾讯整改链接正文未能读取，其具体补件要求以你收到的退审通知为依据。

算了吧腾讯，算了吧国内平台。 酷安被腾讯绑架，我也放弃更新了，现在只剩下应用宝。

影视​

终于讲到了靖康耻​

Bilibili 不管别人怎么评价，老罗的文明系列还是好看的。 北宋完了。 我随手写了个评价：

相比不久以后的蒙古，金人真算是文明的。 
劝阻蒙古杀光汉人计划的，居然是辽国的后人耶律楚材，不知回想当年出卖大辽的宋人会怎么想

语法错误，懒得改了。

日常​

哈利波特蒙古翻译梗很上头​

X和Threads上很多人玩梗，很多水平不错的。 似乎源头来自一个知乎的问题。

知乎有人問，為什麼《哈利波特》當年不是翻譯成「海瑞」？

答主：你聽說過哈力拔都的故事嗎？

話說那豁哥斡刺子魔法學校，乃是薩滿們的聖地，坐落於黑湖之畔，四大學院分立四方：古鄰番朵兒、刺完怯老、合甫八甫、思來速鄰。 哈力這孩子，打小在色目人姨娘家受苦，直到那巨人侓卜海哥兒踏破門檻，吼著：「兀那小廝，你本是薩滿種！隨俺去見董孛烈朵！」這才把他領進了豁哥斡刺子。 入學宴上，那頂破帽子達魯花赤嚷嚷一通，哈力便入了古鄰番朵兒學院。在這兒，他結拜了兩個安答：紅髮胖小子魯訥·畏失裡，還有那口齒伶俐的丫頭合買兒乃·闊蘭者兒。

...

第二回　巨客夜臨荒島宅　少年始知魔界事

...

彼英吉利韃靼薩滿尚有一興玩，號曰：貴狄契。男女少年策鞍疾馳，以球擲柱競分、球曰魁父；又有搏格爾可以擊人，落鞍者傷不勝數；兩隊又設有一探馬斥候尋籌以終局。吾聞哈力拔都為古林番朵爾探馬斥侯，嘗誤吞籌，當眾嘔之

还有佛经版：

如是我聞，一時縛地魔羅在英迦楞國訶迦頓墓塚園，發綠光明，照三千大千世界。 爾時，諸弟子自四方來集。皆是大食死徒，眾所知識：嚧室摩羅弗、阿吠哩、迦羅婆、伽嚕耶，如是等諸大弟子。 長老嚧室摩羅弗偏袒右肩、右膝跪地，合掌而曰：「大德尊世，昔者形神俱滅，今何因緣得此不壞之身？願為宣說。」 「非由天得，非由地得，乃過去所結分靈秘法得。汝今諦聽，當為汝說。」 「唯然。世尊！願樂欲聞。」 「若有善男子、善女人，欲知我重生之旨，當知有三種供養：一曰父骨，取父墓中；二曰僕肉，取毗他毗底盧之臂；三曰敵血，取童子訶利婆陀之血。以是因緣，三事和合四大重塑，我得如是不壞之身。」 「毗他毗底盧，於意云何？昔叛道離教，今斷臂助我，能生怨悔、復入敵陣不？」「不也，世尊。」 「嚧室摩羅弗，昔沈溺偽善，潛隱偷生，汝今見我，仍二心不？」「不也，世尊。」 「迦羅婆、伽嚕耶，愚癡懈怠，不思尋我。汝今見我，欲復怠慢、不遵我命不？」「不也，世尊。」 「汝等眾生，當信是稱讚不可思議法力一切諸魔所護念咒。乃至三句偈等，受持讀誦，為人詛咒，」 「一曰噩噩令，二曰咒咒虐，三曰索命咒，阿哇呾喀呾啦。」 魔說是咒已，眾弟子皆大歡喜，信受奉行。

日常​

昆明地震，第一时间担心我的花​

走之前把好多水培的放在茶几和书桌上。 太担心了。 第二天才找人拍了视频看，没事。

开发​

功过格UI更新​

整体风格变简洁，去掉没必要的背景动画（skia）。 去掉scroll的一些animated效果，更加直观易懂。 加入了一个日历组件，更方便查看记录。 ai也优化了一下预设prompt等。 下载链接

日常​

成都生活2026​

市中心：

成都图书馆：

交子公园：

AI​

简单做图任务，对豆包也这么难？​

我的提示：生成一个适合 b 站视频的封面，标题是：昆明到成都 自驾 全程记录，可以换行。主图背景是：上述 2 张图片左右横排，形成对比效果。

结果： 居然把内容融合了...

于是我再提示：

2 张图本身内容不变，可以裁切，不能改变内容

结果：

我注意到现在是快速模型，改为Turbo模式，再来： 这次建筑好歹没去改多少，但车和路改了，我算服了豆包，你就不会不动图吗，感觉过度积极，但对要求没理解。

再用Astro medium，一次过：

模型和模型之间是有非常明显差距的。

标签Tags​

jev

关注​

閣樓研究室​

閣樓研究室 比总裁选题更惊悚，但其实还带点客观分析和冷静思考的，貌似科普/反阴谋论倾向。 妹子漂亮，不用AI念稿，读稿还算不生硬。

Tags标签​

胡塞武装

关注​

地上足球888​

成都普通话的一个杂谈+足球博主。 居然有6万粉。 我是看了他探店勇哥餐馆的视频进来的。 Bilibili 亮点是成都人的口条，清晰有力，不亚于自带天赋的东北博主。 我希望南方人有口才天赋的，都可以用不一定很标准的普通话制作生动有感染力的视频。 其实川渝也应该有一些天赋嘛。

标签 Tags​

Lindsay Clancy

Astro

出行​

下关而不是大理？​

有点不想去古城那边，特别是西岸。 从剑川过来，经过东岸，顺便去了一下之前从未去过的网红打卡地，所谓圣托里尼（好山寨的名字），不过人只要放宽心态，一切都可以接受。

最后还是去了一趟古城，和去年一样，是搭乘公交的。 从来没有感觉大理的文旅和资源管理落后到这种程度。 古城里一个字：闹！到处喇叭，叫卖和商家音响轰炸，还有各种反复刮躁的市政宣传，大太阳下让人非常烦躁。 如果还要加一个字：乱！交通管理，各种垃圾杂物和设置，都不符合这个顶级旅游资源的牌面。 幸好，还不至于脏，但古城中的流水已经不如当年令人惊艳的清澈了，现在是淡季，有工作人员在不断清洁水道，但已经回不到当年的样子了。

出行​

时隔1年零3个月，我们两口子终于又开展自驾游了。 离我上次离开昆明，已经一年了。 去年这个月我曾经一人坐火车去过大理，纯粹是为了调整心情。 这次的目的地还是大理，似乎也是为了改变总呆在家里的这个环境。 计划是一个暂不出云南的，目标简单，休闲的短期旅行。 基本想法是补全大理还未去过的一些地方。 本来还有犹豫，因为云南这些地区已经连续下雨几个月了，哪天放晴完全不可预测。 看天气预报，未来也可能天天有雨。 但9月1日上午出发时，晴空非常明媚。