TigerBeetle:基于Zig的高吞吐量会计账本验证工程
TigerBeetle 使用 Zig 构建的金融交易数据库,实现双重记账验证、严格可串行化和高并发下亚毫秒延迟,提供工程化参数与最佳实践。
Latest Essays
继续沿着时间线阅读近期的工程实践与技术观察。
近期的思考与工程笔记。
TigerBeetle 使用 Zig 构建的金融交易数据库,实现双重记账验证、严格可串行化和高并发下亚毫秒延迟,提供工程化参数与最佳实践。
利用AI辅助的模糊测试和符号执行,发现并修复libcurl HTTP/2中的22个bug,提供工程化参数和监控要点。
通过代理多跳推理和上下文窗口扩展,考察 RAG 的概念性过时,聚焦检索准确失败模式与长上下文工程权衡。
通过 Kestra 的 YAML 声明式管道编排 AI、数据和基础设施工作流,集成 AI Copilot 支持基于提示的流生成和实时调试,提供工程化参数与监控要点。
面向生产级工作流,给出 n8n 模板的 AI 集成、自定义节点与错误处理的最佳实践。
利用 LLM 引导模糊测试结合符号执行,在 libcurl 的 HTTP/2 和传输状态机中发现并自动化修复 22 个 bug。提供工程化管道参数、阈值设置和监控要点。
探讨 Quarkus 框架在构建高性能 Java 微服务中的工程实践,包括 GraalVM 原生编译、Kubernetes 原生部署以及响应式扩展以实现低延迟应用。
基准扩展上下文窗口在代理 LLM 管道中作为 RAG 替代的多跳推理,分析无外部检索下的延迟-准确性权衡。
针对LTX-Video模型,提供GPU加速推理优化策略,支持低延迟视频生成与实时编辑工作流,包括量化配置、多尺度管道和性能监控要点。
基于 async Rust 连接器,探讨 Hyperswitch 中零停机路由、状态对账及幂等结算的工程化实践,提供配置参数与监控清单。
从 Gmail POP3 迁移到 OAuth2/IMAP 的工程化方案,涵盖令牌管理、delta 同步及故障回退要点。
探讨 Edge264 最小化 H.264 解码器在 IoT 嵌入式设备中的应用,聚焦 SIMD 加速、零拷贝缓冲和亚 10ms 延迟实现,适用于实时监控流。
通过内存打包和动态张量重塑优化大型模型预训练,消除闲置GPU周期,实现>95%利用率,无需硬件修改。聚焦Stanford低级分配技术,提供工程参数和监控要点。
探讨 OpenTSLM 构建实时 IoT 异常检测流式推理管道,强调低延迟 token 流式、自适应 KV 缓存管理和边缘部署优化。
探讨如何在中文金融交易中使用多代理 LLM 框架,实现角色分工、实时数据馈送、多跳决策及合规回测,提供工程参数与清单。
针对欧盟网络弹性法案(CRA),开源项目需构建自动化 SBOM 生成、漏洞扫描及报告管道,提供可操作的参数配置与监控策略。
Sim 平台以 TypeScript 为基石,提供低代码工具快速构建多代理工作流,支持实时协作和自托管部署。本文聚焦工程实践,给出组成、执行和优化的可操作参数。
探讨 Hyperswitch 中使用 Rust 实现模块化异步连接器和确定性状态机,支持高吞吐量支付路由、零停机故障转移与连接器分片的关键工程实践。
探讨 Hyperswitch 中 Rust 异步连接器的模块化设计,通过状态机实现支付路由的幂等性、对账和低延迟 failover 工程实践。
在大型AI训练中,通过流水线并行和自适应批处理结合动态调度,实现95%+ GPU效率的工程参数与优化策略。