| 1. | | Propose, Solve, Verify: Self-Play Through Formal Verification (arxiv.org) |
| 2 points by imakwana 11 days ago | past | discuss |
|
| 2. | | Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) (nber.org) |
| 1 point by imakwana 17 days ago | past |
|
| 3. | | Open-Source Hardware: curated list of open-source ASIC tools and designs (github.com/aolofsson) |
| 12 points by imakwana 86 days ago | past | 3 comments |
|
| 4. | | Game on: Social networks and markets (2022) (sciencedirect.com) |
| 1 point by imakwana 3 months ago | past |
|
| 5. | | Model Checking Boot Code from AWS Data Centers (2018) [pdf] (kroening.com) |
| 1 point by imakwana 3 months ago | past |
|
| 6. | | MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures (csail.mit.edu) |
| 3 points by imakwana 4 months ago | past |
|
| 7. | | Fuzzing Hardware Like Software (2021) (arxiv.org) |
| 1 point by imakwana 4 months ago | past |
|
| 8. | | The effect of deactivating Facebook and Instagram on users' emotional state (nber.org) |
| 506 points by imakwana 8 months ago | past | 497 comments |
|
| 9. | | MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks (shd.mit.edu) |
| 255 points by imakwana 9 months ago | past | 19 comments |
|
| 10. | | Fuzzing Hardware Like Software (2022) (usenix.org) |
| 1 point by imakwana on Dec 9, 2024 | past | 1 comment |
|
| 11. | | 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 |
|
| 12. | | Play to Test: Software testing as reachability games against nature (2005) [pdf] (microsoft.com) |
| 1 point by imakwana on Aug 13, 2024 | past |
|
| 13. | | Wisdom of Crowds or Ignorance of Masses? A Data-Driven Guide to WallStreetBets (arxiv.org) |
| 2 points by imakwana on Jan 6, 2024 | past |
|
| 14. | | Networks, Crowds and Markets: Reasoning about a highly connected world (2010) [pdf] (cornell.edu) |
| 3 points by imakwana on July 2, 2023 | past |
|
| 15. | | Value Investor's Guide to Web3 (sparklinecapital.com) |
| 1 point by imakwana on Feb 3, 2022 | past |
|
| 16. | | Repetition Economics – The Story of Hunter, Mammoth and Wolves (breakingthemarket.com) |
| 1 point by imakwana on May 26, 2020 | past |
|
