hexgolems.com/2020/04/incorr…

Save a programmer, stop shotgun parsing today
lexi-lambda.github.io/blog/2019/11/0…

Did a pretty cool thing with Curvance (Loading...) and Trail of Bits!

Excited to finally be able to highlight this!

blog.trailofbits.com/2024/04/30/cur…

After some messing around, just NixOS things :)))), I got this to work.

Absolute game-changer for contract testing suites. Slither used to be a lot harder to use, too.

If you're writing contracts, add this to your toolkit. You won't regret it.

Why are there so many broken links for cosmos advisories (withdrawn?) and security disclosures?

Having to reverse engineer guidance

I guess the MEV design space is not as trendy anymore but it seems important to get more eyes on these discussions

Learn Coq and Datalog

Find all the external functions that modify a state variable in Slither