There is absolutely no reason to not think AI companies aren't doing the same. Dial in the accuracy so that each tier is only so useful, constantly and subtlety encouraging you to pay a little more for just a few more queries because "the next prompt will make it work, I'm sure this time!"
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.
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.
champoradopapi•1h ago
bradly•1h ago
> Chrome Extension Rewrite: Finally, I rewrote the element selector of the Chrome extension (the one that lets you select/pointer elements in the browser) the “traditional” way, by hand. Why? Because I realized that my struggles to explain it to AI were actually a problem of abstraction. Once I fixed that, the result was clean, solid, and perfectly ready for future iterations — this time with AI. I realized that getting these abstractions right was writing the spec. And that’s the kind of work architects do.