New top story on Hacker News: Skip – A programming language to skip the things you have already computed