imakwana

617 karmajoined March 13, 2019On HN

ASIC Design Verification Engineer struggling to understand modern computing landscape.

Austin, TX, USA

Recent submissions

Redwood: A Frontier AI Accelerator Designed from Scratch in 2 Weeks by AI arxiv.org
2imakwana8ddiscuss
Replaceable but Employed: Automation and Meaning of Work (NBER Working Paper)nber.org
2imakwana1modiscuss
Has AI already killed self-help nonfiction books?tim.blog
422imakwana2mo489 comments
Stanford AA228V: Validation of Safety Critical Systems (2025)youtube.com
3imakwana3mo1 comment
MIT 15.393 – Nuts and Bolts of New Ventures (2026)nutsandbolts.mit.edu
28imakwana5mo3 comments
The Long-term decline of the US Job ladder (NBER)nber.org
3imakwana5mo1 comment
AI, Human Cognition and Knowledge Collapse (NBER Working Paper)nber.org
1imakwana6modiscuss
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification cacm.acm.org
1imakwana6modiscuss
Asymmetry is all you need (2025)theterminalist.substack.com
2imakwana7modiscuss
Propose, Solve, Verify: Self-Play Through Formal Verification arxiv.org
2imakwana8modiscuss
Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper)nber.org
1imakwana8modiscuss
Open-Source Hardware: curated list of open-source ASIC tools and designs github.com/aolofsson
12imakwana10mo3 comments
Game on: Social networks and markets (2022)sciencedirect.com
1imakwana11modiscuss
Model Checking Boot Code from AWS Data Centers (2018) [pdf]kroening.com
1imakwana11modiscuss
MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures csg.csail.mit.edu
3imakwana1ydiscuss
Fuzzing Hardware Like Software (2021)arxiv.org
1imakwana1ydiscuss
The effect of deactivating Facebook and Instagram on users' emotional state nber.org
506imakwana1y497 comments
MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks shd.mit.edu
255imakwana1y19 comments
Fuzzing Hardware Like Software (2022)usenix.org
1imakwana1y1 comment
Why exercise may never be effective medicine in the treatment of type-2 diabetes pubmed.ncbi.nlm.nih.gov
2imakwana1y1 comment
Play to Test: Software testing as reachability games against nature (2005) [pdf]microsoft.com
1imakwana2ydiscuss
Wisdom of Crowds or Ignorance of Masses? A Data-Driven Guide to WallStreetBets arxiv.org
2imakwana2ydiscuss
Networks, Crowds and Markets: Reasoning about a highly connected world (2010) [pdf]cs.cornell.edu
3imakwana3ydiscuss
Value Investor's Guide to Web3 sparklinecapital.com
1imakwana4ydiscuss

All submissions and comments on Hacker News.