"Sometimes" is sometimes "not never".
When I write a paper, I change my notation much more than I change my concepts.
Formatting is no substitute for writing.
A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.
Thinking is not the ability to manipulate language; itโs the ability to manipulate concepts.
Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.