Typst 中的增量编译：Rust 核心的解析与部分求值实现
在 Typst 的 Rust 核心中实现增量解析和部分求值，支持大型文档实时编辑的亚秒级反馈。
2025-09-29compiler-design2025-09
Latest Essays
最新见解 · 第 995 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
从零实现 LLM 的 Beam Search 生成：结合剪枝与 Top-p 采样优化 PyTorch 推理
面向自定义 Transformer 解码器，给出 Beam Search 结合剪枝和 Top-p 采样的 PyTorch 实现，以及针对内存和延迟的优化参数与策略。
2025-09-29ai-systems2025-09
Openpilot 中使用扩展卡尔曼滤波融合 IMU/GPS/相机输入实现车辆姿态估计
探讨 Openpilot 如何通过 EKF 融合多传感器数据，实现实时车辆位置和路径预测，提供工程参数和监控策略。
2025-09-29ai-systems2025-09
构建 AI 代码生成运行时幻觉检测器：语义差异与自动单元测试实践
针对 AI 代码生成后的逻辑错误，提供使用语义差异分析和自动单元测试的运行时检测框架，包括关键参数配置和监控策略。
2025-09-29ai-systems2025-09
构建运行时监视器检测AI代码陷阱：动态跟踪与异常评分
针对AI生成代码的幻觉API和安全漏洞，介绍运行时监视器的构建方法，包括动态跟踪技术、异常评分模型，以及工程化参数如阈值设置和监控清单，帮助实现实时检测与风险缓解。
2025-09-29ai-systems2025-09
用户空间实现 9P 文件协议与 rfork 进程模型：Unix 系统上的可移植分布式计算
探讨 Plan 9 from User Space 如何在用户空间实现 9P 协议和 rfork 模型，支持无需内核修改的分布式计算，提供安装参数和监控要点。
2025-09-29systems-engineering2025-09
无分支编程：条件执行优化的算术与位运算技巧
面向性能关键代码，使用算术和位运算替换条件分支，减少分支预测错误惩罚，并启用SIMD矢量化。提供C语言示例、掩码生成参数及应用清单。
2025-09-29compiler-design2025-09
用600行C代码构建最小Scheme到WebAssembly编译器
面向Scheme到WASM的编译，探讨利用WASM GC实现高效垃圾回收和轻量运行时集成的工程实践。
2025-09-29compiler-design2025-09
PostgreSQL 18 中并行 Vacuum 和增量备份的实现
针对生产 Postgres 集群，介绍并行 Vacuum 加速大表维护与增量备份减少停机时间的工程实践，包括配置参数与监控要点。
2025-09-29systems-engineering2025-09
RabbitMQ Streams 中的代理端过滤实现
探讨 RabbitMQ Streams 的服务器端消息过滤机制，实现可扩展的消息路由，避免客户端轮询。
2025-09-29systems-engineering2025-09
GraalVM 独立二进制：脱离 JDK 生态的工程化部署
探讨 GraalVM 如何通过独立二进制实现与 JDK 更新解耦，简化 polyglot 应用部署，并在 CI/CD 管道中加速 native image 构建，提供工程参数和最佳实践。
2025-09-29compiler-design2025-09
Typst 中集成 Rust 函数实现动态图表与方程生成
通过 Typst 包系统嵌入 Rust 函数，从数据源自动化构建技术文档中的动态图表和数学方程，提供集成参数与监控要点。
2025-09-29compiler-design2025-09
JavaScript构建高性能LLM推理引擎：WebLLM的技术突破与架构实践
深入解析WebLLM如何通过WebGPU加速、MLC编译技术和三层架构设计，在浏览器中实现OpenAI兼容的高性能LLM推理引擎。
2025-09-29ai-systems2025-09
实现混合人类-AI 代码验证管道以缓解 AI 编码陷阱
面向工程工作流，给出自动化幻觉检测、安全扫描与人类审查的混合管道参数与实施要点。
2025-09-29ai-systems2025-09
PyTorch 构建 LLM 的推理优化：KV 缓存融合、动态批处理与量化实现亚百毫秒延迟
在 PyTorch 从零实现的 LLM 中，探讨 KV 缓存融合、动态批处理和量化技术如何优化推理，实现实时应用的亚百毫秒延迟，提供工程参数与监控清单。
2025-09-28ai-systems2025-09
OpenAI o1 模型中链式思考优化的工程实践：多步推理的延迟降低与准确提升
针对 OpenAI o1 模型的链式思考（CoT）优化，提供 AI agents 中多步推理的结构化分解策略、延迟阈值参数及准确率监控要点。
2025-09-28ai-systems2025-09
利用 Groq LPU 架构实现超低延迟 LLM 推理加速：张量流式与内存带宽优化
面向 LLM 推理流水线，利用 Groq LPU 的 TSP 和高带宽 SRAM，给出优化参数、集群配置与性能监控策略。
2025-09-28ai-systems2025-09
优化 zk-SNARK 证明生成：以太坊 L2 Rollups 中的隐私保护交易
针对隐私保护交易，优化 zk-rollups 中的 zk-SNARK 证明生成，并集成 EVM 以实现高效零知识验证。
2025-09-28ai-systems2025-09
Rust 中 Fork Union 的无锁分叉-合并池：高效递归任务分解与工作窃取
探讨 Rust Fork Union 库的无锁分叉-合并实现，针对分治算法的递归分解和工作窃取机制，优于 OpenMP 的静态调度，提供工程参数与监控要点。
2025-09-28systems-engineering2025-09
Python 类型提示与运行时验证集成
在 Python 服务中集成运行时类型验证与静态提示，实现动态错误恢复和可观测性指标，提升生产可靠性。
2025-09-28systems-engineering2025-09