2 ms·The future of programming with certified program synthesis2 points by matt_d 5y agothesuperbigfrog 5y agoDuplicate. See: https://news.ycombinator.com/item?id=27735367 https://news.ycombinator.com/item?id=27735367