Mark Logan · X (formerly Twitter)

Mark Logan

633

posts

user avatar

@technicaldebtor

The dark side of the force is a pathway to many abilities that some consider to be unnatural

Joined February 2013

  • user avatar

    Some say its still floating to this very day

    user avatar

    Starship still floating in the ocean

    00:00

  • user avatar

    maybe the real weakness of AI is that it can't give up on a problem, go to sleep, and then suddenly realize the solution in the shower the next morning

  • user avatar

    The problem with "belt and suspenders" is you can trip over your suspenders, or they can catch fire.

  • user avatar

    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

    @EvanWeb3

    said: Moving fast is no excuse for outages. This outage was caused primarily by an edge case in

    user avatar

    Moving fast is not a valid excuse for the outages. They are unacceptable, period. You have my sincerest apologies for the outages. We are focused on restoring the level of reliability and security to the absolute maximum.

  • user avatar

    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

    user avatar

    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…

Read the original on x.com ↗