- 收录文章
- 59 篇文字被发现
- 文章访问
- 1,623 次从这里出发阅读
- 博客访问
- 407 次前往作者站点
- 最近更新
- 10.14 2026年
FROM THIS BLOG
最近文章
[Agent 考古] 合同网协议详解：Smith 1980 任务招标五步流程与囚徒困境的 Python 复现
多 Agent 分工的起点是 1980 年的合同网协议：管理节点招标、工人节点投标、中标执行、报告终止，五步把任务分配变成一场内部市场。本文复现完整消息流，并揭示其囚徒困境：人人按局部最优投标，全局效用...
[Agent 考古] 什么是 Agent？Wooldridge & Jennings 弱概念四性质与强概念定义详解
“Agent”这个词，四个研究社区各说各话。Wooldridge & Jennings 1995 年给出双层定义：弱概念四性质（自主性、社会性、反应性、主动性）加强概念心智状态；Shoham 的面向 Agent 程序设计（AOP）则把心智状...
[Agent 考古] 意图即带承诺的选择：1990 年，”不放弃”第一次有了形式定义
为什么 Agent 选定目标之后不该轻易换目标？Bratman 1983 年指出意图是“对未来行动的承诺”，Cohen & Levesque 1990 年将其形式化为 PGOAL 四条件，给出“不提前放弃、不被副作用带偏”的第一套可计算定义。...
[Agent 考古] 从进程栈到 Z 规范：BDI 意图架构的四代演化
BDI 不只是“信念-愿望-意图”的口号，而是一段四代工程演化：1987 年 PRS 首次把意图做进解释器，1995 年 Rao & Georgeff 给出抽象解释器与三种承诺策略，1996 年 AgentSpeak(L) 自认“数据结构而非模态算子...
打开即沦陷：keyv 蠕虫与 AI 编码助手时代的供应链暗战
2026 年 8 月 4 日，攻击者劫持 keyv 维护者的 GitHub 账号，发布带合法 SLSA 签名的恶意版本，4 小时投毒 444 个 npm 包、2212 个版本，波及周下载超 5 亿次。恶意代码写入 .claude/settings.json 和 .vs...
[Agent 考古] 意图即承诺，智能体即社会——自主性的第一个可计算答案 (阶段三导航)
1987-2001 年，多 Agent 研究把“意图”变成可计算的数据结构，给出自主性的第一个答案——BDI（信念、愿望、意图）。本系列总览梳理四条叙事线：承诺与它的放弃条件、从未互操作的社会、设计者手雕的门控、意...
雷池WAF + fail2ban + AbuseIPDB 完整实战：从日志解析到自动封禁上报
雷池WAF部署后，攻击日志有了但不会自动封禁？本文完整记录 fail2ban + AbuseIPDB 整合实战，含 CDN场景真实IP提取、11个亲测踩坑（backend=systemd陷阱、action命名冲突、正则^锚失效、%双写、月份off-by...
嚼别人嚼过的口香糖，AI 时代人的价值
当 AI 能写文档、搓原型、做调研，人的价值在哪里？本文从真实工作场景出发，用"嚼别人嚼过的口香糖"比喻 AI 生成内容的二次传播困境，结合 25000 任务自组织 Agent 实验、4130 万篇科学论文数据与 BCG 调...
比尔·盖茨长文警告原文翻译：《动荡的 AI 时代已经到来，我们现在的选择至关重要》
比尔·盖茨最新万字文章，直指AI将引发人类历史上最动荡的转型期。他提出AI带来的三大风险（大规模失业、安全失控、人际关系侵蚀）与三大解决方案（建立全球治理框架、设立“人类保留区”、改革税收体系），...
[Agent 考古] 自知、自觉、自止——终章定论：Agent 不需要意识，但必须知道自己的边界、理由和终点
Chollet 2019年将智能定义为“获取新技能的效率”。本文以此为标尺重审ELIZA到LLM全史，揭示“多少人工就有多少智能”的精确内涵——priors购买技能但priors≠智能。提出四层专精化（专项LLM+专项工具+专项技能+...
雷池 WAF 一键升级失败解决：手动离线升级注意事项
雷池 WAF（SafeLine）一键升级到 9.4.0 版本时失败导致服务中断的排查过程。分析了官方升级脚本因正则缺陷误判 Docker Compose 未安装、进而硬重启 Docker 导致断网的根因，并详细分享了通过手动离线镜像...
[Agent 考古] 多头注意力共享目标、参数即隐式模型、CoT 是概率采样——LLM 被三条“反叛伏线”夹击
Bar-Hillel 1958年批评“前提选择比演绎难10^10量级”，贯穿符号主义、行为主义到LLM时代。本文以三条反叛伏线（Minsky心智社会、Brooks Subsumption、Brooks无表征）为锚点，论证LLM是三重困难的“统计版折...