News for hackers. Stuff that matters.

A comment on Prossimo – Memory safety for the Internet's most critical infrastructure. Parent comment

Re:Prossimo – Memory safety for the Internet's most critical... by grumblenum on Tuesday June 22, 2021 @07:57AM (#27590571)
That's fascinating. Can you direct me to any of their papers or public work formally verifying a rust codebase? I haven't seen that before.
[ Parent | on HN ]

There are no comments on this comment yet.