Tag
A tweet listing essential database concepts for understanding scaling, including B+ Trees, LSM Trees, and distributed systems topics.
The article introduces Trace Engineering as a formal architectural approach to enhance observability in autonomous AI agent systems, differentiating it from logs and trajectories to enable better debugging and reliability.
This paper proposes a bidirectional Mamba model for long-term behavioral evaluation to enhance trustworthy collaborator selection in distributed systems, demonstrating improved accuracy over baseline methods.
Atproto Spaces Alpha launches as a major update to the AT Protocol, enabling developers to build applications with non-public data through a lightweight, permissioned data model.
This article explains the difficulties of hosting Git repositories at scale, focusing on Git's packfile design and distributed nature, and outlines potential solutions.
The article explores the viability of home-based GPU networks as supplements to centralized AI data centers, addressing community opposition and the need for distributed computing solutions.
The paper introduces Tsampi BFT, a leaderless one-round voting protocol with parameterized finality for achieving Byzantine fault-tolerant consensus in distributed systems.
This paper presents the modeling and verification of the Keeta consensus protocol, focusing on formal methods to validate its correctness in distributed systems.
TLA+ is a model checking tool that explores all state interleavings to find bugs in distributed systems; it helped improve safety in Depot Registry's garbage collector by identifying a missed bug through formal verification.
The TiDB team deliberately avoids using Multi-Agent systems internally, based on lessons learned from distributed systems and referencing Anthropic's related research, emphasizing that optimizing a single Agent might be more effective.
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.
A tweet highlights a GitHub repository containing comprehensive system design interview notes based on Alex Xu's books, covering topics like rate limiting, consistent hashing, key-value stores, and more.
This paper presents DNSSE, a hybrid framework combining LLM-guided schedule prediction, symbolic constraint solving, and coverage-guided stochastic mutation for verifying distributed parallel AI programs. It detects 2.9x more concurrency bugs than the baseline and raises branch coverage from 68.6% to 91.6% on realistic benchmarks.
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.
A tweet from @venkateshdotdev listing 10 challenging system design interview questions covering URL shorteners, scaling, consistency, rate limiting, fault tolerance, and handling traffic spikes.
Choral is a choreographic programming language for Java that lets developers write distributed systems in a single program, with the compiler generating endpoint code.
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.
Explains the AT Protocol architecture through the lens of distributed systems engineering, covering the shift from SQL to NoSQL to stream processing, and how AT Protocol externalizes these services for a decentralized backend.
AWS engineer Zak van der Merwe shares insights from his 14 years building control planes for EC2 and DSQL, discussing the distributed systems challenges of running infrastructure at massive scale.