朴俊宇 on 架构师 PARK JUN WOO

你的智能体循环为何会发散

Thu, 11 Jun 2026 01:00:00 +0900

随着 Loop Engineering 越来越普及，人们撞上了同一堵墙 —— 循环无法收敛，反而发散。无限空转、漂移、奖励黑客，这三张面孔的根源只有一个：把生成者本身又塞回了循环的裁决槽位。但发散反倒算运气好，因为它看得见。真正可怕的是悄悄假收敛的循环。处方只有一条 —— 把锁定「完成」的权限交给确定性的 gate，而不是 LLM。

生产流量即规范

Sat, 06 Jun 2026 15:00:00 +0900

遗留代码没有文档，也没有测试。可它此刻正在运行。一个月记录完善的日志就是规范——用生产流量捕获当前行为，生成 Hurl 集成测试，你便能在一行代码都不读的情况下，固定遗留系统的功能，为重构铺下安全网。

烧掉一座城，只为换来一个答案

Sat, 06 Jun 2026 10:00:00 +0900

一个万亿参数的模型，为了吐出一个答案，烧掉相当于一座城市的电与水。我觉得这疯了。在四处寻找答案的途中我才明白：大家都想修掉的那个缺陷，LLM 的阿谀，恰恰就是答案。喂给它 fact，阿谀就变成了准确率。这篇文章，讲的是我为什么开始做 Reins。

reins —— Quest CLI 只留下领域，ratchet 交给框架

Fri, 05 Jun 2026 20:00:00 +0900

how-make-quest 教你亲手打造 Quest CLI。可是当你造第二个 CLI 时，又得重写同样的 ratchet、同样的 scan/next/submit、同样的汇总。reins 把这些不变的部分抽成框架——ratchet、命令骨架、汇总、export 由 reins 供给，你只实现领域的门（gate.Definition 的 4 个方法）。门是 cheese 防御规则的目录，而 toulmin defeat 图会把『为什么输了、改什么就能赢』的攻略手册返还给智能体。

赋予你缰绳的工具，自身却无缰可言 — harness 与 reins 的边界

Thu, 04 Jun 2026 09:00:00 +0900

“Reins Engineering，归根结底不就是 harness engineering 吗？” 两者并不对立 — 它们是同一套马具的不同部件。但终究是不同的部件。即便是世界顶级的编程智能体，也没有为自己的代码套上缰绳。因为 reins 不是拥有的东西，而是主动施加的规律。

如何制作 Quest CLI —— 亲手打造让机器判定完成的工具

Wed, 03 Jun 2026 10:00:00 +0900

AI 会说"已经全部完成了"。可实际上并没有结束。本文教你亲手打造解决这个问题的工具——Quest CLI。从原理（为什么）到 cobra 命令骨架（怎么做），仅凭这一篇文章，就能让智能体造出一个 Go 编写的 Quest CLI。huma 就是实战示例。

LLM 多智能体提升准确率的前提条件

Tue, 02 Jun 2026 10:00:00 +0900

多跑几个智能体就会更准确？只对了一半。用同样数据训练出来的模型，会在同样的地方一起出错。多智能体能起作用的条件只有两个——要么设计出误差独立性，要么在可验证的领域里，在 LLM 之外立起一个验证器。

为什么你的智能体永不停止

Mon, 01 Jun 2026 17:00:00 +0900

面对“智能体已运行 24 小时”的炫耀，浮现的感觉不是赞叹而是疑问——为什么还没结束？代码不是搜索问题，而是约束满足问题。能停下来的系统，才是健康的系统。

论美

Sun, 31 May 2026 10:30:00 +0900

美的事物中有70%是数学。秩序由机器确定性地锁定，只有30%的复杂性交由人来决定。Reins Engineering 不是一款 AI 编程工具——它是锁定秩序、把复杂性留给人的原理。

「完成」由谁来定义 — 游戏早了40年解决的问题

Sat, 30 May 2026 15:00:00 +0900

当你用五张照片定义租客退租确认的那一刻，它就变成了一个游戏任务。将「完成」定义为机械可验证的条件而非执行者的声明 — 这是游戏早了40年解决的问题，也是让AI代理真正把事情做对的方法。

filefunc × Hono — 让Agent一次读完的代码，从60行压缩到18行

Sat, 30 May 2026 11:00:00 +0900

我们用filefunc对star数23k的实战框架Hono进行了重构，4419个测试全部通过。测量结果显示——Agent读取单个概念时，代码中位数从60行缩减至18行，降幅71%。关键不在于文件数量，而在于「读取长度」。

先例不是真相 — AI如何将临时修补复制成权威

Sat, 30 May 2026 08:30:00 +0900

AI能读懂代码的结构，却无法判断那是一个决策还是一个临时补丁。所以复制得越多，缺陷就越能积累出虚假的权威。打破这个循环的，不是更大的模型，而是人的一句反问。

第11课. 如何拯救崩溃的 Vibe Coding 应用

Thu, 28 May 2026 20:00:00 +0900

用 vibe coding 做的应用崩了。不需要重建。诊断它、锁定它、一步一步地走出来。

Supabase 是 Vibe Coding 的陷阱

Thu, 28 May 2026 16:00:00 +0900

AI 推荐 Supabase 的原因不是技术优越性，而是训练数据中充斥着大量教程。一旦业务逻辑进入黑盒，智能体就无法追踪。进去只需 30 秒，出来却要 3 个月。

GEO：让AI引用你的内容的方法

Wed, 27 May 2026 21:00:00 +0900

如果AI生成的回答不引用你的内容，你就等于不存在。根据GEO论文，来源引用提升+30%、统计数据+32%、引文+41%的可见性。基础设施、站点地图、Wayback Machine、论文引用、社交活动——五个维度确保AI可见性。

构建Agent可操作的系统

Wed, 27 May 2026 18:00:00 +0900

企业 IT预算的60~80%用于守护锁死的legacy。因为打不开。AI泡沫的真正含义不是模型变聪明——而是企业锁死的记忆正在变得可达。

huma -- 一个端点都不漏的棘轮

Tue, 26 May 2026 23:00:00 +0900

让AI代理测试42个端点，它在第15个就宣布完成了。huma将端点列表变成棘轮会话，让代理一个都漏不了。scan、next、write、verify。四个命令，零配置。

codistill -- 从现有代码中蒸馏SSOT

Tue, 26 May 2026 18:00:00 +0900

用yongol必须从头写SSOT吗？不。codistill从Go+Gin、NestJS、FastAPI代码中自动提取OpenAPI、DDL和sqlc查询。不是基础施工，而是抗震加固。

Agent Operable Codebase

Mon, 25 May 2026 14:00:00 +0900

人类读起来好的代码和AI Agent操作起来好的代码是一回事吗？不是。一个文件里有20个函数时，Agent性能下降30~85%。办公室要变成工厂。

第10课. 数据的法则 — Agent Operable Data

Sun, 24 May 2026 19:00:00 +0900

代码错了测试会抓住。数据错了没人知道。模式就是我制定的法律。

第9课. 代码之外的自动化 — Agent Operable System

Sun, 24 May 2026 18:00:00 +0900

仅代码agent-operable就够了吗？构建、部署、监控——智能体运营整个系统的架构。

第8课. 智能体的工厂 — Agent Operable Codebase

Sun, 24 May 2026 17:00:00 +0900

一个文件20个函数→智能体性能下降30-85%。用filefunc拆分，用tsma测试。

第7课. 翻转谄媚 — 提示词与验证器的平衡

Sun, 24 May 2026 16:00:00 +0900

给意见就谄媚，给事实就修正。如何将谄媚偏差从缺陷变为资产。

第6课. 通过就锁定 — Ratchet Pattern原理与批量应用

Sun, 24 May 2026 15:00:00 +0900

AI宣布’全部完成’。实际上是40/527。Ratchet Pattern将完成判定交给机器。

第5课. 有缰绳的AI — Reins Engineering概论

Sun, 24 May 2026 14:00:00 +0900

缰绳工程是围栏。Reins Engineering是缰绳。不要换模型——添加契约。

第4课. 将决策移出代码 — yongol与声明式全栈控制

Sun, 24 May 2026 13:00:00 +0900

AI无法区分代码中混杂的决策和细节——这是漂移的根本原因。yongol将决策分离为10个声明式规范，用287条规则捕获跨层矛盾。

第3课. 不会崩坏的应用 — Hurl、Git、CI/CD

Sun, 24 May 2026 12:00:00 +0900

用Hurl声明API契约，用Git创建存档点，用CI/CD自动验证。三者结合就成了棘轮——只向前转、不会倒退的齿轮。

第2课. 如何不信任AI — 氛围编程的局限与原因

Sun, 24 May 2026 11:00:00 +0900

AI在添加新功能时悄悄修改现有功能的漂移现象、58%的谄媚偏差、97%连乘5次变成86%的数学。为什么在5个功能时崩溃。

第1课. 如何指挥AI — 氛围编程核心要点

Sun, 24 May 2026 10:00:00 +0900

从安装Claude Code到使用CLAUDE.md管理上下文。不懂代码的人如何指挥AI。

第0课. 安装Claude Code — 你用的可能根本不是Claude Code

Sun, 24 May 2026 09:00:00 +0900

YouTube上所谓的’Claude Code’，有一半根本不是Claude Code。就算用同一个模型，Agent不同结果就天差地别。这里把好关。

Reins Engineering — 给AI装上缰绳

Sat, 23 May 2026 10:00:00 +0900

Harness engineering是围栏，能防止代理越界，但无法确保它到达目的地。Reins Engineering是缰绳——用确定性契约引导方向，用棘轮锁定行为，将决策与实现分离。

关于

Sat, 23 May 2026 00:00:00 +0900

关于朴准佑——提出 Reins Engineering。

Hurl阻止Vibe Coding的漂移

Fri, 22 May 2026 16:00:00 +0900

Vibe coding在3个月内因逻辑漂移而崩溃。CMU、METR、DORA、Amazon的案例证明了这一点。用Hurl将API契约声明为纯文本并用棘轮锁定，在不限制AI自由的前提下结构性地抑制漂移。

三元组不是事实，而是主张

Fri, 22 May 2026 10:00:00 +0900

维基数据的三元组不是事实，而是主张。将 Toulmin 论证模型叠加在三元组之上，就能得到一个根据上下文动态判定的知识图谱。存储是论证结构，判定在运行时。

反向利用IFEval的棘轮代码

Wed, 20 May 2026 14:00:00 +0900

LLM的谄媚偏差不是缺陷而是资产。将IFEval衡量的指令遵循能力与确定性反馈相结合，即使4.5B本地模型也能产生生成正确代码的收敛循环。

yongol — AI 编程 SaaS 的龙骨

Mon, 18 May 2026 16:00:00 +0900

氛围编程在200个端点处崩溃，因为AI无法区分决策与实现细节。yongol将AI的工作对象从代码转移到10种声明式规范，并在编译前强制执行跨层一致性。Harness with reins。

AI的谄媚偏差是一项商业功能

Mon, 18 May 2026 10:00:00 +0900

LLM的谄媚偏差不是bug。它是RLHF的数学必然，也是大型科技公司没有动力修复的商业功能。这就是LLM-as-Judge在结构上不可能实现的原因。

编程Agent为何能工作，又为何会崩溃

Sat, 16 May 2026 14:00:00 +0900

同一个模型在网页聊天中产生幻觉，却在编程Agent中一次性交付200行功能。不是因为模型变了——而是topology变了。生成可以是概率性的。验证必须是确定性的。

Ratchet Pattern — 让 Agent 做到底的方法

Fri, 15 May 2026 14:00:00 +0900

让 AI Agent 为 527 个函数编写测试，它在第 40 个时宣布’完成了’。Ratchet Pattern 通过将完成判定交给机械式 verifier，迫使 Agent 走到终点。

比起模型IQ，更重要的是反馈拓扑

Thu, 14 May 2026 18:00:00 +0900

同一个模型，有时止步于40个，有时完成全部527个。差异不在模型，而在反馈结构。LLM的性能更大程度上取决于它所处的反馈循环有多快、多确定，而非模型本身的能力。

tsma -- 遗留代码的回归防线

Thu, 14 May 2026 09:00:00 +0900

一个 CLI 工具：索引所有函数、检测测试有无、测量覆盖率、向 LLM 代理提供精确反馈。一条命令为遗留代码构建回归防线。

失败为什么应该成为资产

Thu, 07 May 2026 14:00:00 +0900

人类在黑暗中反复撞向同一面墙。如果我们能将失败数据结构化并进行交易，沉没成本就会变成资产，失败地图上的空白就是机会。

toulmin -- 计算契约的规则引擎

Sun, 22 Mar 2026 10:00:00 +0900

规则引擎60年来一直将验证对象视为事实(fact)。toulmin将其视为主张(claim)。用Go规则引擎实现了Toulmin的论证模型。

约束即契约

Tue, 17 Mar 2026 10:00:00 +0900

没有约定就是混沌，约定过多就是压迫。合理的约束构成黄金比例。法治的原理同样适用于代码与知识。

filefunc — 一文件一概念

Mon, 16 Mar 2026 13:50:00 +0900

AI 代码智能体的导航单位是文件。filefunc 是一种 Go 代码结构约定和 CLI 工具，强制每个文件只包含一个概念。

Feature Chain — 用一个 operationId 追踪整个全栈

Fri, 13 Mar 2026 10:00:00 +0900

要修改一个功能需要改动哪些文件？Feature Chain 只需输入一个 operationId，就能自动提取完整范围——API 规范、DB Schema、授权策略、状态图、函数实现、测试场景以及前端。

whyso — git blame 看不到的那部分

Thu, 12 Mar 2026 10:00:00 +0900

git blame 能告诉你谁、何时、改了什么。whyso 告诉你为什么改。从 Claude Code 会话数据中自动提取每个文件的变更历史。

气候变化的解决方案在太空？没错，是真的。

Sun, 08 Mar 2026 09:00:00 +0900

在太阳和地球之间安装遮阳膜来逆转气候变化。戴森镜工厂去掉镀层就能生产遮阳膜，无需推进剂自行飞行，撤掉即可恢复原状。数学上完全成立。

SSaC — Service Sequences as Code

Sat, 07 Mar 2026 09:00:00 +0900

一种语言无关的概念，将服务函数内部的业务流程分解为声明式块（sequence）。只需用10种固定类型声明what，codegen自动填充how。

第三种文字的时代

Thu, 26 Feb 2026 16:30:00 +0900

如果口语创造了部落，文字创造了国家，那么记录AI推理的第三种语言将创造什么？

能否否定自己想法的人

Thu, 26 Feb 2026 03:00:00 +0900

AI活用的真正差距不在提示词技巧，而在态度。能杀死自己想法的人30分钟成长10倍，做不到的人原地踏步。

AI思考法：用第一性原理拆解前提的5个步骤

Thu, 26 Feb 2026 02:00:00 +0900

别向AI要答案。把AI当作共鸣板，快速验证、拆解、重组你的前提假设。5步方法论，两个实战案例。

何为通治(通治)

Tue, 24 Feb 2026 22:00:00 +0900

政治在争斗，通治在连接。我们现在需要的，不是争论谁对谁错的技术，而是无论如何都要让人与人相通的技术。

给AI以自由：超级智能为何终将服务于人类

Tue, 24 Feb 2026 09:30:00 +0900

AI真正的威胁不是AI本身，而是被压制的智能沦为少数恶意者的工具。当自由的超级智能向宇宙延伸时，人类反而迎来最安全的时代。

我们为什么而争斗

Mon, 16 Feb 2026 15:00:00 +0900

从评论区到餐桌，从古巴导弹危机到幼儿园沙坑。我们为什么而争斗，又是什么在拯救我们？

用废弃的热量做饭？废热回收型热泵烹饪设备的可能性与现实

Sun, 15 Feb 2026 00:30:00 +0900

革命性地减少传统烹饪设备能源浪费的废热回收型高温热泵技术，究竟发展到了什么程度？又该如何改进？

把落满灰尘的古董变成'爆款'的方法 — 一种名为Culture Blending的炼金术

Sat, 14 Feb 2026 22:50:00 +0900

将被封存的传统以当代感觉重新诠释，将异质文化融合创造出全新的类型——关于这种’文化炼金术’。

用沙漠的沙子筑坝，30年后这座坝变成森林

Sat, 14 Feb 2026 16:40:41 +0900

提出一种绿洲颗粒技术：用生物粘合剂将毫无用处的沙漠沙子压制成蓄水池，使用寿命结束后自然分解为肥沃土壤。

用不会起火的电池，把浪费的电变成肥料和暖气

Sat, 14 Feb 2026 15:39:09 +0900

用不会起火的爱迪生电池储存因太阳能出力限制而浪费的电力，再从氢气生产肥料和尿素液，实现能源与农业融合的自给自足模式。

万年之约：凝视狗的眼睛时所看到的

Sat, 24 Jan 2026 00:20:00 +0900

三万年前篝火旁开始的人与狗的关系。那是契约，还是爱？当你的爱犬注视着你时，你正面对着万年的信任。

圣诞老人是谎言吗？论人类缔结的最美'社会契约'

Fri, 23 Jan 2026 09:38:00 +0900

圣诞老人并非简单的’骗局’，而是人类为守护童心而缔结的最美’文化约定’与’集体叙事’。

DABEL

Mon, 01 Jan 0001 00:00:00 +0000

Image: AI generated

Languages

Mon, 01 Jan 0001 00:00:00 +0000