15:I[981,["658","static/chunks/658-a698693f56d0116a.js","183","static/chunks/183-6beeeb801c274aaa.js","474","static/chunks/app/%5Btype%5D/layout-631c4730b83c8223.js"],"Posts"] 16:T72d,Distributed systems usually pay milliseconds for correctness because they define correctness as execution order.

This project takes a different stance: correctness is a property of algebra, not time.

If operations commute, you don’t need coordination. If they don’t, the system tells you at admission time, in nanoseconds.

Cuttlefish is a coordination-free state kernel that enforces strict invariants with causal consistency at ~40ns end-to-end (L1-cache scale), zero consensus, zero locks, zero heap in the hot path.

Here, state transitions are immutable facts forming a DAG. Every invariant is pure algebra. The way casualty is tracked, is by using 512 bit bloom vector clocks which happen to hit a sub nano second 700ps dominance check. Non-commutativity is detected immediately, but if an invariant is commutative (abelian group/semilattice /monoid), admission requires no coordination.

Here are some numbers for context(single core, Ryzen 7, Linux 6.x):

Full causal + invariant admission: ~40ns kernel admit with no deps: ~13ns Durable admission (io_uring WAL): ~5ns

For reference: etcd / Cockroach pay 1–50ms for linearizable writes.

What this is:

A low-level kernel for building databases, ledgers, replicated state machines Strict invariants without consensus when algebra allows it Bit-deterministic, allocation-free, SIMD-friendly Rust

This is grounded in CALM, CRDT theory, and Bloom clocks, but engineered aggressively for modern CPUs (cache lines, branchless code, io_uring).

Repo: https://github.com/abokhalill/cuttlefish

I'm looking for feedback from people who’ve built consensus systems, CRDTs, or storage engines and think this is either right, or just bs.

Brandon Sanderson just sold his Cosmere universe to Apple TV

Tauri vs. Iced vs. egui: Rust GUI framework performance comparison

Natural Opinions

iMessage API that can obtain user's real-time location

Reinforcement learning for humans – Quiz your understanding

Building user interactivity on your website without a back end

Astrological CPU Scheduler

Show HN: Cuttlefish – 40ns causal consistency using algebra instead of consensus

Sheetsandbox: Use Google Sheets as a Database for MVPs

Can AI companies become profitable?

Glymphatic system clears amyloid beta and tau from brain to plasma in humans

Everyone Has Email. Nobody Uses It Right

Fault Tolerant Linux

Live Lightning Map

Providing 99.999% of Availability for Unmatched Server Uptime

Landholder vs. Stockholder

We can't send mail farther than 500 miles (2002)

ESR on LLM Coding

FOSDEM 2012 Schedule Chart

AI Prompt to Write in Minimalist Style of Ernest Hemingway

Show HN: The Unix compress algorithm with approximate matches

Stratus VOS

Was serving GPT-5 profitable?

Breaking the Spell of Vibe Coding

The reason cancer immunotherapy often fails

Explore Cartoon Characters

Putting Gemini to Work in Chrome

37signals Isn't Smarter Than You, but They Are Different

Wasmer 7.0

I built a tool that turns brain dumps into Mermaid.js flowcharts

Show HN: Free Facebook Video Downloader with Original Audio Quality