Forfatteren oppsummerer sitt foredrag fra Curry On om resultater innen beregningskompleksitet i programvareutvikling og hvorfor korrekthet er så krevende.

Kilde: https://pron.github.io/posts/correctness-and-complexity