News for hackers. Stuff that matters.
Re:ZZ is a modern formally provable dialect of C by quotemstr on Wednesday February 05, 2020 @01:02PM (#22249389)
> I agree it's the standard and the only thing that actually works (author's words),

C++ also "actually works" and, thanks to its much greater ability to support fluent abstractions, ends up being safer in practice than raw C code. You can use C++ for low-level system components. Did you know Android's libc is actually written in C++?

Re:ZZ is a modern formally provable dialect of C by pjmlp on Wednesday February 05, 2020 @02:52PM (#22250398)
Windows new one as well.