Founder of auditlabs.ai, learning materials for audits. Insists "crypto" stands for "cryptography." Senior Watson @sherlockdefi. Alt of @jimmykoppel.

Making every Claude Code user a 100x developer @ccdotdev. Making good engineers great at mirdin.com . Ph. D. in PL from @MIT. @thielfellowship 2012

Co-Founder @ccdotdev | making coding great again