标签
一条推文，列出了理解数据库扩展的关键概念，包括 B+ 树、LSM 树和分布式系统主题。
本文介绍了追踪工程作为一种正式的架构方法，用于提升自主AI代理系统的可观测性，将其与日志和轨迹区分开来，以实现更好的调试和可靠性。
本文提出了一种用于长期行为评估的双向Mamba模型，以增强分布式系统中的可信协作者选择，并证明其准确性优于基线方法。
Atproto Spaces Alpha 作为 AT Protocol 的重大更新发布，使开发者能够通过轻量级的许可数据模型构建使用非公开数据的应用程序。
本文解释了在大规模下托管Git仓库的困难，重点关注Git的packfile设计和分布式特性，并概述了潜在的解决方案。
本文探讨家庭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构建控制平面的见解，讨论了大规模运行基础设施时面临的分布式系统挑战。