Under the Sun with Paddy
AI-Agent编程算法

[Agent 考古] 什么是 Agent?Wooldridge & Jennings 弱概念四性质与强概念定义详解

“Agent”这个词,四个研究社区各说各话。Wooldridge & Jennings 1995 年给出双层定义:弱概念四性质(自主性、社会性、反应性、主动性)加强概念心智状态;Shoham 的面向 Agent 程序设计(AOP)则把心智状态直接做成语言原语。本文逐一给出四性质的最小 Python 验证代码,比较强弱概念在逻辑全知问题上的判定差异,帮你分清营销话术与研究定义里两种完全不同的“智能体”。
Under the Sun with Paddy
AI-Agent编程算法

[Agent 考古] 意图即带承诺的选择:1990 年,”不放弃”第一次有了形式定义

为什么 Agent 选定目标之后不该轻易换目标?Bratman 1983 年指出意图是“对未来行动的承诺”,Cohen & Levesque 1990 年将其形式化为 PGOAL 四条件,给出“不提前放弃、不被副作用带偏”的第一套可计算定义。本文用 Python 复现 Willie 与 Little Nell 场景,验证持续承诺与副作用免疫两条定理,并附 2026 新增 A/B 对照实验:把放弃条件的精确匹配换成 LLM 判定,信念库涨到百条时九成漏终止——自止难题的第一次定量显影
Under the Sun with Paddy
AI-Agent编程算法

[Agent 考古] 从进程栈到 Z 规范:BDI 意图架构的四代演化

BDI 不只是“信念-愿望-意图”的口号,而是一段四代工程演化:1987 年 PRS 首次把意图做进解释器,1995 年 Rao & Georgeff 给出抽象解释器与三种承诺策略,1996 年 AgentSpeak(L) 自认“数据结构而非模态算子”,1998 年 dMARS 完成显式意图与 Z 操作语义。本文每一代都配可运行代码验证,覆盖盲区即死局的实验,并用 LLM 替换 dMARS 的计划选择函数:三计划场景 20/20 全选最优——元级慎思的微观实证,及其不能外推的诚实边界。
Blog
编程算法网站运维

打开即沦陷:keyv 蠕虫与 AI 编码助手时代的供应链暗战

2026 年 8 月 4 日,攻击者劫持 keyv 维护者的 GitHub 账号,发布带合法 SLSA 签名的恶意版本,4 小时投毒 444 个 npm 包、2212 个版本,波及周下载超 5 亿次。恶意代码写入 .claude/settings.json 和 .vscode/tasks.json,无需 npm install,打开项目或启动 Claude Code 即执行。本文还原完整时间线与影响漏斗,本地复现零安装执行向量,实测 Claude Code 零交互触发,并给出安全版本(keyv 5.6.0)与处置顺序:先清持久化,再吊销令牌。
Under the Sun with Paddy
AI-Agent编程算法

[Agent 考古] 意图即承诺,智能体即社会——自主性的第一个可计算答案 (阶段三导航)

1987-2001 年,多 Agent 研究把“意图”变成可计算的数据结构,给出自主性的第一个答案——BDI(信念、愿望、意图)。本系列总览梳理四条叙事线:承诺与它的放弃条件、从未互操作的社会、设计者手雕的门控、意图编辑权之争,并为每条线配上 2024-2026 年的当代对照轴与六个“LLM 替换经典组件”A/B 实验。读完这套系列,你可以对 MCP、A2A、AutoGen 式框架的命运形成自己的预测性判断。本文附四条阅读路线与全部十二篇导航。
Blog
网站运维

雷池WAF + fail2ban + AbuseIPDB 完整实战:从日志解析到自动封禁上报

雷池WAF部署后,攻击日志有了但不会自动封禁?本文完整记录 fail2ban + AbuseIPDB 整合实战,含 CDN场景真实IP提取、11个亲测踩坑(backend=systemd陷阱、action命名冲突、正则^锚失效、%双写、月份off-by-one……)、端到端验证及历史攻击补报脚本。部署当天即揪出24小时攻击1200+次的IP,全链路自动封禁+上报威胁情报。附云安全组收紧回源网段最后一刀。
Blog
工作反思观察世界

嚼别人嚼过的口香糖,AI 时代人的价值

当 AI 能写文档、搓原型、做调研,人的价值在哪里?本文从真实工作场景出发,用"嚼别人嚼过的口香糖"比喻 AI 生成内容的二次传播困境,结合 25000 任务自组织 Agent 实验、4130 万篇科学论文数据与 BCG 调研,从技术边界、法律实体、社会结构三个层面论证人的不可替代性,提出核心结论:与其跟 AI 比技能,不如提升工程品味与判断力——因为我们活在一个人的社会里。
Bill Gates
AI-Agent

比尔·盖茨长文警告原文翻译:《动荡的 AI 时代已经到来,我们现在的选择至关重要》

比尔·盖茨最新万字文章,直指AI将引发人类历史上最动荡的转型期。他提出AI带来的三大风险(大规模失业、安全失控、人际关系侵蚀)与三大解决方案(建立全球治理框架、设立“人类保留区”、改革税收体系),强调AI不会自动惠及所有人,必须通过政府、慈善与社会共同努力,才能让这场“划时代转变”走向公平与向善。本文适合关注AI社会影响、政策制定、未来就业与教育变革的读者深入阅读。
Blog
AI-Agent编程算法

[Agent 考古] 自知、自觉、自止——终章定论:Agent 不需要意识,但必须知道自己的边界、理由和终点

Chollet 2019年将智能定义为“获取新技能的效率”。本文以此为标尺重审ELIZA到LLM全史,揭示“多少人工就有多少智能”的精确内涵——priors购买技能但priors≠智能。提出四层专精化(专项LLM+专项工具+专项技能+专项资源)作为未来Agent工程方向,论证Minsky组织论与Chollet度量论的互补公式。
Blog
网站运维

雷池 WAF 一键升级失败解决:手动离线升级注意事项

雷池 WAF(SafeLine)一键升级到 9.4.0 版本时失败导致服务中断的排查过程。分析了官方升级脚本因正则缺陷误判 Docker Compose 未安装、进而硬重启 Docker 导致断网的根因,并详细分享了通过手动离线镜像加载修复 invalid reference format 报错、修正 compose.yaml 变量语法及 .env 配置的完整实战步骤,助您在升级前避坑。