Keith

@mosheroperandi.bsky.social

Computer knower. Urbanism advocater. Hobbyist law nerd. Accused fiat shill.

that scene from the matrix except it's me reading articles, talk slides, PR descriptions, saying "that's Claude", "that's GPT", "that's Claude", "Claude", "GPT", ...

I regret every joke I’ve made about how our elected officials were so old they didn’t know how to use a computer. I would give anything for another administration that doesn’t know how to use a computer

I need a $25m mechanistic interpretability effort into why Claude sometimes hits me with the British spellings of words. Has semantic compaction made those vocab pairs near-indistinguishable? Are there Brit detector circuits? In which layer does Britishness reside?

ATTN: New Password Policy: * password must be written in Lean * password must compile * cannot contain `sorry` * must not prove any theorems already proved in the last 6 millennia * must contain at least one breakthrough * password cannot be your username * expires after 60 days

A friend just reminded me that tomorrow FIPS 140-2 becomes "Historic". Much cheering and celebration to kill that pig of a crypto standard will be had. (for the 3 of you 🤓 who care)

Trump has literally always been a 'uh yeah that gold sex jacuzzi is a business expense' tax cheat and SCOTUS is his new Allen Weisselberg.