imakwana
- Karma
- 426
- Created
- 7 years ago
About
ASIC Design Verification Engineer struggling to understand modern computing landscape.Austin, TX, USA
Recent Submissions
- 1. ▲ MIT 15.393 – Nuts and Bolts of New Ventures (2026) (nutsandbolts.mit.edu)
- 2. ▲ The Long-term decline of the US Job ladder (NBER) (nber.org)
- 3. ▲ AI, Human Cognition and Knowledge Collapse (NBER Working Paper) (nber.org)
- 4. ▲ Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (cacm.acm.org)
- 5. ▲ Asymmetry is all you need (2025) (theterminalist.substack.com)
- 6. ▲ Propose, Solve, Verify: Self-Play Through Formal Verification (arxiv.org)
- 7. ▲ Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) (nber.org)
- 8. ▲ Open-Source Hardware: curated list of open-source ASIC tools and designs (github.com)
- 9. ▲ Game on: Social networks and markets (2022) (sciencedirect.com)
- 10. ▲ Model Checking Boot Code from AWS Data Centers (2018) [pdf] (kroening.com)