X @vitalik.eth

RT sudo rm -rf --no-preserve-root / (@pcaversaccio)it's a remarkable milestone for anyone working on compilers and smart contract security: Vyper is set to become the first formally verified smart contract compiler, effectively allowing you to mathematically prove that the entire compilation pipeline preserves the contract logic and to prove that the contract logic itself is correct. Oh, and the cool thing is, my snekmate math functions have been formally verified :D. 🐍💙 ...