HN Explorer

imakwana

↗ HN profile [ 83.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Redwood: A Frontier AI Accelerator Designed from Scratch in 2 Weeks by AI (arxiv.org)
    1 points 0
  2. Replaceable but Employed: Automation and Meaning of Work (NBER Working Paper) (nber.org)
    2 points 0
  3. Has AI already killed self-help nonfiction books? (tim.blog)
    422 points 136
  4. Stanford AA228V: Validation of Safety Critical Systems (2025) (youtube.com)
    3 points 1
  5. MIT 15.393 – Nuts and Bolts of New Ventures (2026) (nutsandbolts.mit.edu)
    28 points 2
  6. The Long-term decline of the US Job ladder (NBER) (nber.org)
    3 points 1
  7. AI, Human Cognition and Knowledge Collapse (NBER Working Paper) (nber.org)
    1 points 0
  8. Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (cacm.acm.org)
    1 points 0
  9. Asymmetry is all you need (2025) (theterminalist.substack.com)
    2 points 0
  10. Propose, Solve, Verify: Self-Play Through Formal Verification (arxiv.org)
    2 points 0
  11. Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) (nber.org)
    1 points 0
  12. Open-Source Hardware: curated list of open-source ASIC tools and designs (github.com)
    12 points 3
  13. Game on: Social networks and markets (2022) (sciencedirect.com)
    1 points 0
  14. Model Checking Boot Code from AWS Data Centers (2018) [pdf] (kroening.com)
    1 points 0
  15. MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures (csg.csail.mit.edu)
    3 points 0
  16. Fuzzing Hardware Like Software (2021) (arxiv.org)
    1 points 0
  17. The effect of deactivating Facebook and Instagram on users' emotional state (nber.org)
    506 points 497
  18. MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks (shd.mit.edu)
    254 points 19
  19. Fuzzing Hardware Like Software (2022) (usenix.org)
    1 points 1
  20. Why exercise may never be effective medicine in the treatment of type-2 diabetes (pubmed.ncbi.nlm.nih.gov)
    2 points 1
  21. Play to Test: Software testing as reachability games against nature (2005) [pdf] (microsoft.com)
    1 points 0
  22. Wisdom of Crowds or Ignorance of Masses? A Data-Driven Guide to WallStreetBets (arxiv.org)
    2 points 0
  23. Networks, Crowds and Markets: Reasoning about a highly connected world (2010) [pdf] (cs.cornell.edu)
    3 points 0
  24. Value Investor's Guide to Web3 (sparklinecapital.com)
    1 points 0
  25. Repetition Economics – The Story of Hunter, Mammoth and Wolves (breakingthemarket.com)
    1 points 0