So many people (myself included!) are forever biased and ruined by the prejudices we acquired when we learned programming. "Simple" is hard.
-
@propensive I remember one of the first really complex formal proofs I ever wrote. I was uncomfortable because the case induction was O(k^n)
@djspiewak Exactly! It's not that we dispute it's a perfectly valid proof; it's that sense of uneasiness about it, and clearly prejudice.
