Remote profile

“The Thought Emporium” yes I can see why these thoughts are on sale for a discount

anyway, remember to upgrade your packages using a vterm running inside emacs

the wonderful revolutionary technology that random people keep having to remind you about in the same way a coca-cola ad wants to remind you that coke owns christmas

I didn’t even have to check their posts to see they’re an AI whackjob, “have your agent run 2 commands for you” isn’t something anyone else says

my emacs language workbench almost has a proof assistant! it’s J-Bob, the simple proof assistant from The Little Prover that they derived from the core of ACL2

it’s solving proofs! but for some reason I have to eval the result for it to finish, which is bizarre

the language itself is a very restricted namespace implemented on top of the elisp readtable reader. one day once I have better namespaces, this probably deserves to be reimplemented on top of that

remember, you have to update your computer to shittier and shittier LLM-generated code checked for quality by other LLMs, or you might have an embarrassing security incident!

“but no professional responsible for a CA’s private key would think an LLM could generate random numbers” oh my sweet summer child

either of these things happening might prompt a serious industry to re-evaluate and perhaps undergo systemic change

and the amazing thing is, there’s not really anything else it can be

you get to choose which is more alarming:

- someone went out of their way to make the private key 4 as a joke
- someone had claude code do it, and it generated a shitty broken script to change the private key and pulled the number 4 the same way it generates all random numbers: by pulling a non-random number from its training set that someone on the internet associated with the word random a few times (and that’s how it got the xkcd joke)

the infosec industry: “we demand respect. we’re using the latest frontier models to get ahead of threat actors. you’re not an expert so you wouldn’t understand but all the CVEs it spit out are top priority and breathlessly important and worth panicking about. no I won’t do any follow-up to see if the CVEs meant anything, my good buddy claude said they were all important and you have to respect it and me”

also, the highest echelons of the infosec industry, working on highly trusted cryptographic infrastructure: “the private key is the number 4 lol”

you tell me I shouldn't name my projects after farts, and yet backblaze is a relatively respected company