Artem Chystiakov
@Arvolear
Ethereum OG | Simplicity Ecosystem Engineer at @blockstream | Opinions are my own
가입 March 2021
193 팔로잉 중 3K 팬
1. Implement a smart contract in a most simple way possible.
2. Ask Claude to optimize the hell out of it.
3. Formally verify their equivalence.
4. Win?
