Hm: Somebody has tried to reset the password of my main Twitter account. (It’s not fully deleted until a month has passed, I guess in case I have second thoughts.)

Blurt! — Sben
pile.org

Also

Deleted my eight Twitter accounts.

— 10/27/2022 7:42pm ∞
I’ve made some improvements to my commonplace book — what I’m calling my link posts — and I have a few weeks of new posts queued, one every evening.

— 8/1/2022 11:40pm ∞
Alas, this means that all older posts are marked “(edited)”, but I find it hard to care very much. ~~Maybe I’ll fix it in the next week or so?~~ Okay, fine, I fixed it (by making sure to preserve timestamps when using rsync to copy the source files, and not using git to repopulate the files).

— 7/24/2022 5:02pm ∞
Moving various pile.org sites (including this one) to a new server (at the same host).

— 7/24/2022 4:57pm ∞
Fixed the typography of some abbreviations and acronyms in older posts here.

— 6/19/2022 11:19am ∞