An overview of recent developments in distributed systems and a brief introduction to Molly, a system for automatically detecting errors in a program provided a formal model describing the desired correct behavior of the program.
This is an excellent talk. I really like the focus on composition, and difficulties in providing (and proving) guarantees in complete systems. There’s lots of great research going on in this area, and it’s going to be really interesting to see how well it can translate into better real-world systems in the coming decades.
This was by far my favorite talk at Ricon (there were many other great talks, too), and I’m super excited for the release of Molly, because it seems as though it might be something that mere mortals can actually use, since Dedalus is similar to Datalog.