🌲 Persistent Data Structures - shanesveller · Scour

Version Control System for Data with MatrixOne 🌿Git

arxiv.org·1d

Expanders Meet Reed--Muller: Easy Instances of Noisy k-XOR 🌲B-Trees

eprint.iacr.org·3d

All of the String types 🔌LSP

lambdalemon.gay·1d·Lobsters, Hacker News

The UNDO Flip-Flop: A Controlled Probe for Reversible Semantic State Management in State Space Model 🔣Type Systems

arxiv.org·21h

Efficient Merkle-Tree Consistent Accumulator #️⃣BLAKE3

eprint.iacr.org·2d

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software ⏱️Timely Dataflow

arxiv.org·21h

Inference-Aware & Privacy-Preserving Deletion in Databases #️⃣BLAKE3

arxiv.org·6d

A canonical generalization of OBDD 🎮Bevy

arxiv.org·21h

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels 📋Lightweight Formal Methods

arxiv.org·21h

Bringing memory to Boolean networks: a unifying framework 🕸️Graph Algorithms

arxiv.org·1d

Trapping and commutative Boolean networks 🕸️Graph Algorithms

arxiv.org·5d

Tree-partitions and small-spread tree-decompositions 🕸️Graph Algorithms

arxiv.org·21h

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL 🌐Distributed Consensus

arxiv.org·1d

Communication Requirements for Linearizable Registers 🔄CRDT

arxiv.org·21h

Ledger-State Stigmergy: A Formal Framework for Indirect Coordination Grounded in Distributed Ledger State 🌐Distributed Consensus

arxiv.org·1d

Source Known Identifiers: A Three-Tier Identity System for Distributed Applications 🪪Verifiable Credentials

arxiv.org·6d

Solving Hard Instances from Knapsack and Bounded Knapsack Problems: A new state-of-the-art solver 🔧Constraint Solvers

arxiv.org·21h

Vault: Decentralized Storage Made Durable 🌐Distributed Consensus

arxiv.org·1d

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering 📋Lightweight Formal Methods

arxiv.org·21h

Optimizing Relational Queries over Array-Valued Data in Columnar Systems 📉Predicate Pushdown

arxiv.org·5d

Loading more...