Workrun 正从可视化编排转向对话式自主编排。本文分享这次重设计的产品思考、Agent 分工与工程实践，探讨 AI 时代工作流工具的新交互。

“新故相推，日生不滞。” ——王夫之，《尚书引义·太甲二》[1] 模型收到的每一次请求，都会由“旧（上下文）”与“新（提示词）”进行交接。 Prompt Cache 要处理的就是这交界处的一笔账：旧的

从预约改期看 Agent 工具粒度：把不变量留在权威服务 用户要把九点的预约改到十点。模型选择了“修改结束时间”，接口返回成功，于是原本九点到十点的预约变成九点到十二点；资源占位仍是九点到十点。数据库

虚拟线程不是无限并发：Java Agent 后端真正该限制的是这些资源 Java 服务改用虚拟线程后，最危险的误解不是 API 用错，而是把“线程更便宜”理解成“系统可以无限并发”。 虚拟线程确实改变

现在做一个 Agent 有多容易？ Claude Code、Codex、WorkBuddy 这些产品，很多人要么用过，要么天天在用。加上 AI 辅助编程，我们甚至可以让 Codex 帮忙做出一个类似

现有 Lean 证明 agent 都是「证不动就拆」的分治流水线：引理证不出就继续分

0. 先说结论 先交代结果. 从一句话想法到本地能跑的周刊站,我满打满算花了一个下午外加半个晚上,其中真正需要我盯着屏幕动手的部分，三个小时就封顶了。搁以前一个人从零手写,这个体量我给自己留三天,还不

HeyGen 开源的 HTML 转视频框架：用 HTML + data 属性 + GSAP 等动画描述视频，无头 Chrome 逐帧截取 + FFmpeg 编码，同样的输入永远得到同样的动画

原本我准备了 1,000 美金预算，让 Gemini 4 当公司高管，DeepSeek 打下手。让它们帮我写一个开源软件。 结果跑完这两天，DeepSeek 只花了大约 10 美金（换算到我的 Tok

最近在 WorkBuddy 里面又测试了一个新模型：Step 5 Preview。 从官方给出的定位来看，Step 5 Preview 是一款面向真实 Agentic 任务的旗舰模型，重点放在软件工程

如果未来人人都能用上同样强的模型和 Agent，人与人的差距会在哪里？本文从领域认知、品味、用户洞察、判断取舍、架构与工程、商业、影响力和自我学习八个方面，分享我对 AI 时代人才能力的看法。

那只在开发者圈里被反复猜身份的神秘兔子，MiniMax认领了， 10月19日，MiniMax正式更新M3.1 Flash。官方确认，之前匿名出现的 Space Bunny，就是M3.1 Flash的早

离线配音与有声故事工坊 这段时间，我一直在做一些能用到生活里的小工具：给老动画提高清晰度，把孩子画的小人变成动画，生成可以打印的迷宫和连点画。 这次，我想给故事加上声音。 把写好的睡前故事贴进去，让电

一、先看问题：感觉 ≠ 结论 R02 灰度保证"新版本别炸"，但留下第 3 个问题： "新提示词更好"只是感觉——10% 用户跑了三天，有人说好有人说差，没有结论。 单看一个维度会误判——线上成功率没

本来昨天的计划，是把这篇长文肝出来的，结果一碰代码就陷进去了，既然大家爱看，那今晚就把我手搓这个“赛博傲娇女仆”的踩坑记录全盘托出。

当 AI 开始参与几何内核研发，国产 3D CAD 是否迎来了突围的机会？从开源几何引擎、AI 编程到历史数据迁移，探讨中国 3D CAD 如何突破技术壁垒，走出自主创新之路。

在 AI 编码代理日益普及的今天，Token 成本与延迟已成为制约其规模化应用的关键瓶颈。Headroom 作为一款本地运行的 LLM 代理与库，通过精细化的压缩技术，在不牺牲答案质量的前提下，显著降

AI做的网站，经常有个问题：明明是不同生意，页面却像同一套模板。 大标题、细分隔线、一排排卡片。换个名字，咖啡店能用，产品官网也能用。 所以Taste Skill更新V2以后，老金先看的是效果。它是一

x402把HTTP 402变成机器支付入口：服务先报价，Agent签名，facilitator验证并结算。它解决了“钱怎么付”，却没有解决幂等、对账、计量、退款和争议。