fioscan 🤌🇦🇷
4.9K posts

fioscan 🤌🇦🇷
@fiorescan
Comms @Certora. Prev @poapxyz.



ep 04 is live. @MPtherealmvp is senior director brand partnerships at @aave - from Argentina to Berlin, from oil and gas to becoming a key figure of the crypto ecosystem. A personal journey through the early days, community building success with @ETHBerlin & @dod_berlin industry disappointments, the rise and fall of @______jpg______ , motherhood, navigating industry rejection as a generalist and finding her path...

Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: vitalik.eth.limo/general/2026/0…



We're doing free 1:1 Security Sessions at @SuiNetwork Live in Miami on May 7. Bring questions about your protocol or project, our Security Researchers will guide you. Slots are limited, apply now ⬇️ luma.com/sui-live-certo…

Rounding errors have drained millions from DeFi protocols. Certora is building an open source static analysis tool for Solidity to prevent them, and we're participating in the @ethereum Security QF Round from @thedaofund. Your donation helps us go further ↓






I'm looking for my next gig. The backstory is simple: the company I worked for ran out of money, and took the hard decision to lay off a bunch of employees. I was one of them. The decision was a financial and not a personal one. I parted ways with that team on good terms.






