"I See What You Mean" by Peter Alvaro
Strange Loop Conference · 52:29 · Watch on YouTube
Peter Alvaro argues distributed systems should be programmed with a declarative, logic-based language like Dedalus that makes time and disorder explicit, so program meaning is data (models) not execution traces, and m...