🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

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

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.

What are you building with an agent today?

What can go wrong? github.com/aviggiano/tele…

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.

Thanks for flagging, we blocked the malicious domain

Looking for a part-time Web3 frontend dev with experience in DeFi DM me your GitHub profile, CV, or portfolio

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?

> 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

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…

my AI auditor can find bugs introduced by my AI dev

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

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 🔥

AI is pretty good at writing semgrep rules

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…

Useful lil library for debugging ERC4626 vaults github.com/aviggiano/cons…

Today starts Ethereum Foundation Core Program 2025 in Brazil 🇧🇷 I'll share my learnings about programmable cryptography here