0/ As AI systems become more powerful, formal verification – which is the discipline of using mathematics to prove computer programs correct – shows more and more promise.
A guest thread by @big_tech_sux, lead developer of @vyperlang 🧵
Ethereum
@ethereum
The universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.
- Ethereum is for shipping. Here are some of the things the Ethereum ecosystem launched, upgraded, and announced over the past month. 0/ @RobinhoodApp launched Robinhood Chain (@RobinhoodCrypto) on mainnet, an Ethereum Layer 2 built on the @arbitrum stack, enabling 24/7 trading
- The internet is better when everyday services respect the people using them. @ProtonMail inspires the broader privacy movement with encrypted web tools for everyone to use.
- 0/ The Tornado Cash legal saga continues. Alex Pertsev is still fighting for his freedom. Guest thread by @ameensol spotlighting @alex_pertsev's legal case in the Netherlands and the ongoing battle to protect privacy. 🧵
