Systems programmer writing about EVM internals, Rust, fuzzing, and formal verification.https://tanishq.sh/https://tanishq.sh/posts/solidity-primer/https://tanishq.sh/posts/solidity-primer/A dense single-sitting primer: how Solidity maps onto the machine you already understand — storage layout, dispatch, the 0.8.x timeline, canonical bug classes, proxies, and gas idioms.Sun, 12 Jul 2026 00:00:00 GMThttps://tanishq.sh/posts/hello-world/https://tanishq.sh/posts/hello-world/Why this blog exists, what it runs on, and what to expect from it.Mon, 06 Jul 2026 00:00:00 GMThttps://tanishq.sh/posts/verkle-snapshot-protocol/https://tanishq.sh/posts/verkle-snapshot-protocol/A snap/2 protocol sketch for exchanging Verkle state snapshots between peers — suffix-tree ranges, verkle range proofs, and healing via execution witnesses.Sun, 01 Oct 2023 00:00:00 GMThttps://tanishq.sh/posts/facebook-production-engineer-intern-process/https://tanishq.sh/posts/facebook-production-engineer-intern-process/Interviewing for the Production Engineer Intern role at Facebook London — the three rounds, what they test, and the resources that help.Sun, 03 Nov 2019 00:00:00 GMT