Turns out we don't need a borrow checker after all. We can just use vague "AI code reasoning". This seems highly credible and I'm sure we're going to see a fully functional compiler and source release within the next 10 decades.
The TrapC compiler can avoid most memory-safe-pointer boundary checks by using AI code reasoning
https://thenewstack.io/memory-safe-c-trapcs-pitch-to-the-c-iso-working-group/
3 Comments
_stranger_@lemmy.world · 14 pts · 1y
Why write dozens of lines of C when you can set the planet on fire to summon an edge case bug generator instead!
crmsnbleyd@sopuli.xyz · 8 pts · 1y
surely a good idea to let this guy design a C compiler
Binette@lemmy.ml · 6 pts · 1y
Did you ask AI if it was a good idea?