the problem with passwords is that they are reusable the problem with passkeys is that they’re unusable

Have you setup your agent properly? It's in .cursorrules. It's literally in Project Rules. It's in CLAUDE md. You can just set it up in GEMINI md. Dude, it's in copilot-instructions. You can find it in llms.txt. It's in CRUSH md now.

either I'm holding Claude Code wrong or it's just a big psyop

who's working on this?

fast is a feature, it means more tests can now be verified h/t ernestognw.eth — oss/acc for running halmos in the OpenZeppelin CI

please don't tell Eddy Lazzarin 🟠🔭 I make these on company time

please try to enjoy each chemical equally, and not show preference for any over the others

ERC721A tests: halmos v0.0.8 (first version I started working on): 24m15s halmos v0.3.3 (latest): 1m13s

The modern Solidity smart contract stack is - Foundry (obviously) - Solx for fastest builds - Solady by vectorized.eth - Soldeer by m4rio - Halmos by karma - Aderyn by Cyfrin Audits - Tenderly for onchain debugging Anything else?

uv: come for the speed, stay for: - the temp venvs - python version pinning - scripts with dependencies - CLI tool install/upgrade thanks Charlie Marsh et al. 🫡

Solidity gas optimization tricks.

actually it's pronounced merkeleh

github pull requests are down good thing we work on decentralized tech and a single point of failure couldn't possibly get in the way 😶

1/ Phishing attacks are evolving — and most people aren't ready. From fake Google alerts to malicious job offers, here are 6 real phishing strategies hackers are using right now… and how to protect yourself.