Excellent content! As someone just starting my journey into distributed systems in the context of decentralized blockchain protocols, the insight gained from Dominik and Joran about determinism, sources of non-determinism and DST is now going to influence my entire approach to learning and building these types of systems! I'm excited to see how I might be able to apply both DST and the system design principles required to enable it to this specific domain. Thank you.
Many exciting things: formal methods for concurrent/distributed systems, Jepsen, DST and how they connect, new things for me is different degree of deterministic of system under test and how it enables DST. Thanks for the talk. Please give us more in the future from this group!
Excellent content! As someone just starting my journey into distributed systems in the context of decentralized blockchain protocols, the insight gained from Dominik and Joran about determinism, sources of non-determinism and DST is now going to influence my entire approach to learning and building these types of systems! I'm excited to see how I might be able to apply both DST and the system design principles required to enable it to this specific domain. Thank you.
Thank you for your kind words, we are happy you like the video
Many exciting things: formal methods for concurrent/distributed systems, Jepsen, DST and how they connect, new things for me is different degree of deterministic of system under test and how it enables DST. Thanks for the talk. Please give us more in the future from this group!