literally as I was writing this I was like “but hang on”

(or, indeed, any interface for at all, including via lua in neomutt)

which it didn’t seem like there was a good interface for in Mutt :(

I want to be able to do searches and group-select by other headers, and/or piped-through shell commands

Last time I had to clean up my inbox in any serious way, I was like “surely there is some newer piece of software for this that gives me the same power as mutt”, but unfortunately ...

It's not even an issue of framing. It definitionally the Entscheidungsproblem as stated by Hilbert.

I feel I'm going somewhat insane as I watch people around me litigate whether a model that encodes first-order predicate logic can evere produce consistent results. Oh wait that's Gödel.

Huh, I hadn’t encountered the framing of it as a halting problem, but that makes a ton of sense.

I can’t see how this doesn’t lead us down a fundamentally flawed path where where we tune them to produce output that is truthful *or* that is a lie so convincing that we can’t tell the difference.

Somewhat relatedly, I keep coming back to the difference between our goals and the things we can measure: we *want* LLMs to produce truthful output, but our measurements end up being more about how *convincing* they are.

these are all extremely good

I do not want to admit how many cycles I watched that 3-second “breaking news” animation waiting for it to give me more context

the semantic space between “ginger fluid” (which feels like an alien scientist describing ginger ale) and “gengar fluid” (pokémon ectoplasm??) is huge

I just stash reaction images around my home directory and then find them when looking for something else. Keeping them organized would be smart

It works! I got a “friend of Garak” shirt after complimenting a stranger on their shirt at Pride. They were very happy because someone earlier that day had asked who ga-RAK was.

As another point of interest: I assumed that I had used the discord@... and steam@... emails for those services, but I don’t use those and I’m not sure I ever have. So perhaps they just guessed?

In case it’s helpful, they also populate an X-Mailer header (as "Zendesk Mailer") and an X-Zendesk-Email-Id header.

I think that the vector is not just unauthenticated emails. I checked out one of the websites I was getting emails from, and it had a “file a ticket” web portal.

as they say