ProgrammingCircleJerk

131 readers

48 users here now

Programming CircleJerkCommunity at request of a user.

founded 1 month ago

MODERATORS

FirstMajesticComet

[email protected]

crmsnbleyd

The TrapC compiler can avoid most memory-safe-pointer boundary checks by using AI code reasoning (thenewstack.io)

submitted 2 weeks ago by 0xDEADBEEFCAFE to c/programmingcirclejerk

3 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.

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 6 points 2 weeks ago* (last edited 2 weeks ago)

Rowe told us this week — “The thing about union is it is widely used in C for SSO Short String Optimization… more common than I’d thought.”

surely a good idea to let this guy design a C compiler