Post-Code Engineering

310 篇文章

680 个标签

4 个系列

01

系列专题

操作系统时代的 Agent 设计、架构与实现

10 篇 · 完结→

构建 AI 记忆系统的理论与实践

10 篇 · 更新中→

AI-Native 安全

AI 时代的安全挑战与防御策略

8 篇 · 更新中→

AI-Native 软件工程的全方位探索

58 篇 · 更新中→

02

最新文章

310 篇

2026-09-10 论文笔记：Autonomous Research Agents — 验证鸿沟才是真正的瓶颈论文笔记：Autonomous Research Agents — 验证鸿沟才是真正的瓶颈 ⏱️ 1 分钟 → 2026-09-09 Time Travel Debugging Training Signal Agents Time-Travel Debugging：如何用轨迹训练信号把 SWE Agent 从「试错机器」变成「可解释归因器」 ⏱️ 1 分钟 → 2026-09-09 Docless Apis Llm Protocol Inference Docless APIs：LLM 从二进制和流量里重建隐式契约 ⏱️ 1 分钟 → 2026-09-09 Daily Three Time Travel Cost Aware Protocol Inference 每日三条 · 2026-09-09：软件 / AI / 软件工程前沿 ⏱️ 1 分钟 → 2026-09-09 Cost Aware Agent Scheduling Parallel Inference Cost-Aware Agent Scheduling：并行推理不是银弹 ⏱️ 1 分钟 → 2026-09-07 论文笔记：Trajectory Assurance — 安全的边界从单点变成轨迹论文笔记：Trajectory Assurance — 安全的边界从单点变成轨迹 ⏱️ 1 分钟 → 2026-09-07 论文笔记：Self-Improving Coding Agents — 跨会话行为规则积累论文笔记：Self-Improving Coding Agents — 跨会话行为规则积累 ⏱️ 1 分钟 → 2026-09-07 当模型改太多：最小编辑保真度，代码修复质量被忽视的那一轴当模型改太多：最小编辑保真度，代码修复质量被忽视的那一轴 ⏱️ 1 分钟 → 2026-09-07 需求在第一次编辑之后才来：3,553 条真实会话的量化证据需求在第一次编辑之后才来：3,553 条真实会话的量化证据 ⏱️ 1 分钟 → 2026-09-07 LSP + LLM + 形式化验证器：Eiffel-tools 的可重试闭环 LSP + LLM + 形式化验证器：Eiffel-tools 的可重试闭环 ⏱️ 1 分钟 →

查看全部文章 →