Comment by AlotOfReading
1 day ago
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.
Personally I do get the intellectual high after a long LLM coding session.