worst error message ever. there is no problem with my "account settings", there's a problem with your web app. ask your developers to fix it and remove this bad error message https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihg4xny7zoanadcuwvolgibcduzfctw44b5jxjgb73wjiu4wviuze

lol “liked your repost” tickled the part of my brain i forgot existed. massive deja vu

hell yeah good release

ok i figured out a way to make claude code reliably read my [CLAUDE.md](📃.md ) instructions https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreighegalwehrpgcll4j6qrvojb2bs65yx2bipwca65bnxnksj3xpdi

ok this [CLAUDE.md](📃.md ) actually made a huge difference (at least for Opus), it is now working methodically and actually is closing in on the correct proof. previously it was working in big unthinking swipes and was getting completely lost RE:

Bluesky Social

dan (@danabra.mov)

okay this one actually seems to work on Opus

uhhh is claude actually supposed to read this file? it seems to be ignoring my instructions. https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreiasz2gfyt2nd57zd2ncazqkewcbi33apaarvzncfc5wraxwaqn4ye

can you get claude code to use Opus? i only have Sonnet in /config model options for some reason

what's the latest on connecting Claude Code to LSP? ideally i'd want it to pick up whatever my VS Code is using. is that possible? (concretely, i'd like to it to connect to my Lean LSP)

okay the "show less" bug is fixed but i'm just getting `nettop` now. i think it would be good if "show less" was honored for `nettop` too, even if Discover has nothing to show at all. i'd rather take nothing over `nettop`

yesssss RE:

Bluesky Social

Paul Frazee (@pfrazee.com)

algo team is my top focus right now. we're getting Ian the resources he needs