
research engineer @a16zcrypto
27738 Followers
new frame! view your follower count over time as a graph https://got-followers.onrender.com/
https://frames.weponder.io/api/polls/4551/frame context: halmos is our OSS EVM bytecode verifier (github.com/a16z/halmos)
Play it while it's hot: SAT or NOT. The first frame game where *you* figure out if a random 3SAT instance is satisfiable (or not). https://sat-or-not.onrender.com