Quality News
new | top | ask | show | best | algorithms | about

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com/schildep)
×0.93 #24 | 90 points by permute 5 hours ago | 40 comments | ??? ???

Story Stats

This chart shows the history of this story's rank on the Hacker News "Top" (Front) Page, "New" Page, and "Best" Page, as well as its raw rank given the Hacker News ranking formula.

This chart shows the history of this story's upvotes compared to the expected upvotes for stories shown at the same ranks and times.

This chart shows the history of this story's estimated true upvote rate: the predicted long-term ratio of upvotes to expected upvotes.