1Has AI already killed self-help nonfiction books? (opens in new tab)(tim.blog)422imakwana9d ago489Save
2Stanford AA228V: Validation of Safety Critical Systems (2025) (opens in new tab)(youtube.com)Video3imakwana1mo ago1Save
3MIT 15.393 – Nuts and Bolts of New Ventures (2026) (opens in new tab)(nutsandbolts.mit.edu)28imakwana3mo ago3Save
5AI, Human Cognition and Knowledge Collapse (NBER Working Paper) (opens in new tab)(nber.org)1imakwana3mo ago0Save
6Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (opens in new tab)(cacm.acm.org)1imakwana4mo ago0Save
7Asymmetry is all you need (2025) (opens in new tab)(theterminalist.substack.com)2imakwana4mo ago0Save
8Propose, Solve, Verify: Self-Play Through Formal Verification (opens in new tab)(arxiv.org)arXiv2imakwana5mo ago0Save
9Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) (opens in new tab)(nber.org)1imakwana6mo ago0Save
10Open-Source Hardware: curated list of open-source ASIC tools and designs (opens in new tab)(github.com)GitHub12imakwana8mo ago3Save
11Game on: Social networks and markets (2022) (opens in new tab)(sciencedirect.com)1imakwana8mo ago0Save
12Model Checking Boot Code from AWS Data Centers (2018) [pdf] (opens in new tab)(kroening.com)PDF1imakwana8mo ago0Save
13MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures (opens in new tab)(csg.csail.mit.edu)3imakwana10mo ago0Save
15The effect of deactivating Facebook and Instagram on users' emotional state (opens in new tab)(nber.org)506imakwana1y ago497Save
