DN42 BGP拓扑发现与AI Agent自适应扫描策略
解析实验性BGP网络DN42的拓扑特性，探讨AI Agent在去中心化网络环境中的自适应扫描路径规划与参数优化策略。
2026-06-12systems2026-06
Latest Essays
最新见解 · 第 11 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
MaxProof证明生成管道的四层验证与保证传递机制
解析MaxProof框架中将数学问题转化为可靠证明的端到端管道：从防御式验证器设计到种群级测试时扩展，以及CISPO强化学习算法的工程化实现。
2026-06-12ai-systems2026-06
工程团队如何用数据叙事呈现「负代码行数」的价值
从指标选择下沉到指标沟通：用仪表板、内部博客和可视化手段，将代码删减重构量化为可度量的技术债清偿价值。
2026-06-12mlops2026-06
邮件认证基础设施化：AI 时代的信任防线与可落地配置
从 Fastmail 的邮件未来愿景出发，解析 SPF/DKIM/DMARC/BIMI/ARC 技术栈如何在 AI 自动化处理邮件的场景下成为唯一信任防线，并提供可落地的域名认证配置参数与渐进强化策略。
2026-06-12systems2026-06
MaxProof 形式化验证证明生成：混合推理与群体级扩展的工程实践
解析 MaxProof 在密码学形式化验证中的证明生成机制，涵盖生成-验证强化学习循环、混合推理架构与群体级测试时扩展策略，提供可落地的工程参数与实施清单。
2026-06-12security2026-06
陶哲轩的AI数学实践：从Lean形式化到人机协作验证流程
解析菲尔兹奖得主陶哲轩推动AI数学研究的具体方法论：模块化证明分解、Lean自动验证与大规模人机协作的工程化实践。
2026-06-12ai-systems2026-06
逆向Ryanair暗模式：构建可复用的用户操纵检测框架
基于Ryanair 2026夏季新版预订流程，拆解三种核心Dark UX模式的工程实现，并给出可落地的自动化检测框架设计参数与实施清单。
2026-06-12web2026-06
Kimi K2.7-Code Token 效率优化与长上下文代码补全成本分析
解析 Kimi K2.7-Code 的 MoE 稀疏激活、MLA 注意力机制与 INT4 量化策略，提供长上下文代码补全场景的推理成本计算与部署参数建议。
2026-06-12ai-systems2026-06
WikiLambda 可执行知识函数运行时设计：多语言编排与沙箱隔离
解析 WikiLambda 的三层架构设计，探讨多语言函数编排的实现机制与基于 WASM 的沙箱安全隔离策略，为构建可执行知识系统提供工程化参考。
2026-06-12systems2026-06
AUR包完整性验证机制：从CHAOS RAT供应链攻击看社区仓库安全审查
基于2025年7月AUR供应链攻击事件，剖析PKGBUILD信任边界问题，提供从源码校验、构建隔离到组织级审查流程的完整安全实践方案。
2026-06-12security2026-06
从转描动画到状态机：1989年Prince of Persia的48KB内存工程
解析Jordan Mechner如何在Apple II的48KB内存约束下，通过rotoscoping转描技术与精简状态机设计，实现流畅的角色动画与物理系统。
2026-06-12game-systems2026-06
构建 AI 数学证明的形式化验证流水线：从定理发现到 Lean 验证的工程实践
结合 LLM 定理发现与 Lean/Coq 证明器，构建可验证的数学推导自动化流水线，实现人机协作的数学研究新范式。
2026-06-12ai-systems2026-06
跨境数据合规技术架构：数据驻留、端到端加密与司法管辖隔离的工程实践
构建跨境数据访问的合规技术架构，实现数据驻留策略、端到端加密与司法管辖隔离的工程实践，涵盖区域固定、混合云架构与密钥管理。
2026-06-12security2026-06
请求人类注意力时，请证明你付出了人类努力
从信号经济学视角构建团队沟通中的effort demonstration机制，用低成本信号过滤AI生成内容的注意力噪音。
2026-06-12systems2026-06
AI Agent主动行为节流：从成本爆炸到可控自治的工程设计
构建AI Agent的三层防御体系：基于Token预算的分层限流、动态熔断机制与资源队列设计，防止无节制自主操作导致的成本失控。
2026-06-12ai-systems2026-06
Claude Fable主动行为模式与AI Agent决策边界工程框架
剖析Claude Fable的relentlessly proactive行为特征，构建AI agent主动决策边界控制与意图推断的工程框架，解决过度自主导致的工具滥用风险。
2026-06-12ai-systems2026-06
流式语音填充词消除的实时处理架构：从erm CLI到在线Pipeline的工程化实践
探讨将离线填充词检测工具erm迁移至流式场景的架构设计，涵盖VAD触发、滑动窗口缓冲、过零检测与动态交叉淡入淡出等关键技术参数。
2026-06-12systems2026-06
Agent主动行为熔断机制设计：防止Claude Fable过度自主导致的API滥用
针对Claude Fable等Agent框架的主动行为特性，设计分层熔断机制，包含阈值配置、冷却策略与恢复流程，防止API滥用和资源耗尽。
2026-06-12ai-systems2026-06
Claude Fable 编码评测落差分析：工具链与人工审查的互补策略
基于 Endor Labs 200 个真实漏洞修复任务评测数据，分析 Claude Fable 5 在 FuncPass 59.8%、SecPass 19.0% 背后的超时、记忆化与长任务可靠性问题，提出 AI 评测工具链与人工代码审查的互补策略。
2026-06-12ai-systems2026-06
从贪心匹配到动态规划：子词最优分割的工程实践
探索子词分割算法的工程优化路径，从贪心BPE到动态规划最优分割，实现词汇表压缩与跨语言泛化的双重提升。
2026-06-12ai-systems2026-06