Software engineering · Durable canon
F* – An ML-like functional programming language aimed at program verification
fstar-lang.org · first seen 2016 · unchecked
34.8durability84% evidence confidence
Why it endures
Independent rediscovery across 4 active years.
The score rewards recurring year-relative traction, distinct submitters, and strong appearances separated across HN generations. Link survival does not change cultural durability.
Read the original ↗- Submissions
- 7
- People
- 7
- Peak
- 264
- Status
- unchecked
Submission history
2016—2024
Bars show the number of normalized submissions in each year. Annual traction inside the score is percentile-adjusted.
Explainable score
Every point has a reason.
Repeat traction0.0/30
Independent discovery15.8/20
Persistence14.0/20
Generational reach0.0/20
Sustained discussion5.0/10
