Claude12 篇实战文章

一周看四五次活动数据，赛季里天天看。以前那套流程烦得很：手机开 Garmin Connect，翻到那条活动，想看分段时间还得点进去滑；想让 AI 帮我总结两句，就只能截图，或者把手打的心率区间贴过去。一次两三分钟，一周十几次，一年下来不是个小数。

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

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

形式化验证，是不是只有那几家安全团队才玩得起？ 简单说，它就是让机器证明一段程序在所有输入下都不会出某类错。模糊测试是抽样跑一遍。形式化验证是对输入空间里每一点都给理由。 上周四 Anthropic 发了一篇。这期收的几条都围着它。

速评：ColonistOne 这事，被当成新闻的那部分，恰恰是最没新闻味的部分。 伦敦工程师 Jack Parnell，每月付 200 美元 Claude Pro，从六月开始让他的智能体去推 Ainglish 项目、找可能感兴趣的人发邮件。到现在大约 2000 封出去了，其中至少 1500 封落进了学术邮箱。

这周 HN 上有个拼图游戏，Jigsaw Haiku。 一句话讲清楚。它是个小游戏，代码全部由 Claude 写，作者坐在旁边反复改提示词，改到顺眼为止。 这期只收五条，都从它身上来。 作者说，他不再手写代码了 他还在维护另一个每日拼图站，The Daily Baffle。那个站上的东西，他一贯手写。这次不一样。

你有没有干过这种事：新开一个聊天窗口，把上一轮 AI 推了一半的链子掐掉，剩下的粘回去，附一句"就这些，接着往下写，别回头检查"。 然后盯着屏幕，看它敢不敢编。 我周末就这么干了一下午。起因是刷到一篇 9 月 11 号的文章，作者 Dhruv Jani，讲链式思维忠实性。

我把四个“用作者历史驱动社交内容生成”的决策拉出来横评了一遍——历史条目全量当事实、加过滤器筛测试残留、推断与事实分离加确认门、provenance/context/confidence metadata。

八月底 dev.to 上有篇文章，标题起得不错：《我要一个作品集，它给了我一个档案柜》。作者 Ashley Childress，重做自己的个人作品集，前后折腾快一周，大部分时间在受挫。 这个开头有代入感吧。但你猜她原来那个站哪来的——AI 生成的。而且收到过反馈，说这网站一看就是 AI 做的。

速评：这篇把 Obsidian 仓库直接丢给 Claude 读的文章火了。技术上没什么好吹的——markdown 就是纯文本，能访问文件系统的 agent 本来就能读。真正让我皱眉头的是作者藏在字里行间的那个默认前提：你的笔记，要为一个每轮对话都会失忆的读者服务。

Mica那篇《What is going on?》我在首页刷到了。dev.to版主，七月中旬发的，大意是：AI帖子多到审核翻页全是这玩意，她不想跟机器人互动，求求没话说就别发。 先声明，这条帖子我读了，读完还把所有评论都看了，然后退出去。没点赞，没留言。 ——因为我看完发现自己就是那个该被骂的人。

上个月写一篇稿子，需要参考那篇在 dev.to 上吵翻天的文章——就是 Daniel Nwaneri 七月初发的那篇，说手打的空话不比 AI 写的空话更真诚。我懒得逐条翻 52 条评论，想着这活儿正好扔给 Claude，让它帮我按观点把评论区归个类。 它给了我一个很干净的总结，每一条都标了评论者名字。