The part I liked most is the second demo about email validation: it really shows how Restate gives few good high level abstractions that lets developers build concise, correct and scalable programs, which can easily deal with inherent concurrent events such as timer events and human interactions.