3 ms·
What would be interesting is if they found a memory unsafe bug. Postgres is a perfect case study of 30 years of C with a bit of CPP; if rewriting in a safer lan
by ZiiS 3mo ago
What would be interesting is if they found a memory unsafe bug. Postgres is a perfect case study of 30 years of C with a bit of CPP; if rewriting in a safer language didn't find anything...
- whatever1 3mo agoYou are exactly right. There is no freaking way there was no unsafe behavior in a code case of the size of Postgres. In fact from a porting effort this is the first blog post I would expect. Not that the hey we successfully did it.
- derdi 3mo agoI would expect Postgres to be heavily tested with things like Valgrind and various sanitizers. I'd be surprised if there were low-hanging fruit. But also, if there is code that does something fishy with pointers, wouldn't the AI likely paper over it by adding an unsafe block in the Rust version, preserving the same fishiness? It's hard to know how hard it would try to prove that the original is broken.
- pknerd 3mo ago> What would be interesting is if they found a memory unsafe bug They will ask relevant Claude skill.md
- groundzeros2015 3mo agoC programmer have learned how to deal with memory problems and have whole suites of tools for finding them. Is it cheaper to find them at compile time rather than runtime? Yes. But it’s not an unsolved problem. Memory bugs are a known unknown.
- addedGone 3mo agoexcept that lately we've had a ton of CVE related to memory, so in practice it's not exactly right.
- deleted 3mo ago[deleted]
- groundzeros2015 3mo agoRust itself has CVEs. Which projects are you referring to?