Mark Logan
633
posts
The dark side of the force is a pathway to many abilities that some consider to be unnatural
Joined February 2013
I'm one of the people most directly responsible for this outage. I take Sui outages extremely personally and am incredibly disappointed that this happened. I'll echo what
@EvanWeb3said: Moving fast is no excuse for outages. This outage was caused primarily by an edge case in
Even ignoring the formal verification angle, "AI is good at finding bugs so software will always be insecure" is fundamentally a very weird idea that stops making sense if you think about it for 2 minutes
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: vitalik.eth.limo/general/2026/0…




