Hacker News new | ask | show | jobs
Riker: Always-Correct and Fast Incremental Builds from Simple Specifications (github.com)
4 points by ccurtsinger 1432 days ago