使用 PostgreSQL 实现 DBOS 风格的 Go 持久化工作流：容错重试与检查点
借鉴 DBOS 理念，在 Go 语言中构建容错工作流系统，利用 PostgreSQL 持久化状态，实现自动重试、检查点恢复和精确一次语义，支持分布式任务编排。
2025-10-03systems-engineering2025-10
Latest Essays
最新见解 · 第 973 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
将 PQXDH 密钥协商和 PQ 棘轮集成到 Signal 双棘轮协议中，实现量子抗性前向保密
面向量子威胁，集成 PQXDH 和 PQ 棘轮到 Signal 协议，实现高效量子抗性前向保密与去同步抵抗。
2025-10-03ai-security2025-10
使用条件移动优化 RISC-V 代码以提升分支预测性能
在嵌入式系统中，利用 Zicond 扩展实现条件移动，减少分支误预测，提高循环性能，提供编译器优化策略。
2025-10-03compiler-design2025-10
使用 DBOS 实现 PostgreSQL 支持的 Go 函数耐久工作流编排
面向容错 Go 函数编排，给出 DBOS 与 PostgreSQL 的耐久机制、exactly-once 参数与恢复策略。
2025-10-03systems-engineering2025-10
在 Tunix 中使用 vmap/pmap 工程化 JAX 原生蒸馏工作流：多 TPU 并行 LLM 对齐与微调
面向多 TPU 环境，给出 Tunix 中 JAX vmap/pmap 驱动的蒸馏工作流参数与并行策略。
2025-10-03ai-systems2025-10
使用 Tunix 构建分布式 LLM 对齐管道：基于 JAX pmap 的多 TPU 编排
探讨在 Tunix 中利用 JAX pmap 实现分布式 LLM 对齐管道，包括奖励建模、PPO 更新及梯度检查点以提升内存效率。
2025-10-03ai-engineering2025-10
Claude Agent SDK 中并行工具调用的编排：多API实时数据聚合实践
利用Claude Agent SDK的异步机制，实现并行工具调用，从多个API高效聚合实时数据，支持多步代理工作流中的高效执行。
2025-10-03ai-systems2025-10
使用 TypeScript 编排可扩展 AI 代理工作流：Sim 平台的节点式 UI 与并行执行
Sim 是一个开源平台，支持通过节点式 UI 构建 AI 代理工作流，实现并行执行、状态持久化和灵活部署。文章探讨其 TypeScript 实现、云端与自托管选项，以及工程化参数与监控要点。
2025-10-03ai-systems2025-10
YSO 晶体中铒离子分子量子比特工程化：支持 1550 nm 电信量子态传输
针对光纤量子网络，阐述 YSO 晶体中铒离子量子比特的分子工程设计、Stark 调谐参数与 Purcell 增强策略，实现高效 1550 nm 量子态传输。
2025-10-03systems-engineering2025-10
使用 Fail2Ban 自动阻塞 26M 恶意 curl 请求：自定义日志解析与 IP 白名单实践
针对高流量站点，介绍使用 Fail2Ban 结合自定义日志解析和 IP 白名单，实现自动化阻塞海量恶意 curl 请求的工程实践，包括阈值设置、监控要点和回滚策略。
2025-10-03ai-security2025-10
使用 Bonsai 和 JS_of_OCaml 构建增量响应式 UI：虚拟 DOM 差异与状态管理
基于 Bonsai 库的虚拟 DOM 差异算法和响应式状态管理，结合 JS_of_OCaml 编译，提供高效动态 web 应用的 UI 构建参数与实践清单。
2025-10-03application-security2025-10
实现模块化推荐系统开关：结合差分隐私和审计日志的欧盟合规工程
针对社交平台推荐系统用户隐私选择，提供模块化开关设计、差分隐私集成及审计日志的工程参数与合规清单。
2025-10-03ai-security2025-10
工程化无头显 XR 投影：校准映射与手势跟踪
探讨通过投影映射和多相机手势跟踪，实现房间尺度沉浸式无头显 XR 体验的工程参数与低延迟渲染要点。
2025-10-03systems-engineering2025-10
Signal 协议中抗脱同步的后量子 Ratchet 工程实践
通过异步对称步骤和链密钥重置，在 Signal 协议中构建抗脱同步的后量子棘轮机制，确保量子威胁下前向保密性无会话中断。
2025-10-03ai-security2025-10
工程化多平台 Docker 镜像：GitHub Actions Runner 的预装工具链、依赖缓存与安全加固
针对 GitHub Actions CI/CD Runner，探讨多平台 Docker 镜像的构建工程，包括工具链预装策略、缓存优化参数及安全强化实践。
2025-10-03ai-engineering2025-10
Tunix 中使用 JAX pmap 实现多 TPU LLM 后训练分布式管道
在 Tunix 框架下，利用 JAX pmap 构建分布式 LLM 后训练系统，实现多 TPU 同步、梯度聚合及容错扩展，提供工程参数与监控要点。
2025-10-03ai-systems2025-10
Signal混合PQ棘轮的前向保密形式化验证
通过Tamarin证明器模拟，分析Signal使用x3dh-pqxdh的混合后量子棘轮的前向保密属性，包括链完整性和量子抵抗否认性。
2025-10-03ai-security2025-10
Signal 协议后量子迁移：分阶段混合 PQ-经典密钥交换工程实践
针对消息应用的安全升级，分析 Signal 协议 PQXDH 的混合密钥交换机制，提供分阶段迁移策略、性能参数与兼容性监控要点。
2025-10-03ai-security2025-10
动态张量重排与微批处理：实现多租户LLM服务中的100% GPU利用率
基于CRFM Splinter的硬件优化策略，聚焦动态张量重排和微批处理在多租户LLM推理中的应用，提升GPU利用率至近100%，并给出工程参数与风险控制。
2025-10-03ai-systems2025-10
Optimizing PQ Ratchet Efficiency in Signal Protocol: Chain Lengths and HKDF Tuning
探讨 Signal 协议中后量子 Ratchet 的链长优化和 HKDF 密钥派生函数调优，以最小化移动消息会话的计算开销，同时确保前向保密性。提供工程参数和监控要点。
2025-10-03ai-security2025-10