Awesome session with ! I love how he describes PL+networks as a great way to solve hard CS problems in a constrained domain. The demo of p4v is 🔥🔥🔥. There could be a whole stream of Nate doing verification demos. 🤩 Video here