1MIT 15.393 – Nuts and Bolts of New Ventures (2026) (opens in new tab)(nutsandbolts.mit.edu)2imakwana10m ago0
3AI, Human Cognition and Knowledge Collapse (NBER Working Paper) (opens in new tab)(nber.org)1imakwana16d ago0
4Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (opens in new tab)(cacm.acm.org)1imakwana1mo ago0
6Propose, Solve, Verify: Self-Play Through Formal Verification (opens in new tab)(arxiv.org)2imakwana2mo ago0
7Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) (opens in new tab)(nber.org)1imakwana3mo ago0
8Open-Source Hardware: curated list of open-source ASIC tools and designs (opens in new tab)(github.com)12imakwana5mo ago3
10Model Checking Boot Code from AWS Data Centers (2018) [pdf] (opens in new tab)(kroening.com)1imakwana5mo ago0
11MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures (opens in new tab)(csg.csail.mit.edu)3imakwana7mo ago0
13The effect of deactivating Facebook and Instagram on users' emotional state (opens in new tab)(nber.org)506imakwana11mo ago497
14MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks (opens in new tab)(shd.mit.edu)255imakwana11mo ago19
