imakwana's submissions

1.		MIT 15.393 – Nuts and Bolts of New Ventures (2026) (nutsandbolts.mit.edu)
		28 points by imakwana 8 days ago \| past \| 3 comments
2.		The Long-term decline of the US Job ladder (NBER) (nber.org)
		3 points by imakwana 11 days ago \| past \| 1 comment
3.		AI, Human Cognition and Knowledge Collapse (NBER Working Paper) (nber.org)
		1 point by imakwana 24 days ago \| past
4.		Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (acm.org)
		1 point by imakwana 43 days ago \| past
5.		Asymmetry is all you need (2025) (theterminalist.substack.com)
		2 points by imakwana 56 days ago \| past
6.		Propose, Solve, Verify: Self-Play Through Formal Verification (arxiv.org)
		2 points by imakwana 3 months ago \| past
7.		Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) (nber.org)
		1 point by imakwana 3 months ago \| past
8.		Open-Source Hardware: curated list of open-source ASIC tools and designs (github.com/aolofsson)
		12 points by imakwana 5 months ago \| past \| 3 comments
9.		Game on: Social networks and markets (2022) (sciencedirect.com)
		1 point by imakwana 5 months ago \| past
10.		Model Checking Boot Code from AWS Data Centers (2018) [pdf] (kroening.com)
		1 point by imakwana 6 months ago \| past
11.		MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures (csail.mit.edu)
		3 points by imakwana 7 months ago \| past
12.		Fuzzing Hardware Like Software (2021) (arxiv.org)
		1 point by imakwana 7 months ago \| past
13.		The effect of deactivating Facebook and Instagram on users' emotional state (nber.org)
		506 points by imakwana 11 months ago \| past \| 497 comments
14.		MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks (shd.mit.edu)
		255 points by imakwana on April 2, 2025 \| past \| 19 comments
15.		Fuzzing Hardware Like Software (2022) (usenix.org)
		1 point by imakwana on Dec 9, 2024 \| past \| 1 comment
16.		Why exercise may never be effective medicine in the treatment of type-2 diabetes (nih.gov)
		2 points by imakwana on Dec 8, 2024 \| past \| 1 comment
17.		Play to Test: Software testing as reachability games against nature (2005) [pdf] (microsoft.com)
		1 point by imakwana on Aug 13, 2024 \| past
18.		Wisdom of Crowds or Ignorance of Masses? A Data-Driven Guide to WallStreetBets (arxiv.org)
		2 points by imakwana on Jan 6, 2024 \| past
19.		Networks, Crowds and Markets: Reasoning about a highly connected world (2010) [pdf] (cornell.edu)
		3 points by imakwana on July 2, 2023 \| past
20.		Value Investor's Guide to Web3 (sparklinecapital.com)
		1 point by imakwana on Feb 3, 2022 \| past
21.		Repetition Economics – The Story of Hunter, Mammoth and Wolves (breakingthemarket.com)
		1 point by imakwana on May 26, 2020 \| past

HN For You