We verify the correctness of a spreadsheet engine | Dark Hacker News