Program correctness is incredibly difficult - arguably the biggest problem in the industry.
Reply on news.ycombinator.com