推理完整性证明：如何用加密验证阻止供应商隐瞒模型量化状态
通过 Tinfoil 的三层验证架构，从硬件可信执行环境到模型权重只读存储，构建可证明的推理完整性链路。
2026-02-21ai-systems2026-02
Latest Essays
最新见解 · 第 261 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
Invisible Types, Safe Ownership, and Algebraic Effects in Loon Language
深入解析 Loon 函数式语言的 invisible types、safe ownership 与 algebraic effects 三大特性，探讨运行时安全与表达力的平衡设计。
2026-02-21compilers2026-02
Cloudflare 2026年2月20日 outage 技术根因与 CDN 容错设计分析
深入分析 Cloudflare BYOIP 服务的 BGP 前缀撤回事件，探讨大规模 CDN 基础设施的配置变更管控与故障恢复策略。
2026-02-21systems2026-02
从数据到体验：Meta 平台内容质量崩塌的工程根因分析
通过一个真实用户时隔八年回归 Facebook 的体验切片，剖析推荐算法优化目标偏移如何导致社交网络内容生态的系统性退化。
2026-02-21web2026-02
90年代拨号上网的工程体验：从调制解调器音频到现代网络差异
深入解析56k调制解调器的工作原理、连接协议与怀旧技术体验，对比现代网络的关键差异。
2026-02-21systems2026-02
全自动渗透测试智能体系统 PentAGI 的多智能体协调架构解析
深入解析 PentAGI 如何通过多智能体协调、知识图谱集成与智能上下文管理实现全自动渗透测试的工程实践。
2026-02-21security2026-02
低功耗嵌入式系统的 Permacomputing 实践：能量采集与可持续设计路径
探索 Permacomputing 范式在低功耗嵌入式硬件上的工程实现，从能量采集架构到间歇计算固件模式的具体技术路径。
2026-02-21systems2026-02
工程人员安全审查表格填写指南：应避免的表述与常见错误
针对政府合同安全审查表格（SF-86/eQIP）的填写技巧，解析常见表述陷阱与审查延误风险，帮助工程人员一次性通过安全审查。
2026-02-21security2026-02
Rust 重写 Wolfenstein 3D：内存安全改造与性能优化实践
基于 iron-wolf 项目探讨 Rust 源码级移植经典游戏引擎的内存安全管理策略与性能调优方法。
2026-02-21systems2026-02
安全研究员收到律师函后的应对策略与法律边界
通过德国安全研究员Yannick Dixken的真实案例，分析漏洞披露过程中法律风险的识别、应对与防御要点。
2026-02-21security2026-02
CIA 泄露文档中的 Git 分支清理命令：设计意图与工程实践
分析 CIA 内部开发者文档中泄露的 Git 单行命令，解析其设计思想与规模化项目中的工程化实践参数。
2026-02-21systems2026-02
macOS Seatbelt沙箱在AI Agent执行隔离中的工程实践
解析Seatbelt沙箱约束在AI Agent多轮对话隔离中的工程实践，聚焦进程级安全边界与LLM工具调用风险控制的关键参数。
2026-02-21security2026-02
CXMT DRAM定价策略分析：以低于市场价50%抢占市场的深层逻辑与供应链影响
分析中国CXMT如何以约50%市场价销售DDR4，探讨其定价策略背后的国家支持、产能扩张逻辑，及对全球存储器供应链的深远影响。
2026-02-21systems2026-02
GitNexus：纯浏览器端代码知识图谱与 Graph RAG 的实现架构
解析 GitNexus 如何在浏览器中实现零服务端的代码知识图谱构建与 Graph RAG 代理，涵盖 WebAssembly 图数据库、混合检索与隐私优先架构。
2026-02-21ai-systems2026-02
深入 Lean 4 定理证明器内核架构：依赖类型理论与战术引擎详解
剖析 Lean 4 定理证明器的三层架构设计，详解核心依赖类型理论实现、战术引擎的元编程框架与 AI 验证系统的工程实践。
2026-02-21compilers2026-02
本地 AI 推理的平台化赌注：GGML 加入 Hugging Face 的工程动因与长期可持续性分析
从工程视角剖析 GGML 团队加入 Hugging Face 的核心动机，探讨本地 AI 推理生态如何通过平台化实现资源可持续与技术长期演进。
2026-02-21ai-systems2026-02
Loon 隐形类型系统、安全所有权与代数效应的设计解析
深入解析新型函数式语言 Loon 如何通过 Hindley-Milner 推断实现隐形类型、编译器驱动的安全所有权以及代数效应统一 IO、错误与状态。
2026-02-21compilers2026-02
1988年安全审查表格填写禁忌与历史演变工程伦理启示
通过考古1988年前后的安全审查表格填写禁忌，对比现代安全审查制度的演变，提炼工程伦理实践的核心原则与可操作参数。
2026-02-21security2026-02
2比特单元优化：布隆过滤器准确率提升50%的工程实践
通过将布隆过滤器的单比特单元替换为2比特结构，在相同内存占用下实现假阳性率减半的工程实现方案。
2026-02-21systems2026-02
Lean 4 内核解析：依赖类型论与证明检查器工作机制
深入解析 Lean 4 定理证明器的核心架构：依赖类型论形式化基础、内核证明检查器的判定过程、tactics 自动化引擎的元编程设计，以及函数式编程范式在其中的系统性应用。
2026-02-21compilers2026-02