tla+
for verification engineers
Why this scored 0
every term, weightedIts fastest-moving item, measured against the pace of its own source
Whether that velocity is itself speeding up, as a per-hour rate
How many independent communities its own items come from
Decays to zero over 14 days, counted from when we first saw it
Subtracted once something is big and old — sized by its biggest item, aged from when we first saw it
Weights are hand-tuned, not learned — we're calibrating them against realized trends as history accumulates. On an entity's first sighting there's no previous reading to compare against, so acceleration starts from a neutral prior rather than a measurement, and velocity falls back to engagement over its whole lifetime until a second reading exists. Full methodology
Signal history
7-day window (free)The evidence
The live items this entity's score aggregates — every community independently talking about it right now. This is the corroboration, shown, not claimed.
- 138
I Put Jev Behind a TLA+ Spec and Ran 1,680 Chaos-Tested Pharmacy Decisions. Zero Wrong Verdicts.
TLA+ verification shows Jev makes zero wrong pharmacy decisions in chaos tests. · for reliability engineers
devtoSteady 5 · jevdevtools36d ago - 231
What TLA+ can and can't check
Explains the verification capabilities and limits of TLA+ for system design. · for verification engineers, system architects
lobstersSteady 2 · tla+devtools25d ago - 318
Improving system safety with Temporal Logic of Actions (TLA+)
TLA+ helps verify system safety, reducing bugs in critical software. · for reliability engineers, system architects
lobstersSteadydevtools72d ago - 416
The internet discovers TLA+. Now what?
TLA+ gaining attention; developers should evaluate formal verification for system reliability. · for software engineers
hackernewsSteadydevtools28d ago - 516
What TLA+ can and can't check
TLA+ verifies some system properties but has limits developers must know. · for verification engineers
hackernewsSteadydevtools25d ago - 615
Extending MVCC to be serializable, in TLA+ (2024)
Enhances database consistency · for database engineers
lobstersCoolingdata97d ago