Embed Notice

I'm actually so blackpilled on anything cybersecurity related. good practices are a nice thing to have but if we don't fundamentally change how we program computers, nothing's gonna change.

I really do think formal verification needs to be more encouraged. also ofc it's difficult to push for greatly decreasing attack surface of so many systems be so many nation states have a vested interest in keeping them open for surveillance