Naturally, there was a lot of impromptu whiteboarding, learning sessions, study groups, and overall jamming. As we learned about things like category theory, sheaves, zkML, plonk, provers, EVMs, MEV, light clients, data connectors, smart contract language design, and the list goes on.