使用 PGLinter 进行 PostgreSQL AST 代码检查：模式验证与索引建议
通过 PGLinter 扩展，利用 PostgreSQL 的 AST 解析实现开发时数据库最佳实践强制执行，包括 schema 验证、查询反模式检测和自动化索引建议。提供配置规则、CI 集成要点和落地参数。
2025-10-12systems-engineering2025-10
Latest Essays
最新见解 · 第 811 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
在 ATLAS 推测解码中实现内核融合：减少 75% 内存带宽并实现 4x LLM 推理加速
本文聚焦 ATLAS 系统的推测解码优化，通过 CUDA 内核融合减少 75% 内存带宽，实现多 GPU 上 4x LLM 推理加速，提供动态 draft 模型适应参数与工程落地清单。
2025-10-12ai-systems2025-10
Rust 宏高级实现：声明式代码生成与可变参数 splats
探讨 Rust 2025 版中宏的 splats 技术，用于 variadic patterns 和编译时优化，实现高效的声明式代码生成。
2025-10-12compiler-design2025-10
形式验证的实际失败：Rust 中的时序侧信道、UB 利用与规范缺口
分析验证系统在实践中的三大陷阱，并提供 Rust 工程化案例下的防范参数与监控清单。
2025-10-12ai-security2025-10
使用 TensorFlow Lite Micro 在微控制器上实现高效机器学习推理
面向微控制器高效 ML 推理，给出 TFLM 量化部署与电池优化的工程参数与监控要点。
2025-10-12ai-systems2025-10
实现 MAML 的模式验证、插值与模块化包含：构建类型安全的应用配置
探讨 MAML 配置的模式验证、插值机制与模块化设计，提供工程化参数与最佳实践清单。
2025-10-12systems-engineering2025-10
ATLAS 中实现自适应草稿模型训练：动态学习推测模式与阈值调整
在 ATLAS 系统中，通过历史验证动态学习推测模式，调整接受阈值，提升多 GPU LLM 推理效率的工程实践与参数配置。
2025-10-12ai-systems2025-10
oavif 目标质量 AVIF 压缩：早停优化与感知质量工程
面向 AVIF 编码，提供率失真早停和感知指标的参数配置与监控要点，实现高效目标质量压缩。
2025-10-12systems-engineering2025-10
工程化 AVIF 编码器实现固定质量目标
通过在率失真优化中使用早停机制和感知质量指标，实现 AVIF 编码 2-3 倍加速而不损失质量的工程实践。
2025-10-12systems-engineering2025-10
使用约束满足求解器优化 Minecraft 物品捆绑
面向 Minecraft 物品捆绑优化，给出约束满足问题的建模与回溯算法的工程化参数与监控要点。
2025-10-12ai-systems2025-10
解决 Kotlin Javac 前端土耳其语 Unicode 排序缺陷
针对 Kotlin 编译器 Javac 前端中土耳其语字母排序的 Unicode 缺陷，提供断线续传与超时参数的工程化配置与监控要点。
2025-10-12compiler-design2025-10
工程化混合形式验证与运行时监控：应对生产系统规格不完整与工具假设违反
面向生产系统，给出形式验证与运行时监控的混合工程方法，针对规格不完整和假设违反，提供参数配置与监控策略。
2025-10-12systems-engineering2025-10
Deploying Optimized AI Models on Edge Devices with ONNX Runtime
通过 ONNX Runtime 在边缘设备上实现高效本地推理，涵盖量化、硬件加速及与 Windows ML 框架的集成，提供工程参数和最佳实践。
2025-10-12ai-systems2025-10
在 PyTorch Diffusers 中实现管道并行、LoRA 微调与自定义噪声调度器：可扩展图像/视频/音频生成工程实践
基于 Hugging Face Diffusers，阐述管道并行分布式推理、LoRA 高效微调及自定义噪声调度器的 PyTorch 实现，提供参数配置与优化清单。
2025-10-12ai-systems2025-10
用 Rust 工程化 Helix 的模态编辑：Tree-sitter 解析与 LSP 支持
剖析 Helix 编辑器中 Rust 实现的模态编辑机制，结合 Tree-sitter 语法树解析和 LSP 补全功能，提供高效代码编辑工作流的参数与导航要点。
2025-10-12systems-engineering2025-10
Together AI 多GPU服务中混合长度LLM请求的动态批处理实现：优化填充与排序策略
探讨在Together AI平台上实现动态批处理以处理变长序列LLM请求，优化填充策略和多GPU分布，提升吞吐量而无需固定批大小。提供工程参数和监控要点。
2025-10-12ai-systems2025-10
NewBASIC解释器中的字符串操作、数学函数与磁带模拟集成
使用现代C语言从零构建BASIC解释器，聚焦1980s兼容的字符串处理、内置数学函数实现，以及磁带模拟的工程化参数与监控要点。
2025-10-12compiler-design2025-10
从零实现 BASIC 解释器：字符串分词、数学函数与磁带 I/O 模拟
在现代 C 中从头构建 BASIC 解释器，聚焦字符串处理、TAN/ATN 等数学函数以及磁带 I/O 仿真，提供具体参数与实现清单以实现精确的复古行为。
2025-10-12compiler-design2025-10
使用 agent-shell v0.5 提升代理工作流：工具调用链与状态持久化
agent-shell v0.5 通过 ACP 协议优化工具调用链、会话状态管理和多步错误恢复，提供 Emacs 原生代理集成的工程参数与监控要点。
2025-10-12ai-systems2025-10
Together AI 多GPU动态批处理与张量并行：处理变长序列实现亚100ms延迟与2倍吞吐提升
在Together AI的多GPU环境中，实现动态请求批处理与张量并行，优化变长序列推理，达到亚100ms延迟并比静态方法提升2倍吞吐，提供工程参数与监控要点。
2025-10-12ai-systems2025-10