Stories by imakwana

MIT 15.393 – Nuts and Bolts of New Ventures (2026)

The Long-term decline of the US Job ladder (NBER)

AI, Human Cognition and Knowledge Collapse (NBER Working Paper)

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

Asymmetry is all you need (2025)

Propose, Solve, Verify: Self-Play Through Formal Verification

Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper)

Open-Source Hardware: curated list of open-source ASIC tools and designs

Game on: Social networks and markets (2022)

Model Checking Boot Code from AWS Data Centers (2018) [pdf]

MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures

Fuzzing Hardware Like Software (2021)

The effect of deactivating Facebook and Instagram on users' emotional state

MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks

Fuzzing Hardware Like Software (2022)

Why exercise may never be effective medicine in the treatment of type-2 diabetes

Play to Test: Software testing as reachability games against nature (2005) [pdf]

Wisdom of Crowds or Ignorance of Masses? A Data-Driven Guide to WallStreetBets

Networks, Crowds and Markets: Reasoning about a highly connected world (2010) [pdf]

Value Investor's Guide to Web3