RT @andre15silva_: Program repair involves searching discrete symbolic spaces, lacking a direct way to optimize for program behavior. What….

RT @SachaL__: Last week we hosted hackers building for the Kusama track geared towards deploying Solidity dApps to the Kusama Hub at @ETHLi….

Join millions who have switched to Grok.

RT @martinmonperrus: Onchain truth about smart contracts on Ethereum:.🔍 11 deployers created 20.5 million contracts.Our recent research pap….

Check it out👇.Repo: Paper: Newsletter:

🔥sb-heists is now featured in this week’s @blockthreat newsletter!. 🔍91 reproducible exploits for 9 blockchain vulnerabilities—learn how attacks work to defend better!. Big shoutout to @kacherginsky & the BlockThreat team! 🙌.

RT @martinmonperrus: Do Automated Fixes Truly Mitigate Smart Contract Exploits?.- 👍 the answer is "yes", for some vulnerability types (Reen….

RT @thebensams: The solidity optimizer will cause some sections of code to become "shared" across multiple functions. This reduces deploy c….

When I die, don’t delete my search history, delete my prompt history.

Project page:

Our project Pinting wins Best Tooling for @intentessential at @ETHGlobal Bangkok Hackathon 🍻🥳.w/ @dolosse_9 @JavierRon @BobadillaPSofia

RT @Montyly: One of my favorite security recurring talks. Opsec risks are now one of the major problems. 4 key tips:.- Use multisig, wit….

Proof of 🍺🦖 happy hour @ETHGlobal

RT @elifhilalumucu: ETH Global BKK 2024 💙

RT @andre15silva_: 🚀 o1 is out, and it shows impressive gains on GitBug-Java, our latest program repair benchmark, with a 32.3% plausible@1….