Remix.run Logo
conartist6 3 hours ago

I forgot about Coccinelle.

I think semantic patching is an idea whose time has come though. I'm making a more modern set of tools for source-to-source transformation that will work with any desired languages as the input and output.

fweimer 3 hours ago | parent [-]

Those tools exist, but you have to pay by the token. I'm not sure if they scale financially to large code bases such as the Linux kernel. They are far more accessible than Coccinelle or Perl, though.

eqvinox 2 hours ago | parent [-]

Honestly, I rather use Coccinelle, where I understand exactly what it does, when it does it and why it does it…

conartist6 an hour ago | parent [-]

I would also rather use a tool that I trust than delegate the task to unreliable third party.

But to the person bringing up AI, you don't have to choose one or the other! Models use tools. Good tools for people are usually also good tools for models. The problem models have in learning to use tools like Coccinelle effectively is that there are too many of the tools and not enough documentation for each tool. If there were a unified, standard platform however then many humans would start to gain abilities through fluent tool use and of enough of those people would write docs and blog posts. Where people lead, models follow without doubt. Once a large enough corpus of writing existed documenting a single platform the models would also be fluent, just like they are fluent in JS and React because of how large the web platform is