Signalcrest
← Back to feed
lobstersdevtools

Postmortem for Lean Kernel Soundness Bug #14576

Bug fix postmortem

Steady

25

signal score

as of 19h ago

↓ Cooling

7-day est. ~19

ShareLinkedInOpen source ↗

Why this scored 25

every term, weighted
Velocity+16.6 / 40 max

Engagement per hour, normalized against the fastest item on its own source

Acceleration+0.0 / 25 max

Whether that velocity is itself speeding up, as a per-hour rate

Cross-source spread+0.0 / 25 max

How many independent communities are talking about the same entity

Recency+9.1 / 10 max

Decays to zero over 14 days

Saturation penalty−0.9 / 30 max

Subtracted once something is big and old — we rank what's next, not what's peaked

Composite24.7

Weights are hand-tuned, not learned — we're calibrating them against realized trends as history accumulates. On a topic's first sighting there's no previous reading to compare against, so acceleration starts from a neutral prior rather than a measurement. Full methodology

Outlook

low confidence · estimate, not a guarantee

7-day

~19

range 17–22

14-day

~18

range 15–20

30-day

~17

range 13–20

Signal history

7-day window (free)

— — projected trajectory (estimate, not a guarantee)

Entities

lean kernel
Embed a live signal badge
Signalcrest signal badge
[![Signalcrest signal](https://www.signalcrest.app/api/badge/lob%3Aojcl8j)](https://www.signalcrest.app/topic/lob%3Aojcl8j)

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