🌊 CALM Theorem

Consistency As Logical Monotonicity, Coordination-Free, Eventual Consistency, Datalog

Feeds to Scour
SubscribedAll
Scoured 256424 posts in 2.00 s
Hj Hornbeck
freethoughtblogs.com·14h
🔍Type Inference
Preview
Report Post
Transaction Management: Making ACID Real
dev.to·4h·
Discuss: DEV
💳Transactional Memory
Preview
Report Post
Complete Ergodicity in One-Dimensional Reversible Cellular Automata | Journal of Statistical Physics
link.springer.com·1d
🔲Cellular Automata
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·4h
⏭️Skip Lists
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·2d
🤝Paxos
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
💎Refinement Types
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·6h
🔒S2N-QUIC
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.com·23h·
Discuss: Hacker News
📝Parser Combinators
Preview
Report Post
Horton persistence progress
terracrypt.net·10h
🦀Rust Macros
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·12h
🌀Naiad
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·3h·
Discuss: DEV
🐹golang
Preview
Report Post
Fuzzing.in
fuzzing.in·5m
🐛Fuzzing
Preview
Report Post
A Farmer Doesn’t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.com·10h·
Discuss: r/LocalLLaMA
🦀Rust Macros
Preview
Report Post
TIL every time you remember something, your brain slightly rewrites that memory instead of replaying it exactly
frontiersin.org·6h·
Discuss: r/todayilearned
🎴Anki
Preview
Report Post
Flickers – Thoughts on consciousness, sentience, perception, and the self in AI
samanthawhite274794.substack.com·6h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·11h
🏗️MLIR
Preview
Report Post
git rebase (Al Viro; Linus Torvalds; Theodore Tso)
yarchive.net·1d
➡️Move Semantics
Preview
Report Post
Mechanism-Based Intelligence (MBI): Differentiable Incentives for Rational Coordination and Guaranteed Alignment in Multi-Agent Systems
arxiv.org·2d
🛡️AI Security
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏗️Pavex
Preview
Report Post
On (and Contra) Chalmers on LLM Interlocutors
benjamincongdon.me·16h
💫Effect Systems
Preview
Report Post