📐 Linearizability - ghosh.debasish · Scour

HistMSO: A Logic for Reasoning about Consistency Models with MONA 🔧SMT Solvers

arxiv.org·4d

Guardrailing Claude Code to Build Production-Ready MCP Servers ✅Formal Verification

medium.com·1d

From Zero to Direction: How I’m Building My AI & Data Science Journey with Consistency 🌊Streaming Algorithms

medium.com·5h

Introducing the Consistency Journal 📝Write-Ahead Log

herbertlui.net·2d

Eventual Consistency vs Strong Consistency: When to Choose 🔀CRDTs

krun.pro·4d·DEV

Semantic Layer vs. Text-to-SQL: 2026 Benchmark Update (11 minute read) 🛢️Database Internals

docs.getdbt.com·3d

Domain-Driven Design: Lean Aggregates 🛢️Database Internals

deniskyashif.com·5d·Hacker News, r/programming

The spectrum of consistency strengths for membership in a computably enumerable set, Notre Dame Logic Seminar, April 2026 📐Theorem Proving

jdh.hamkins.org·5d

Communication Requirements for Linearizable Registers 🔀CRDTs

arxiv.org·2d

Real 32-bit Post-Y2038 Survival, Live-Seeded Continuity, Two-Node Consistency, and Cold-Boot Recovery 📝Write-Ahead Log

zenodo.org·4d·Hacker News, r/programming, r/vibecoding

Efficient Merkle-Tree Consistent Accumulator 🌲LSM Trees

eprint.iacr.org·3d

Bridging the Gap in Chinese Legal Conflict Review: A Dataset, Benchmark Tasks, and Framework 🧠LLMs

nature.com·3d

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 🔧SMT Solvers

arxiv.org·1d

Lightweight LLM Agent Memory with Small Language Models 🧠LLMs

arxiv.org·8h

ConsistRM: Improving Generative Reward Models via Consistency-Aware Self-Training 🎯RLHF

arxiv.org·8h

Consistency-Guided Decoding with Proof-Driven Disambiguation for Three-Way Logical Question Answering 🧠LLMs

arxiv.org·1d

Quantifying Explanation Consistency: The C-Score Metric for CAM-Based Explainability in Medical Image Classification 🗄️Vector Databases

arxiv.org·8h

AtomEval: Atomic Evaluation of Adversarial Claims in Fact Verification 🧠Reasoning Models

arxiv.org·8h

Scal3R: Scalable Test-Time Training for Large-Scale 3D Reconstruction 🌊Streaming Algorithms

arxiv.org·8h

INSPATIO-WORLD: A Real-Time 4D World Simulator via Spatiotemporal Autoregressive Modeling 🌊Streaming Algorithms

arxiv.org·1d

Loading more...