It has regularly autocompleted what I was going to type anyway.
It has saved me typing time more than it has saved me critical thinking time. Which has value, but not in the same way.
As an example from yesterday, I had written a function that returned the position of the camera in 3d space relative to an object. I'd written it fairly quickly and naively using just the direction vector and it mostly worked, but then I realized when the camera was overhead facing down, I also needed to consider the orientation of the camera. I fed my function into Claude, explained the problem without my hunch on how to fix it because it's always interesting to see if I'll get a different solution. But Claude was able to get the same solution as me, and do the maths required, in one go.
<teach it your language here> .. I'm giving you quite a puzzle so try to figure this one out and translate to miniKanren in Scheme (you will notice the blank line between definitions which signifies the end of one definition and the beginning of the next - variables do not necessarily mean the same thing from one definition to the next - V(VS) is a way to update V within the second definition as the variegation of S before moving rightward with subsequent constraints that may use the new value of V):
(VS)(US)=(UR)R
VARIEGATE
STORY
S(U)MMARIZE
RESULT.
(HS)V(VS)(LV)<(LS)V
S(H)ORTEN
STORY
VARIEGATE
LENGTH
It actually works which completely floored me :))