Clip on Eclipse Sequencers -its decentralized -4 beefy sequencers -using Solana PBFT

Quint is becoming the next pen & paper for specifying protocols📝 -Quint makes complex protocols much easier to grasp. -It forces precise specification, reducing errors and outdated specs. -not just formal verification, its tool for understanding & precisely defining protocols

If you're not following gogoDiego, you definitely should be. ⚛️ But I recently found out that this talented dude also does a podcast called MACROCOSM. I've been catching up on the episodes, and I'm gonna share 5 of my favourites to get you started. 👇🧵