imakwana
- Karma
- 618
- Created
- 7 years ago
About
ASIC Design Verification Engineer struggling to understand modern computing landscape.Austin, TX, USA
Recent Submissions
- 1. ▲ The Macroeconomic Effect of AI: Sizing the Software Engineering Channel (NBER) (nber.org)
- 2. ▲ Making Concurrent Hardware Verification Sequential (2025) (dl.acm.org)
- 3. ▲ Redwood: A Frontier AI Accelerator Designed from Scratch in 2 Weeks by AI (arxiv.org)
- 4. ▲ Replaceable but Employed: Automation and Meaning of Work (NBER Working Paper) (nber.org)
- 5. ▲ Has AI already killed self-help nonfiction books? (tim.blog)
- 6. ▲ Stanford AA228V: Validation of Safety Critical Systems (2025) (youtube.com)
- 7. ▲ MIT 15.393 – Nuts and Bolts of New Ventures (2026) (nutsandbolts.mit.edu)
- 8. ▲ The Long-term decline of the US Job ladder (NBER) (nber.org)
- 9. ▲ AI, Human Cognition and Knowledge Collapse (NBER Working Paper) (nber.org)
- 10. ▲ Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (cacm.acm.org)