Post

I wrote a while back about Carliss Baldwin's excellent insights into platforms and openness. One of her underlying points (AIUI) is that modularity helps manage complexity, and at a certain scale and under certain conditions distributing it across multiple companies through standard interfaces

13/4/26, 2:21 pm0 reposts3 likes

Mark Nottingham

@mnot.net

13 Apr

makes sense. I can't help but wonder about how disruptive AI is to this -- tasks that used to be too complex for one person or one team to manage now can be handled with aplomb (if not accuracy).

Ignacio Castro

@ignactro.eurosky.social

14 Apr

and the accuracy challenge might be (sometimes) solvable bsky.app/profile/did:...

Martin Kleppmann@martin.kleppmann.com

Personally I think writing formal proofs is one of the best applications of AI, and I think we're going to see a lot more of it in the future, as I wrote a few months ago (martin.kleppmann.com/2025/12/08/a...). I've adjusted my own research agenda for the coming years to help make this happen.

martin.kleppmann.comPrediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog