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