sudo rm -rf --no-preserve-root / (@pcaversaccio)
@pcaversaccio
0 正在关注 0 粉丝
i'm so fucking done with all of your fucktards using hot wallets, getting compromised and losing your life savings because you stored everything on a hot device. i don't have fucking mercy with you. it's all your fucking mistake. stop using fucking hot wallets. hot wallets are a fucking bug. today alone we have had +2m in losses at SEAL 911 due to hot wallet drains (via device compromises). use a fucking cold storage wallet.
显示更多
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. 🐍💙
显示更多
