this post was submitted on 14 Mar 2025
1 points (100.0% liked)

ProgrammingCircleJerk

117 readers
4 users here now

Programming CircleJerkCommunity at request of a user.

founded 2 years ago
MODERATORS
FirstMajesticComet@programming.dev
crmsnbleyd@sopuli.xyz
1
The TrapC compiler can avoid most memory-safe-pointer boundary checks by using AI code reasoning (thenewstack.io)
submitted 1 year ago by 0xDEADBEEFCAFE@programming.dev to c/programmingcirclejerk@programming.dev
0 comments fedilink hide all child comments
 

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.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here