HN Theater has aggregated all Hacker News stories and comments that mention Code Sync's video "Martin Kleppmann - Correctness proofs of distributed systems with Isabelle | Code Mesh LDN 19".
Youtube Summary
This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr
Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS
---
CORRECTNESS PROOFS OF DISTRIBUTED SYSTEMS WITH ISABELLE by Martin Kleppmann
THIS TALK IN THREE WORDS: Distributed Formal Verification
TALK LEVEL: Intermediate
ABSTRACT Testing systems is great, but tests can only explore a finite set of inputs and behaviours, while many distributed systems have an infinite state space. If you want to be sure that a program does the right thing in all possible situations, testing is not sufficient: only mathematical proof can cover an infinite state space. This talk introduces Isabelle/HOL, an interactive proof assistant (a kind of programming language and REPL for proofs), and explores how to formally verify distributed algorithms.
Slides & full abstract: https://codesync.global/speaker/martin-kleppmann/
---
THE SPEAKER - MARTIN KLEPPMANN Distributed systems researcher and author
Dr Martin Kleppmann is a researcher in distributed systems at the University of Cambridge, and author of the acclaimed 'Designing Data-Intensive Applications' (O'Reilly Media, 2017). He mainly works on collaboration software, CRDTs, and formal verification of distributed algorithms. Previously he was a software engineer and entrepreneur at Internet companies including LinkedIn and Rapportive, where he worked on large-scale data infrastructure.
More on Martin Kleppmann: https://codesync.global/speaker/martin-kleppmann/
---
CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK.
CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global
Lorem ipsum dolor sit amet,
consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et
dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation
ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor
in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla
pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui
officia deserunt mollit anim id est laborum.