Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by ccurtsinger
1 points
ccurtsinger
2025-07-01T14:23:14Z
news.ycombinator.com
Riker: Always-Correct and Fast Incremental Builds from Simple Specifications
4 points
ccurtsinger
2022-07-13T21:56:23Z
github.com