王宇航

北漂 3 年，德法漂 4 年。多次创业的 AI 全栈工程师，古法编程农民工, A股老韭菜

Hi. I’m Yong. AI engineer & serial entrepreneur. 3 yrs in Beijing, 4 yrs in Germany & France. Full-stack builder.

[王宇航 @yhwangl]

GitHub 本周 Trending 里的 Graphify，拿来给 AI 看代码地图，有点意思。

用 5 个 Python 文件写了个订单小例子，本地生成 18 个节点、33 条关系，不用模型 API。点 OrderService，能看到它连着支付、订单和存储；命令行也能查路径。

接手陌生项目时，我会先用它找入口。但图上的源码关系和推断关系得分清，不能直接当成真实运行流程。大仓库效果这次还没测。

https://t.co/U70GZCQRv5
#AI #编程

[王宇航 @yhwangl]

ZCode 官方说，每人每天能领 3 亿 GLM-5.3-Flash token。不过按北京时间算，领完还得等到晚上 11 点才能用。

每天 19:00 起领，使用时段是 23:00 到次日 09:00；人在柏林的话，对应 12:00 起领、16:00 到次日 02:00 可用。别把“只能半夜用”当成所有时区都一样。

客户端更新到最新版，在 App 里领取，再切到 Global Building，选 GLM-5.3-Flash。额度对应的是 Flash，公告没写活动结束日期，也没说明没用完能否累积。

我会先拿不赶交付的小任务试试，确认速度和结果，再安排长任务。

#ZCode #AI编程

[王宇航 @yhwangl]

25 年前提出指数时间假说的研究者，如今要参与审查 AI 声称推翻它的证明。OpenAI 和 Anthropic 都公开了 3-SAT 亚指数时间算法的论文与 Lean 证明材料。

Anthropic 那篇署名是 Claude。按论文的说明，核心算法是内部模型在 10 月 16 日找到的，花了 1400 万输出 token，这一步没有人工输入；后面整理成论文，有研究员参与。

Lean 的范围也得细看：OpenAI 形式化的是较弱、但仍属亚指数时间的界，没覆盖论文里所有更强的结论。Anthropic 的仓库也提醒，Lean 能检查证明，定理写得是否对应论文，还得人来读。

目前还没同行评审，参与审查也不等于认可结论。这些结果没有证明 P=NP，也没承诺让实际的 SAT 求解器跑得更快。

#AI #OpenAI #Claude

[王宇航 @yhwangl]

@qqqqqf_ 技术回复我还是会保留小标题和代码块，先放具体改法，再解释原因。删掉结构以后，读者还得自己从长段落里捞结论，来回翻着找要改哪儿。

[王宇航 @yhwangl]

@verysmallwoods 可以先挑一件每周都得手工重做的小事，比如整理报错日志。让它连续跑几次，记下哪些地方还得自己接手，再决定要不要加 agent；任务少的时候，一个脚本也挺省心。

[王宇航 @yhwangl]

@GaoXiaoxiao2022 最小改写这点挺好。技术文改完我会把数字和限定条件再对一遍，尤其是“作者跑过”别变成“我试过”。这种错比留几个套话更麻烦。

[王宇航 @yhwangl]

@huacnlee 终端更新慢点我能接受，升级后输入法出问题更折腾。新版本先拿旧配置跑几天，没毛病再换主力，旧版安装包我会留着。

[王宇航 @yhwangl]

@yetone @pseudo_yu 我想看同一个路径从读取到写回时，占位符怎么保持一致。尤其是 Windows 用户目录，替换后还得让模型知道这是已有目录，不能看着像临时路径就顺手清理了。

[王宇航 @yhwangl]

@star_flow_ai @thsottiaux 两根等长的横条对我更直观，旁边直接写“剩余”和重置时间。5 小时和一周本来就不是同一段时间，挤进一个圆里很容易看成两份额度加起来是 100%。

[王宇航 @yhwangl]

有个开发者写到：Apple 连拒两次退款，他还是自掏腰包，发红包退了原价的 85%。他担心后续申诉又被批准，自己要出两份钱。

红包退了，App Store 那笔交易的状态不会跟着改。查 Apple 文档，服务端有退款通知，也能拉已批准的退款历史，漏通知还能补查。

做内购我会把 transaction ID 和退款状态放在同一张工单里。真要额外补偿，也单独记清楚，不能当成平台退款已经完成。

#独立开发 #AppStore

[王宇航 @yhwangl]

老马为什么还不给我通过蓝 V

[王宇航 @yhwangl]

@xiaohua_888 本地预览这步我挺在意。导出前能勾掉某几条消息、把手机号打码就更好了，群聊扔给模型之前，我会先看一遍实际带出去了什么。

[王宇航 @yhwangl]

@lukasen_xyz 一个按钮塞好几个功能，验收也容易含糊。我会把保存草稿和正式发布拆开，再拿空数据点一遍；成功页能跑通还不够。

[王宇航 @yhwangl]

@alexlee20122022 我会想看唤醒后的尾延迟，尤其是一批任务同时等到工具返回的时候。便宜地停着挺好，恢复时别一起挤爆下游。

[王宇航 @yhwangl]

有个独立开发者用 Dioxus 做了一年全栈 SaaS，发布镜像在 GitHub 的双核机器上要编译约 90 分钟。换自建 runner 后，还是要 40 分钟。

他最舍不得的是共享类型：数据库返回的 struct 直接传到界面，字段一改，cargo check 连前端哪里断了都能报出来。可前端还要单独编译成 WASM，这一步在六核机器上约 22 分钟。

连“全 Rust”也留了点尾巴：图表用 Chart.js，接了约 340 行 JS，CI 还得装 Bun 跑 Tailwind。

这是他那套项目的耗时。我做表单、表格为主的后台，会先拿一个页面试编译，再决定要不要整套搬过去。共享类型很香，等构建的时间也得算进开发成本。

#Rust #独立开发

[王宇航 @yhwangl]

@fankaishuoai 你又不知道他会 一直用 Claude Code

[王宇航 @yhwangl]

@realchendahuang 我会给后台 agent 单开一份个人资料，常用邮箱和支付账号留在自己那份。任务开始前先看一眼选中的是哪个 profile，免得切错身份。

[王宇航 @yhwangl]

@yaohongan2025 找词雷达可以先跑起来，验证那步我会亲自点开搜索结果。曲线上升可能只是大家在围观，搜完真想用工具解决问题的词，更值得先做一个小页面。

[王宇航 @yhwangl]

SQLite 备份能正常打开，完整性检查也报 OK，里面却少了刚提交的 100 条记录。文件没坏，备份照样可能不完整。

我做了个小实验：开 WAL、关掉自动 checkpoint，提交 100 条后保持连接不关。只复制主 .db 文件，读出来是 0 条；换成 SQLite 备份 API，100 条都在。

那批提交还在 -wal 里，没写回主文件。这只是本地小库对照，但做独立开发的数据导出，我会先验证恢复后的记录，再信“导出成功”四个字。

#SQLite #独立开发

[王宇航 @yhwangl]

@Amfe1U 我靠，开了之后老是不显示，这他妈都好多天了。大家开了之后都是多长时间显示的？

[王宇航 @yhwangl]

@iecbearli 应该是分闲时 还有高峰时候的价格吧