Demystifying Non-Functional Requirements with Paul Christmann

1:01:08
Practical Systems Learning & Verification with Jack Vanlightly

1:01:46
Database Internals - SlateDB with Chris Riccomini

4:34
What is an algorithm? #algorithm

1:16:23
System Design the formal way with FizzBee

58:15
Patterns of Distributed Systems with Unmesh Joshi

42:41
Connecting the Dots with Tech Leader Rishi Jaitly on Say Again

1:00:25
Learnings from building Open Source Distributed Systems with Kishore Gopalakrishna

1:08:27