2 ms·
I just wish AI made compilers smarter in a provably correct way instead of a lame attempt at making programmers smarter. I want tools that are smarter, but sti
by amelius 1y ago
I just wish AI made compilers smarter in a provably correct way instead of a lame attempt at making programmers smarter.
I want tools that are smarter, but still 100% correct at what they do.
Any tools/languages that address this gap?
- simonw 1y agoSomething I really appreciate about LLMs is that they make a whole bunch of much more sophisticated reliable tooling acceptable to me. I've always been fascinated by AST traversal and advanced refactoring tools - things like tree-sitter or Facebooks's old codemod system https://github.com/facebookarchive/codemod https://github.com/facebookarchive/codemod I never used them, because the learning curve in them was steep enough that I never found the time to climb it to the point that I could start solving problems. Modern LLMs know all of these tools, which flattens that curve for me - I find it much easier to learn something like that if I can start from semi-working examples directly applicable to what I'm trying to do.