Hacker News Reader

>Any uncertainty can be quickly resolved by simply running some code.

Until you have to interact with a black box of someone else's code. You can only be certain that the data you sent that particular time works, not that all possibilities of valid data work.

View on HN

I guess with programming, you can never get 100% certainty when it comes to correctness of your code - Unless you perform formal analysis which is impractical for most use cases.

You might not succeed at 100%, but you can remove "classes of error" by adopting particular styles or techniques backed by formal analysis. That's one of the biggest appeals of compiler technology - it can encode an understanding of patterns proven to detect failure, and in so doing lower your resulting bug count.

So etale cohomology? :P

Reply on news.ycombinator.com