What do you do on a Sunday morning? VM, ISA, arguments and proofs, post-quantum cryptography, formal verification. #Ethereum

Oct 5, 2025 ยท 8:22 AM UTC

1
4
Replying to @m_ratsim
looks like my session is just selected lol
1
2