i imakwana Joined 7 years ago Karma 618 Submissions 99 Member since Mar 13 ASIC Design Verification Engineer struggling to understand modern computing landscape.Austin, TX, USA View on Hacker News
The Macroeconomic Effect of AI: Sizing the Software Engineering Channel (NBER) n nber.org 1 imakwana 1 month ago 1 comments
Making Concurrent Hardware Verification Sequential (2025) d dl.acm.org 1 imakwana 1 month ago 0 comments
Redwood: A Frontier AI Accelerator Designed from Scratch in 2 Weeks by AI a arxiv.org 2 imakwana 1 month ago 0 comments
Replaceable but Employed: Automation and Meaning of Work (NBER Working Paper) n nber.org 2 imakwana 2 months ago 0 comments
Stanford AA228V: Validation of Safety Critical Systems (2025) y youtube.com 3 imakwana 5 months ago 1 comments
MIT 15.393 – Nuts and Bolts of New Ventures (2026) n nutsandbolts.mit.edu 28 imakwana 7 months ago 3 comments
AI, Human Cognition and Knowledge Collapse (NBER Working Paper) n nber.org 1 imakwana 7 months ago 0 comments
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification c cacm.acm.org 1 imakwana 8 months ago 0 comments
Propose, Solve, Verify: Self-Play Through Formal Verification a arxiv.org 2 imakwana 10 months ago 0 comments
Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) n nber.org 1 imakwana 10 months ago 0 comments
Austin, TX, USA