HackerTube / Video
"I See What You Mean" by Peter Alvaro
Strange Loop Conference
Peter Alvaro's Strange Loop 2015 talk argues that query languages let you state what you mean, and applies that to distributed programming. It covers Datalog, Dedalus and the Bloom lineage for reasoning about distributed systems.
Recommended as a fantastic introduction to declarative and Datalog-based distributed systems and failure modeling.
12 Hacker News mentions · 2016–2019