在512字节x86引导扇区汇编中实现Pong游戏
探讨在极致字节限制下，用x86汇编和BIOS中断实现Pong游戏的核心循环、键盘控制与像素图形绘制，提供可操作的代码结构与优化参数。
2025-11-19systems-engineering2025-11
Latest Essays
最新见解 · 第 662 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
Mojo-V：工程化 RISC-V 硬件 enclave 实现秘密计算
探讨 Mojo-V 项目如何通过 RISC-V 扩展构建硬件 enclave，支持嵌入式系统中的隔离执行和认证，实现无信任硬件假设下的安全多方机器学习。
2025-11-19ai-security2025-11
macOS 系统调用追踪：利用 Mach 异常端口实现进程注入与实时拦截
探讨在 macOS 上使用 Mach 异常端口进行系统调用实时追踪的工程实践，绕过 ptrace 限制，实现无内核模块的用户空间调试，包括进程注入参数和异常处理要点。
2025-11-19systems-engineering2025-11
macOS 上实现 strace：使用 libproc 和 Mach API 进行系统调用追踪
探讨在 macOS 上无需内核扩展实现 ptrace-like 系统调用拦截的技术，利用 libproc 获取进程信息、Mach API 进行调试控制，包括参数解析、多架构支持和工程化参数配置。
2025-11-19systems-engineering2025-11
Mojo-V 中 RISC-V 扩展的保密计算工程实践
探讨 Mojo-V 在 RISC-V 中的保密计算扩展，包括加密指令、安全 enclave 和远程认证的工程实现与参数优化。
2025-11-19ai-security2025-11
LLM 长链中基于 Monte Carlo 的验证预言机：概率错误边界与自适应回滚工程
面向长 LLM 链，利用 Monte Carlo 模拟构建验证预言机，实现概率错误边界评估和自适应回滚机制，确保百万步任务零错误执行。
2025-11-19ai-systems2025-11
使用 ADK-Go 进行代码优先的 AI 代理构建
利用 Go 语言的 ADK 工具包，代码优先构建 AI 代理，包括自定义工具、内存管理和规划循环，用于多代理系统的灵活部署。
2025-11-19ai-systems2025-11
三哩岛PWR反应堆重启为AI供电：西门子数字控制与电网稳定性
面向AI数据中心能源需求，分析三哩岛1号机组重启工程，包括西门子数字控制系统集成、835MW基载输出、电网稳定机制及安全改造参数。
2025-11-19systems-engineering2025-11
Cloudflare BGP Route Leak Recovery Automation
在 Cloudflare 的 anycast 网络中，工程化 BGP 路由监控、异常检测和故障转移编排，实现亚分钟全球中断恢复。
2025-11-19systems-engineering2025-11
LightRAG 中基于查询复杂度的动态关系剪枝阈值调整
在 LightRAG 的实时 RAG 管道中，开发运行时启发式来根据查询复杂度动态调整关系剪枝阈值，实现检索延迟与召回准确性的权衡。
2025-11-19ai-systems2025-11
OrthoRoute中GPU内核优化：扇出布线与过孔扇入以最小层数处理高密度PCB
针对高密度PCB设计，优化OrthoRoute的GPU内核实现高效扇出布线和过孔扇入策略，减少层数需求，提供工程参数与监控要点。
2025-11-19systems-engineering2025-11
蓝牙信道探测：基于相位测距和往返时间协议的工程实现
探讨蓝牙LE 6.0中基于相位测距（PBR）和往返时间（RTT）的协议工程，实现厘米级距离测量。提供硬件配置、参数优化和安全考虑，支持安全接近验证与室内资产跟踪。
2025-11-19systems-engineering2025-11
工程化验证预言机：LLM长链中的概率误差界与蒙特卡洛模拟
针对百万步LLM任务链，介绍使用概率误差界和Monte Carlo模拟构建验证预言机，实现零误差执行并优化回滚阈值。
2025-11-19ai-systems2025-11
无分支 FizzBuzz：使用模运算和位掩码的 SIMD 向量化实现
通过模运算和位掩码实现无分支 FizzBuzz，优化性能敏感整数循环中的 SIMD 向量化，减少流水线停顿。
2025-11-19compiler-design2025-11
使用 WebGL 实现的互动 3D 三体混沌模拟器
本文介绍如何在浏览器中使用 WebGL 和 Three.js 实现三体问题互动模拟器，支持实时轨道可视化和参数调整，提供关键工程参数和最佳实践。
2025-11-19application-security2025-11
Fine-Grained Reward Decomposition and Propagation in VERL for Scalable Multi-Agent LLM RL
在 VERL 框架中，实现细粒度奖励分解和基于阈值的传播机制，支持 LLM 强化学习中的多代理协作，针对长时序任务最小化错误传播，提供工程化参数与监控要点。
2025-11-19ai-systems2025-11
用 Rust 重实现 pre-commit 钩子，实现更快的 Git 验证管道
通过 Rust 重写 pre-commit 钩子，可实现 Git 验证管道 10 倍加速，减少 Python 在 CI/CD 中的运行开销。提供工程化参数和监控要点。
2025-11-19systems-engineering2025-11
LLM 链中验证预言机与概率错误界的设计
在长时程 LLM 编排的组合任务图中，设计验证预言机和概率错误界，以实现零错误百万步执行。
2025-11-19ai-systems2025-11
浏览器中 Three.js 实现的实时三体问题 n-body 引力模拟与碰撞检测
探讨浏览器端 n-body 模拟的工程实现，包括引力计算、3D 可视化、碰撞处理与性能参数。
2025-11-19application-security2025-11
Antigravity 浏览器环境中 AI 代码生成的运行时防护栏工程化
针对 Google Antigravity 的 AI 合成代码，在浏览器中构建运行时验证层和沙箱执行，缓解注入风险，确保安全重构。
2025-11-19ai-systems2025-11