imakwana
The Macroeconomic Effect of AI: Sizing the Software Engineering Channel (NBER)
Making Concurrent Hardware Verification Sequential (2025)
He does sound a little preachy sometimes but the underlying concepts/frameworks are coherent.
Redwood: A Frontier AI Accelerator Designed from Scratch in 2 Weeks by AI
Replaceable but Employed: Automation and Meaning of Work (NBER Working Paper)
Has AI already killed self-help nonfiction books?
Stanford AA228V: Validation of Safety Critical Systems (2025)
MIT 15.393 – Nuts and Bolts of New Ventures (2026)
The Long-term decline of the US Job ladder (NBER)
AI, Human Cognition and Knowledge Collapse (NBER Working Paper)
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Asymmetry is all you need (2025)
Propose, Solve, Verify: Self-Play Through Formal Verification
Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper)
Open-Source Hardware: curated list of open-source ASIC tools and designs
Game on: Social networks and markets (2022)
Model Checking Boot Code from AWS Data Centers (2018) [pdf]
MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures
Last 10 years comparison (VTI vs FNDB): https://www.portfoliovisualizer.com/backtest-portfolio?s=y&s...
In my case, after observing the Covid-19 craziness in market, I decided to dig further on value strategies and discovered this gem from Research Affiliates in Journal of Portfolio Management circa 2012, which completely convinced me on the concept of fundamental indexation as a superior alternative to market-cap weighted total market index.
Rebalancing and the value effect (JPM 2012): https://www.researchaffiliates.com/content/dam/ra/publicatio...
Fuzzing Hardware Like Software (2021)
The Effect of Deactivating Facebook and Instagram on Users' Emotional State
I came across Satnam Singh's work first while learning about the Lava language/framework for FPGAs, glad to discover his more recent work.