🔓 Lock-Free Structures - linearizable · Scour

Concurrent, atomic MSI hash tables ⚡Hardware Transactional Memory

nullprogram.com·4h

Safe Optimistic Lock Coupling ⚡Hardware Transactional Memory

databasearchitects.blogspot.com·6d·databasearchitects.blogspot.com, r/cpp

Eliminating Hidden Serialization in Multi-Node Megakernel Communication 🔐MVCC

Conquering Bad Norms in RstOE: Pure-Database Substitution and Early-Defense 🌸Bloom Filters

eprint.iacr.org·2d

Restartable sequences, TCMalloc, and Hyrum's Law ⚡Hardware Transactional Memory

·5d

Redis array: short story of a long development process 🌸Bloom Filters

antirez.com·1d·Lobsters, Hacker News

BugBash'26: Day 2 🗳️Raft Consensus

muratbuffalo.blogspot.com·2d·Blogger

Metastability in Recovery: Cascading Recovery with a Loop 🔄Database Recovery

charap.co·3d·Hacker News, r/programming, r/systems

Simple and Correct Snapshot Isolation 🔒Transaction Isolation

remy.wang·5d·Hacker News

A Faster Deterministic Algorithm for Fully Dynamic Maximal Matching 📐E-graphs

Field-Agnostic SNARKs with Small Proofs via Encode-Repeat-Accumulate (ERA) Codes 🧮SMT Solvers

eprint.iacr.org·2d

Counting perfect matchings and Hamiltonian cycles faster 🌸Bloom Filters

Efficient Non-Interactive Key Refresh with Multiple Independent Refreshers for Threshold Cryptography 🤝Paxos Consensus

eprint.iacr.org·6d

Undirected Replacement Paths: Dual Fault Reduces to Single Source 📐E-graphs

Affinity Tailor: Dynamic Locality-Aware Scheduling at Scale ⚙️Mechanical Sympathy

SCION: Size-aware Policy Orchestration for Nonstationary Object Caches (Long Paper Version) ⚙️Mechanical Sympathy

Zinc+: SNARKs for Polynomial Rings 🧮SMT Solvers

eprint.iacr.org·4d

SAGA: Workflow-Atomic Scheduling for AI Agent Inference on GPU Clusters 📊Columnar Execution

FRI Soundness Above the Johnson Bound via Threshold Halving 🔗WCOJ

eprint.iacr.org·4d

Replication in Graph Partitioning and Scheduling Problems 🌐Distributed Systems

Log in to enable infinite scrolling