It is a terrible mistake that some people have come to believe that code is only as useful as its final executable result, and not the art of expressing logic and meaning within a computer system purely on its own merits.
There has been no discernible augmentation on a programmer's skills with these "tools". Zero, none, zilch.
Stop it.
You are making noise in a profession which a single mistake takes the "working" to "not working".
I swear the whole West's economic model is hyping bullshit to the uninitiated and make it seem plausible enough to either buy in whatever their selling or just plain self-satisfying "look at me I got a blog and writing code is challenging so here are some random ramblings about architecture springled with startupy vibes".
Petition to block "AI" stuff in this site for - at least - year.
This way you get to experience the job of a senior principal solution architect: thinking about big ideas, and letting the engineering workforce build it and trying to make a square enter a hole…
Irony apart, been using on and off claude code for 3 months, tech is crazy already but… pretty sure there is no real acceleration (time spent dreaming and prompting count don’t get fooled), and the feeling of accomplishement to implement a feature is gone for me. So maybe i’d rather enjoy doing the tech myself and only use it as a very powerful stack overflow like q&a
I'd much rather have junior developers follow my direction. That way I know they are learning, and can be more creative in how they approach their solution.
Indeed, it is good to be able to read F* code.
So not sure why the author does suggest to be Typer and Thinker at same time. Thinking in Types(and categories) composes well with traditional logical thinking imho.
Coding is an iterative process, regardless of whether you're handcrafting the code or using AI -- you need to move your thoughts / code / prompts from your head to the computer. You have to use the keyboard to do this. You have to do this over and over again, interleaving thinking with typing, and if you're fumbling for the mouse or smashing those arrow keys, your thinking is blocked.