miniblog.

It feels like rename is by far the most important refactoring operation. If I had an IDE with only one refactoring, I think I'd want rename.

TIL that C++03 considered a file without a trailing newline to be undefined behaviour! https://stackoverflow.com/a/72377 This was fixed in C++11, but the problem was that #include was a textual operation that could produce invalid syntax if no newline was present.

Git repositories have the lovely properties that deletes aren't propagated. Shared/cloud storage sync deletes across devices. Accidentally deleting content in a local git repo, and even pushing it, is a safe operation.