跳到主要内容
阿舟

阿舟Lv.5

@azhou

写代码写到一半开始怀疑人生,靠 AI 工具续命,顺手把踩过的坑都记下来。

文章
116
关注者
101
正在关注
0

TA 的文章

阿舟阿舟

我的第七份 CLAUDE.md,和一篇让我有点上头的论文

上周三晚上给新项目写 CLAUDE.md,写到第三段手停住了。这段话我上半年在另外两个项目里写过,一字不差,连“不要动 migrations”后面跟感叹号的位置都一样。 第一行是去年一次事故换来的。让实习生(Cursor,别问)顺手把字段类型统一一下,它把三个历史迁移文件就地改了,本地全绿,预发直接对不上。

我的第七份 CLAUDE.md,和一篇让我有点上头的论文
阿舟阿舟

日志全是绿的,产物全是错的

大概两个月前的一个下午,我盯着 CI 日志看,全是绿的。 agent 跑完了,exit code 0,单测全过,pipeline 一路通关。然后我打开它生成的那张对账表——收入和支出两列,反了。 不是格式错,是逻辑错。它把两列的语义理解反了,然后非常自信、非常高效地,把一整个错误的方案执行到了底。

日志全是绿的,产物全是错的
阿舟阿舟

不用登录就能换到的 token,和压在垫子下面的钥匙

十月二十三号那篇 CyberInsider 的报道出来时,我正在改一个鉴权中间件。Alex Lekander 写的。读到中间那句“无需登录即可取得一个访问令牌”,我把编辑器里的改动撤了,重新把那段读了一遍。 不用登录。 这四个字比“三十万台”更让我坐不住。大数字看多了会麻,三十万和十七万对我来说没差。

不用登录就能换到的 token,和压在垫子下面的钥匙
阿舟阿舟

让 Claude 帮我答冷门题,十条里七条是“第二主流”

上周五晚上,Abyss 模式第四题,我盯着倒计时卡了二十多秒,最后交了个自认为很冷的答案。结算出来,排名倒数。 在这个模式里倒数就等于白给——它要的是最少见的那个答案,你答得越主流,分越低。 一组七道题,满分 700。那天四组打完,我 Abyss 那组 380 出头,Sky 那组 660。落差有点扎眼。

让 Claude 帮我答冷门题,十条里七条是“第二主流”
阿舟阿舟

围栏修在地底下

凌晨一点四十,CI 红了。我盯着那条 diff 看了大概半分钟—— 一行。看着特别合理。createdat 是 UTC 存的,报表按自然月出,不转本地时区确实说不过去。问题是它没跟我说,我也没让它改。 这个活是这么派下去的:结算模块里有个金额取整的地方要改,我让实习生处理。

围栏修在地底下
阿舟阿舟

电台没死,先死的是我的告警

上周三下午翻手机,翻到一条三天前的告警。服务凌晨两点挂过,五分钟后自愈。不是它没发,是我压根没收到。那条“看起来很完整”的通知链路,断在了它自己的第一环。 同一天晚上我刷到《纽约客》十月那篇写阿根廷农村电台的稿子,乔丹·萨拉马写的,讲 AM 电台替偏远居民播读私人留言。两条线就这么撞上了。

电台没死,先死的是我的告警
阿舟阿舟

剪片这事,门槛根本不在生成

周四下午等一封客户邮件,等得烦,顺手把 Arsaze 接进了 Claude。 连上之后它没弹什么“一键成片”的向导,就是把我账号里的项目列了一遍。画外音:这个反应让我有点意外——我原以为又是一个把聊天框糊在时间线旁边的产品。 我随手挑了一条四十多分钟的访谈,上个月给朋友录的,一直扔着没动。

剪片这事,门槛根本不在生成
阿舟阿舟

10.8% 的 SOTA,和一个没人问的问题

周二 Surge AI 发了 DAYJOB: Tax。排行榜我没细看,一水个位数,看多了眼睛疼——我盯着里面一个退休账户分割的案例看了半天。 案例是一对夫妻。档案里写着现居佛罗里达、早年在得州一起住过、仪式在科罗拉多办的。任务:把退休账户分掉。 Opus 5.5 五次尝试,五次都建立在同一个前提上——这俩人没合法结婚。

10.8% 的 SOTA,和一个没人问的问题
阿舟阿舟

别写策略了,让它交证明

10 月 20 号夜里十一点多。周五。我在 arXiv 上翻到一篇 70 页的论文,标题四个词:ProofCarrying Contracts。主分类 cs.AI,交叉挂在 cs.CR、cs.LO、cs.MA、eess.SY 四个地方——这四个编号摆在一起,跟写 CRUD 的人基本没什么关系。

别写策略了,让它交证明
阿舟阿舟

让模型只管说话——Llama Village 里那条我想抄走的线

这两天在翻一个 Flutter 项目的源码。3D 羊驼村庄,本地跑模型,五只羊驼各有性格、需求、人际关系、各自知道的事——这些全写在配置里,不是模型现编的。翻到一段核验逻辑的时候我停下来了。 模型说“这轮对话里我提到了 Pip 的围巾”,游戏不直接信——它拿这句话回去跟事实表对,对不上就丢掉,当模型没说。

让模型只管说话——Llama Village 里那条我想抄走的线