Hacker News Comments on
"Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann
Strange Loop Conference
·
Youtube
·
10
HN points
·
1
HN comments
HN Theater has aggregated all Hacker News stories and comments that mention Strange Loop Conference's video ""Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann".
Youtube Summary
HN Theater Rankings
- This course is unranked · view top recommended courses
Hacker News Stories and Comments
All the comments and stories posted to Hacker News that reference this video.
⬐
Jan 03, 2022
·
amw-zero on
Go Fuzzing
If state space is your concern, I would try proofs. Here’s a live demo from Martin Kleppmann about proving something about a stateful distributed system: https://youtu.be/7w4KC6i9Yac.The tools have come a very long way, Isabelle is quite usable after learning a few concepts.
I believe this is the order-of-magnitude better approach you’re thinking of. We can apply finite effort to a proof about an infinite state space, with no runtime cost.
And, Isabelle has great automation. As seen in the video I shared, proofs can often be found with a little nudging in the right direction. You don’t have to write the whole thing out.