Hacker News new | ask | show | jobs
Automated reasoning often makes systems more efficient and easier to maintain (aws.amazon.com)
1 points by tim_sw 599 days ago