News for hackers. Stuff that matters.

A comment on There is no memory safety without thread safety. Parent comment

Re:There is no memory safety without thread safety by uecker on Friday July 25, 2025 @01:34AM (#44679883)
There is also a lot of formally verified in C.
[ Parent | on HN ]

There are no comments on this comment yet.