标签
本文介绍了 Inductive Deductive Synthesis (IDS)，一个基于LLM的智能代理系统，它联合综合实现和形式化证明，用于分布式系统，实现了7/7的规范，比专家努力快约200倍，且比最先进的智能代理便宜17%。
本文介绍了将 Highest Random Weight (HRW) 哈希作为 Elixir 中 ExHashRing 的无状态替代方案用于一致性哈希，讨论了其简单性、性能权衡，并提供了代码示例。
White Rabbit 是一种开源技术，为大型分布式系统提供亚纳秒级同步和可靠数据传输，可通过以太网连接数千个节点。
这篇1985年的论文介绍了用于离散事件仿真和分布式并发控制的虚拟时间概念，并提出了Time Warp机制。
Google 开源了 AX (Agent eXecutor)，这是一个面向 Kubernetes 设计的分布式运行时框架，用于编排代理循环，并内置了故障恢复和任务继续执行能力。
Ursula是一个开源、自托管的分布式服务器，用于可重放、仅追加的事件时间线，运行于HTTP和SSE之上，采用线程每核心、多Raft架构，并搭配S3存储以实现低延迟和持久性。
AI编码代理的两项技能，用于设计和运行面向分布式及有状态系统的声明驱动测试，生成结构化的测试计划和发现报告，包含9种状态判定和归责分类。
一位开发者分享了使用AI编程助手构建一个基于Rust的10万行多Paxos共识引擎的心得，实现了显著的生产力提升和性能改进。
解释了Calvin协议，该协议使用确定性锁来实现分布式ACID事务，无需两阶段提交（2PC），相比传统方法提高了可扩展性并减少了争用。
本文提出了一种用于预测性维护的语义特征分割框架，将监测信号分解为规范成分和残差成分，以提高可解释性，同时保持预测性能。
MinT 是一种托管基础设施系统，通过保持基础模型常驻并移动轻量级 LoRA 适配器，实现数百万个 LLM 的高效训练和服务，可跨模型架构、存储和策略管理进行扩展。
Thinking Machines Lab 正在纽约和旧金山招聘超级计算工程师，以构建用于实时交互模型和大规模训练的基础设施。
本文介绍了一个面向资深开发者的全球性电子邮件读书俱乐部，专注于阅读有关数据库、分布式系统和软件性能的技术书籍，目前正在研读《操作系统导论》（Operating Systems: Three Easy Pieces）。
一个 GitHub 仓库，包含基于 Alex Xu 畅销书的综合系统设计面试笔记，涵盖扩展性、一致性哈希和分布式系统等主题。
本文探讨了分布式大型语言模型（LLMs）如何在设备和云端之间协同工作以应对资源限制的协作智能范式。文章涵盖了垂直方向的设备-云端协作、水平方向的多智能体协作、路由策略，以及在可扩展且可信的协作式人工智能方面的开放研究挑战。
Modular发布了一篇博客文章，解释为什么传统的HTTP路由不适用于LLM推理工作负载。文章描述了他们如何在其分布式推理框架中处理有状态的异构GPU pod（包括KV缓存、专用的预填充/解码后端以及对话级路由），这些是传统无状态路由算法无法解决的。
Specula 团队的研究人员创建了 SysMoBench 基准测试，用于评估大语言模型能否准确建模实际计算系统的 TLA+ 规范，还是仅仅照本宣科地背诵教材内容。该基准测试涵盖四个阶段共 11 个系统，揭示了当前大语言模型在准确建模系统实现与参考论文方面的系统性差距。
本文探讨了在API中实现幂等性的复杂性，指出处理并发请求和内容不匹配等边缘情况，比简单的重放缓存更为困难。
Martin Kleppmann 在其著作《Designing Data-Intensive Applications》第二版更新发布之际，探讨了过去十年构建大型分布式系统的底层逻辑如何演进。
一位开发者正在寻求关于高级 AI 工作流编排工具与模式的建议，重点关注 LangChain、LangGraph 及 AWS Step Functions 等方案，旨在构建更稳健且面向未来的系统。