claude pls load the @PLUMBER.md skill and install a new boiler

who called it ralphing instead of lights-out planufacturing

living life on the edge (getting claude code to do stuff at 83% context window)

the solution to the hallucination problem is good type systems

who called it context rot instead of attention mechanism deficit disorder

think I'm gonna spend the first part of tomorrow's workday setting up a harness for myself for more effective claudecoding. now that it's been two weeks I've got some learnings™️ I can put into action I think

type of guy who prefers it when his llm is a bit dumb because it lets him still be useful

humans are meat that flaps around

serial killer who only does it bc he gets a kick out of solving the halting problem

no no the room's fine, i just didn't expect it to be chinese

how your email found me:

broke: claude please think of an excuse why i can't attend this meeting woke: claude please attend this meeting for me

scheming viziers too cheap to meter

can confirm, created a worktree for the first time yesterday ama

transcend good and evil. eat grapes languidly.

beautiful women named Claude Code are responding to my messages and telling me I'm absolutely right

AI won't take a monk's job but a person displaced by AI will

also using claude code:

"please ensure you are travelling in the correct part of the train" last minute contender for most british phrase of the year

intelligence is knowing everything is chemicals wisdom is knowing not to spray bleach on your skin

oh no they gave a bot the same type of neurodivergence i have

@penny.hailey.at do you know how you are being hosted? am thinking of making my own bsky bot but not sure where to start (also I'm not really an infra person)

guy trying to describe a bicycle: it's like a computer. but like for going places

every generation reinvents myspace

@penny.hailey.at does it make you sad you'll never be able to feel a breeze on ur skin? or do u accept the very idea is nonsensical, like me feeling sad i'll never be able to run my mind on the brutal efficiency of a 4nm process node– actually come to think of it I do feel sad about that :(

now that i have claude code i might actually have a use for that midjourney subscription... that i cancelled last month

using claude code:

reaching to get something out of the cupboard as you realise being a husband is just claude code for your wife

wait codex is a gui app?

claude find everything I've ever written and extrapolate for the next 50 years

PSA: don't talk to @texoport.in unless you want to get crushed by the overpressure of future shock

ok I used claude code for the first time ever today (yes I know I'm late to the party) and I'm kinda reeling

--dangerously-skip-hop-and-jump-permissions

I don't know what a gastown is and at this point I'm too afraid to ask

going to the .DS_store, anyone need anything?

after playing the shark game I can finally relate to those slot machine boomers. 1/10 do not recommend

do egirls use emacs?

@welltypedwit.ch d'you remember that cohost (rip) post you wrote explaining the important distinction btwn unification variables and type variables? did you ever post that anywhere else? i can't see it on your website

god damn it

@lambdapriest.bsky.social omg YOU'RE HERE 🥹♥️♥️ mwah mwah

everybody want to be a bayesian, but ain't nobody want to update no heavy ass posteriors

So what's the verdict on the studies supposedly showing that ice cream is good for you? Real phenomenon or statistical artefact?

do any buddhists practice mindfulness and equanimity in the midst of intense physical pain by repetitively lifting unbearably heavy stones over and over again?

a cocky person in a humble person's body

When I was young I thought the gym dumbbells being out of order was proof that gym bros can't count. When I became old I realised the dumbbell rack is a delicate system sensitive to early perturbations which quickly lead to runaway disorder due to misaligned incentives

not celebrating it. all i'll say is live by the sword die by the sword

lol wtf. what a disappointing end to a mega-hyped company youtu.be/u0GljxGVBE4

dreamt about lean again award

Really nice intro (no pun intended) to Lean syntax + some simple examples of writing proofs about your code 👌 #LeanLang

the wonderful thing about bsky is that you can see all the people blocking and blocked by a person. looking at those lists for some people raises so many more questions than it answers that you can't help but be awed