170
3
Stanford AA228V: Validation of Safety Critical Systems (2025) (youtube.com)
6
MIT 15.393 – Nuts and Bolts of New Ventures (2026) (nutsandbolts.mit.edu)
3
The Long-term decline of the US Job ladder (NBER) (nber.org)
1
AI, Human Cognition and Knowledge Collapse (NBER Working Paper) (nber.org)
1
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (acm.org)
1
Asymmetry is all you need (2025) (theterminalist.substack.com)
2
Propose, Solve, Verify: Self-Play Through Formal Verification (arxiv.org)
1
Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) (nber.org)
6
Open-Source Hardware: curated list of open-source ASIC tools and designs (github.com/aolofsson)
1
Game on: Social networks and markets (2022) (sciencedirect.com)
1
Model Checking Boot Code from AWS Data Centers (2018) [pdf] (kroening.com)
2
MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures (csail.mit.edu)
1
Fuzzing Hardware Like Software (2021) (arxiv.org)
221
The effect of deactivating Facebook and Instagram on users' emotional state (nber.org)
51
MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks (shd.mit.edu)
2
Fuzzing Hardware Like Software (2022) (usenix.org)
2
Why exercise may never be effective medicine in the treatment of type-2 diabetes (nih.gov)
1
Play to Test: Software testing as reachability games against nature (2005) [pdf] (microsoft.com)
2
Wisdom of Crowds or Ignorance of Masses? A Data-Driven Guide to WallStreetBets (arxiv.org)
2