标签
本文探讨家庭GPU网络作为集中式AI数据中心补充的可行性，涉及社区反对和对分布式计算解决方案的需求。
本文介绍了Tsampi BFT，一种无领导者单轮投票协议，具有参数化最终性，用于在分布式系统中实现拜占庭容错共识。
本文介绍了Keeta共识协议的建模与验证，重点在于使用形式化方法验证其在分布式系统中的正确性。
TLA+是一个模型检查工具，它通过探索所有状态交错来查找分布式系统中的缺陷；通过形式化验证，它帮助在Depot Registry的垃圾回收器中识别了一个遗漏的缺陷，从而提升了安全性。
TiDB团队在内部刻意避免使用Multi-Agent系统，基于分布式系统的经验教训，并参考了Anthropic的相关研究，强调单个Agent的优化可能更有效。
TideRL is a readiness-aware elastic RL system that improves training goodput for multi-turn agentic workloads via continuous task batching, resource-aware ref-actor pipelining, and elastic resource scaling, achieving up to 5.6x speedup over synchronous baselines and 33% over asynchronous baselines.
一条推文重点介绍了一个GitHub仓库，其中包含基于Alex Xu书籍的全面系统设计面试笔记，涵盖限流、一致性哈希、键值存储等主题。
本文提出了DNSSE，一种混合框架，结合了基于LLM的调度预测、符号约束求解和覆盖引导的随机变异，用于验证分布式并行AI程序。它在现实基准上检测到的并发缺陷数量是基线的2.9倍，并将分支覆盖率从68.6%提高到91.6%。
The paper presents a two-level algorithm for allocating a conserved capacity budget across locations and service classes, proving it conserves the budget and converges in one iteration, and evaluates it for defending CDNs under volumetric attack.
@venkateshdotdev 的一条推文，列出了10个具有挑战性的系统设计面试题，涵盖URL缩短器、扩展、一致性、限流、容错以及处理流量高峰。
Choral是一种面向Java的编舞式编程语言，让开发者能够在单个程序中编写分布式系统，并由编译器生成端点代码。
An in-depth technical article explaining the ABD algorithm, quorum replication, and why ABD does not solve consensus, with runnable Python examples.
celld is a self-hosted, distributed server that runs Cloudflare Workers and Durable Objects code unchanged, using your own S3 bucket for storage and coordination. It claims significantly lower costs and sub-millisecond warm latencies at scale, with data stored in SQLite/LTX format.
从分布式系统工程的视角解释AT协议架构，涵盖从SQL到NoSQL再到流处理的转变，以及AT协议如何将这些服务外部化以实现去中心化后端。
AWS工程师Zak van der Merwe分享了他14年来为EC2和DSQL构建控制平面的见解，讨论了大规模运行基础设施时面临的分布式系统挑战。
Deno 的 celld 是一个开源守护进程，可在你自己的机器上运行 Cloudflare Workers 和 Durable Objects，每个对象使用 SQLite，并使用兼容 S3 的存储桶进行复制和协调，无需控制平面。
本文提出了智能体操作系统（AOS），这是一个面向分布式智能体系统的厂商中立的参考操作架构，涵盖治理、运行时协调和可靠性。其目标是提供一个稳定的框架，将异构组件组合成可治理、可观测的智能体系统。
Aquaduck，一个崭露头角的推理平台，正在为其多人模型服务网络招募测试人员。该网络可将桌面设备转变为虚拟集群，具备模型分片等功能，并提供一个公共推理网络来利用闲置算力。
文章认为，在最终一致的分布式系统中重试消息会将正常状态误判为故障，并建议改为存储传入数据，待所有前置条件到达后再处理，从而无需重试和死信队列。
一位生产环境工程师描述了多智能体共享内存中的并发写入引发的竞态条件，并解释了如何通过切换到带投影的仅追加事件日志来解决该问题，同时指出了读己之写延迟方面的权衡。