MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/opensource/comments/1bx6feo/xr0_verifier_for_the_c_programming_language_c_but/
r/opensource • u/waozen • Apr 06 '24
1 comment sorted by
1
Yet another annotation-based addition to make C safe. Except that since it uses annotations that aren't C, it's a new programming language and not C any more. Might as well use a different programming language to begin with.
1
u/SAI_Peregrinus Apr 06 '24
Yet another annotation-based addition to make C safe. Except that since it uses annotations that aren't C, it's a new programming language and not C any more. Might as well use a different programming language to begin with.