Martin Kleppmann verifying distributed systems? That's as good as it can get. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		javcasas on Oct 12, 2022 \| parent \| context \| favorite \| on: Verifying distributed systems with Isabelle/HOL Martin Kleppmann verifying distributed systems? That's as good as it can get.

eatonphil on Oct 12, 2022 [–]

With a proof assistant written in Standard ML. :)

https://isabelle.in.tum.de/

javcasas on Oct 12, 2022 | [–]

Yeah, a distributed system with proofs of it working under some specific assumptions. This is the future. It's a future hard and complicated because the tools and the expertise are not here yet, but definitely the future.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact