News for hackers. Stuff that matters.

A comment on Tailscale didn't stop the Hugging Face intrusion. Parent comment

Re:Tailscale didn't stop the Hugging Face intrusion by aborsy on Friday July 31, 2026 @10:06PM (#49130442)
No. If software is small enough, it can be proven.

There is formal verification of the protocol and aspects of code:

https://www.wireguard.com/formal-verification/

The code is small enough that can be reviewed.

[ Parent | on HN ]
Re:Tailscale didn't stop the Hugging Face intrusion by k8sToGo on Saturday August 01, 2026 @03:51AM (#49132123)
That makes sense. Thanks!
[ Parent | on HN ]