zlacker

>>jernes+(OP)
I'm using LLMs to code and I'm still thinking hard. I'm not doing it wrong: I think about design choices: risks, constraints, technical debt, alternatives, possibilities... I'm thinking as hard as I've ever done.

>>topspi+o2
I'd go as far as to say I think harder now – or at least quicker. I'm not wasting cycles on chores; I can focus on the bigger picture.

>>gkober+o4
I've never felt more mental exhaustion than after a LLM coding session. I assume that is a result of it requiring me to think harder too.

>>9rx+B4
It wasn't until I read your comment that I was able to pinpoint why the mental exhaustion feels familiar. It's the same kind (though not degree) of exhaustion as formal methods / proofs.

Except without the reward of an intellectual high afterwards.