Antonio Viggiano (@agfviggiano) 's Twitter Profile
Antonio Viggiano

@agfviggiano

views are my own @SizeCredit @SpearbitDAO @getreconxyz

ID: 878722023970787329

calendar_today24-06-2017 21:10:31

3,3K Tweet

2,2K Followers

1,1K Following

Antonio Viggiano (@agfviggiano) 's Twitter Profile Photo

I've got both Claude Code and Codex working on the same PR Now I can watch 2 LLMs fight with distinct implementations and mess around with each other's code

Ethereum Foundation (@ethereumfndn) 's Twitter Profile Photo

The EF is donating $500K to the legal defense of Roman Storm, and we will match up to a further $750K in donations from the community. Privacy is normal, and writing code is not a crime.

Antonio Viggiano (@agfviggiano) 's Twitter Profile Photo

One sad thing about agents taking over dev jobs is that they do read commit messages. So `git commit -am 'Fix'` won't cut it anymore.

Antonio Viggiano (@agfviggiano) 's Twitter Profile Photo

If you were starting a Solidity project TODAY, what best practices would you follow? What's standing the test of time? - definitely custom errors with `require` - solc 0.8.26 following Uniswap Labs 🦄 v4 - maybe BTT?

Antonio Viggiano (@agfviggiano) 's Twitter Profile Photo

> How to fix or address this? > Increase the allowed delta: If this small difference is expected and acceptable, you can increase the allowed delta in your assertion to tolerate small rounding errors. — your AI vibe auditor

SCBuergel.eth (@scbuergel) 's Twitter Profile Photo

shafu I do care and at HOPR 🟡 we're undertaking significant effort to ship our own fully decentralized (i.e. free of centralized HTTP APIs) indexer because nobody else built one x.com/SCBuergel/stat…

karma (@0xkarmacoma) 's Twitter Profile Photo

halmos v0.3.0 release highlights! (quick reminder: halmos is a symbolic testing tool for EVM bytecode which interfaces nicely with foundry projects and supports multiple SMT solvers) 1. we (finally) added support for stateful invariant testing

halmos v0.3.0 release highlights!

(quick reminder: halmos is a symbolic testing tool for EVM bytecode which interfaces nicely with foundry projects and supports multiple SMT solvers)

1. we (finally) added support for stateful invariant testing
curiousapple (@0xcuriousapple) 's Twitter Profile Photo

i m so happy to see SRs building their own protocols, even happier that fellow SRs are supporting them. yieldoor, size credit, flexybridge and now vii finance 🔥

Antonio Viggiano (@agfviggiano) 's Twitter Profile Photo

Finding bugs is nice, but have you tried mathematically proving the absence of a bug? If you like ERC-4626 issues, check this out (and try to prove me wrong) github.com/a16z/erc4626-t…