Typst 中通过依赖图构建增量编译管道：部分重解析与缓存失效优化
面向大型 Typst 文档，给出依赖图、部分重解析和缓存失效的工程化实现与参数配置要点。
2025-10-01compiler-design2025-10
Latest Essays
最新见解 · 第 984 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
使用 Atuin Desktop 可执行运行手册编排自动化运维工作流
通过 Atuin Desktop 的开源引擎，实现声明式运行手册执行和有状态自动化，简化 Ops 工作流管理，提供实时执行和协作支持。
2025-10-01systems-engineering2025-10
在动态环境中实现 Epsilon-Greedy 和 UCB 老虎机算法
针对动态决策系统，提供 epsilon-greedy 和 UCB 算法的工程实现、遗憾最小化参数及置信界探索策略。
2025-10-01ai-systems2025-10
使用 Claude Code 实现终端 AI 代理：Git 自动化与低延迟状态管理
基于 Claude Code 的终端 AI 代理，实现代码库探索、Git 工作流自动化和自然语言任务执行，重点优化低延迟状态管理参数。
2025-10-01ai-systems2025-10
开发 GDB 风格的 VCD 波形文件 CLI 调试器：信号转换断点与 HDL 层次检查
面向硬件验证工作流，设计 jpdb CLI 工具，支持 VCD 文件的信号转换断点设置、HDL 层次变量检查与脚本化重放，提供工程化参数与监控要点。
2025-10-01systems-engineering2025-10
Hands-On DevOps Exercises for SRE Preparation
精选模块化练习，帮助掌握 Linux、Kubernetes、AWS CI/CD 和监控等 DevOps 管道，模拟真实 SRE 场景和面试挑战。
2025-10-01systems-engineering2025-10
Cortex-M 裸机预emptive 多任务调度：SysTick、优先级队列与上下文切换
在 ARM Cortex-M 上实现裸机预emptive 多任务调度，利用 SysTick 定时器、优先级队列和高效上下文切换，确保实时嵌入式应用的响应性和效率。
2025-10-01systems-engineering2025-10
ZFS 加密根恢复工程工作流：zdb 检查、手动密钥导入与池擦洗
面向 ZFS 加密根元数据损坏，给出 zdb 诊断、手动密钥加载和池擦洗的恢复参数与监控要点。
2025-10-01systems-engineering2025-10
2025 年现代 BASIC 解释器的性能重实现
面向 2025 硬件，优化 BASIC 解释器的解析、字节码 VM 与 JIT 编译，提供工程参数与监控要点。
2025-10-01compiler-design2025-10
构建 MCP 服务器实时提示分析引擎：跟踪 LLM 响应质量与异常检测
面向 MCP 服务器，设计实时提示分析引擎，用于监控 LLM 输出质量、识别异常并基于使用模式自动优化提示。提供工程参数、错误分类与落地清单。
2025-10-01ai-systems2025-10
Implementing Patience and Histogram Diff for Efficient LCS in Large File Version Control
在版本控制系统中处理大文件差异时，耐心和直方图 Diff 算法通过启发式方法优化最长公共子序列（LCS）检测，提供可读性和性能参数配置要点。
2025-10-01systems-engineering2025-10
构建 CSmith：通过随机测试发现 C 编译器优化 Bug
介绍构建随机测试工具 CSmith 的核心机制，使用差分测试验证多后端 C 编译器，提供安全生成参数与监控策略。
2025-10-01compiler-design2025-10
晶圆级芯片高带宽互连工程
针对Cerebras WSE，探讨高带宽互连与热管理设计，支持分布式AI训练，提供工程参数与监控要点。
2025-10-01ai-systems2025-10
Airweave：构建AI代理的语义搜索层，实现零代码SaaS数据接入
Airweave 通过语义搜索层，让 AI 代理自然语言查询任意 SaaS 应用数据，支持零代码集成和实时访问，提供工程化参数与监控要点。
2025-10-01ai-systems2025-10
LLM 编排资产生成与多模态合成：MoneyPrinterTurbo 的自动化视频生产实践
基于 MoneyPrinterTurbo，探讨 LLM 驱动的资产生成、多模态融合与自动化视频制作的关键参数与优化策略。
2025-10-01ai-systems2025-10
工程化 Extract-0：针对非结构化文档的精确信息提取
探讨 Extract-0 等专用 LLM 的工程设计，通过针对性预训练提升非结构化文档信息提取精度，并与 RAG 管道集成实现可扩展部署。
2025-10-01ai-systems2025-10
Go SSA 后端中使用干扰图的线性扫描寄存器分配实现
探讨Go编译器SSA后端中线性扫描寄存器分配的实现，包括干扰图用于溢出和活范围分割的优化策略，以及多寄存器架构下的参数设置。
2025-10-01compiler-design2025-10
Sora 2 中工程提示层次与一致性层：维持长视频角色身份与场景连贯性
在Sora 2的扩散模型中，通过构建提示层次和一致性层，实现长形式视频生成的角色身份保持和场景连贯性，提供工程参数与落地清单。
2025-10-01ai-systems2025-10
工程化代理循环：结构化规划-执行-反思周期中的工具使用与错误恢复
探讨代理循环的工程设计，通过规划-执行-反思周期集成工具调用和错误恢复机制，实现鲁棒的多步AI自动化。提供可落地参数和监控要点。
2025-10-01ai-systems2025-10
基于Szeliski第二版工程化高效CV管道：特征匹配、多视图几何与经典-DL混合方法用于实时应用
从Szeliski第二版出发，探讨特征匹配、多视图几何及经典-DL混合在实时CV管道中的工程实践，提供优化参数与落地清单。
2025-10-01ai-systems2025-10