3 ms·
Fil-C doesn't stop the data race problems the borrow checker would catch does it? Has anyone tried pointing an agentic ai at recreating a c utility by looking
by galangalalgol 1y ago
Fil-C doesn't stop the data race problems the borrow checker would catch does it?
Has anyone tried pointing an agentic ai at recreating a c utility by looking only at the man page and using differential fuzzing? It isn't a port, so no licensing issues, and the code would use unsafe, and presumably be more idiomatic. I have no idea if it would ever complete, or just get stuck in an endless loop. Or even if it did succeed, how many joules it would use.
- pizlonator 1y ago> data race problems No, Fil-C just makes races memory safe. Also this is sort of changing the topic a bit since bzip is single threaded
- galangalalgol 1y agoEven if it wasn't single threaded, it would probably have been fine grained OMP style multithreaded which runs into far fewer issues. I was just making sure I understood what Fil-C was doing. I hadn't heard of it. It seems like a great thing.
- krater23 1y agoI'm sure when you try to get a AI to recreate such a tool, ths code would be unmaintainable, bloath, slow and shitty, but in the end it would work in some way. Interesting topic, but nothing to go productive with.