AI is Rashomon. It's just an association engine of immense scope. We're not talking to an alien intelligence; we're talking to ourselves. It's an existential mirror, and each person's experience will vary. Some people can control the dance of the campfire flames. Some people just aren't cut out to be shamans.

Evolution is always making failed experiments, as a hedge against catastrophic ecosystem change. I'm convinced that neurodivergents are better suited to becoming AI Centaurs, in the sense Gary Kasparov promoted after he came to terms with his chess loss to IBM's Big Blue.

I made my career by computerizing a branch of mathematics that did not want to cooperate. Now in retirement, I see AI as the key to achieving my dreams before my father's dementia arrives. It has radically transformed my past month.

My preferred language is Lean 4, and AI has as hard a time coding in it as people. This morning's retooling has been distilling the Lean 4 website down to fit well within a 200K token context window. I prefer AI chat at arms length so I make the mistakes not it, but with enough editor integration that we can both see what we're doing.

I loved Sublime Text when I used it. And AI coding doesn't primarily accelerate one's original spec, it encourages tool scopes one might never have dared attempt. So writing a Sublime Text plugin that interfaces with an Anthropic API key is something any of us could probably knock off.