When will libc and libc++ be formally proven?

Never, that's when. You couldn't prove a Hello World in such vague, shitty languages. Why do we tolerate C (and what people call C even though it's not C++, just because it doesn't use classes) to program critical systems again?

>>5
Bla-bla-bla brilliant hacker lone wolf romanticism, and in reality you're just stuck reinventing GC or pattern matching all day.

>>6
It feels like satire on Paul Graham "genius Lisp programmers".

>>15
Genius LITHP Brogrammers

C is the purest, unadulterated form of Blub.
C causes deep, uncurable Stockholm syndrome.
C is free as in freedom to destroy everything in a few keystrokes.