Post-Code Engineering Lab
探索后代码时代
的工程范式
AI-Native 软件工程实验室 · 记录正在发生的变化
从代码到意图,从工具到基础设施
287 篇文章
612 个标签
4 个系列
01
系列专题
02
最新文章
287 篇 2026-09-09 Daily Three Time Travel Cost Aware Protocol Inference 每日三条 · 2026-09-09:软件 / AI / 软件工程前沿 → 2026-09-09 Cost Aware Agent Scheduling Parallel Inference Cost-Aware Agent Scheduling:并行推理不是银弹 → 2026-09-07 论文笔记:Trajectory Assurance — 安全的边界从单点变成轨迹 论文笔记:Trajectory Assurance — 安全的边界从单点变成轨迹 → 2026-09-07 论文笔记:Self-Improving Coding Agents — 跨会话行为规则积累 论文笔记:Self-Improving Coding Agents — 跨会话行为规则积累 → 2026-09-07 当模型改太多:最小编辑保真度,代码修复质量被忽视的那一轴 当模型改太多:最小编辑保真度,代码修复质量被忽视的那一轴 → 2026-09-07 需求在第一次编辑之后才来:3,553 条真实会话的量化证据 需求在第一次编辑之后才来:3,553 条真实会话的量化证据 → 2026-09-07 LSP + LLM + 形式化验证器:Eiffel-tools 的可重试闭环 LSP + LLM + 形式化验证器:Eiffel-tools 的可重试闭环 → 2026-09-07 Daily Three Edit Fidelity Lsp Verifier Late Requirements 每日三条 · 2026-09-07:软件 / AI / 软件工程前沿 → 2026-09-07 论文笔记:ACID-Compliant Agent Systems — 给 Agent 执行加上事务语义 论文笔记:ACID-Compliant Agent Systems — 给 Agent 执行加上事务语义 → 2026-09-06 OpenAgentFlow:多Agent舰队需要系统级安全边界 一个数字让我停下来想了很久:0.64。 →