ccurtsinger Karma 28 Created 11 years ago Recent Submissions 1. ▲ Riker: Always-Correct and Fast Incremental Builds from Simple Specifications (github.com) 4 points · 3 years ago · 0 comments All submissions on HN · View profile on HN