(3) As AI makes hacking cheaper, demand for provably secure code will rise. Formal verification rules out whole classes of exploits outright, and those guarantees hold even as attackers get smarter. Interested in feedback on this take!

youtube.com/watch?v=1bRi6gDL… (lightly edited): "And it will be very interesting, I think, to see what happens. Because often, it's the points of no return, the points of the most dramatic tensions in life, that are the very places where dramatic change and transformation can happen. I don't think it's in any way guaranteed that change or transformation will happen. We don't know. But... it's going to go one way or another, and it's not going to be very long from right now before it goes one way or another... ...which, as silly as it seems... to me, it's a very exciting time to be alive. There's a lot of energy in what's happening here. We can see it as negative if we turn it into fear, but boy, there's a lot of potential that really wasn't available, because we're running out of options other than to wake up. It's starting to possibly become a biological necessity of survival. And when it gets to that point, it really starts to get people's attention. We may destroy ourselves if we can't actually wake up to the fact -- to the living experience -- that we really are the same. It's not good enough just to have the philosophy that we're really the same, because that philosophy breaks down when push comes to shove. It has to be something that is actually real in each of us, something we actually feel, something we're actually connecting to that's not just in our ideas... respecting the fact that we're all different, but also, we're all the same."

Full interview here: substack-proxy.glitch.me/art… A simple way to help: retweet this thread, or leave a comment! Or take a look at the full interview. Thanks everyone 🙂🙏 21/n