Signalcrest
← Back to feed
lobstersdata

Extending MVCC to be serializable, in TLA+ (2024)

—

signal score

⏳ Too early

trajectory — needs a few more hourly snapshots

ShareLinkedInOpen source ↗

Signal history

7-day window (free)
Not enough history yet — the trend line fills in as snapshots accrue (hourly).

Entities

mvcctla+
Embed a live signal badge
Signalcrest signal badge
[![Signalcrest signal](https://www.signalcrest.app/api/badge/lob%3Ayodbwx)](https://www.signalcrest.app/topic/lob%3Ayodbwx)

Drop this in a README or blog post — it updates automatically as the score moves.