Hackernews posts about Semi

1. Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (queue.acm.org)
   162 points by yarapavan 1 day ago | 52 comments
2. Nordic Semiconductor's Free Bluetooth Low Energy Course (academy.nordicsemi.com)
   15 points by apitman 21 days ago | discuss
3. Trump wants to kill $52.7B semiconductor chips subsidy law (www.reuters.com)
   6 points by paulcarroty 29 days ago | 1 comments
4. A 32-bit processor made with an atomically thin semiconductor (arstechnica.com)
   5 points by rntn about 9 hours ago | discuss
5. Malaysia signs deal with UK chip giant Arm to bolster semiconductor ambitions (www.channelnewsasia.com)
   4 points by transpute 20 days ago | discuss
6. Inside Racket, Seminar (github.com)
   3 points by azhenley 13 days ago | 1 comments
7. Nvidia Holds 7.3% Semiconductor Market, 3X from 4y Ago, Samsung&Intel Struggle (stocklytics.com)
   3 points by nabla9 19 days ago | 1 comments
8. Hyundai Mobis to Begin Mass Production of Automotive Semiconductors (www.businesskorea.co.kr)
   3 points by huijzer 15 days ago | discuss
9. Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (dl.acm.org)
   3 points by todsacerdoti 27 days ago | discuss
10. Experience with semi-formal proofs [video] (www.youtube.com)
    3 points by wwilson 28 days ago | discuss
11. Revisiting semi-supervised learning in the era of foundation models (arxiv.org)
    2 points by PaulHoule 11 days ago | discuss
12. Ultrafast thermo-optical control of spins in a 2D van der Waals semiconductor (www.nature.com)
    2 points by westurner 11 days ago | discuss
13. Filipino workers in semiconductors factory declare strike victory (globalvoices.org)
    1 points by PaulHoule 12 days ago | discuss
14. Lip-Bu Tan's Ties to China and the CCP-Linked Semiconductor Industry (twitter.com)
    1 points by suraci 20 days ago | discuss
15. Harmattan – European Defense company(semi-autonomous drones) (www.harmattan.ai)
    1 points by alexcos 21 days ago | discuss
16. Physics Informed ML academic seminar series (www.turing.ac.uk)
    1 points by EdwinEve 28 days ago | discuss
17. Show HN: Monty's Gauntlet – Do You *Really* Understand the Monty Hall Problem? (tinkerdeck.com)
    9 points by weepinbell 13 days ago | 3 comments
18. Ask HN: How do you manage and version control small structured data?
    5 points by Igin 22 days ago | 6 comments
19. Ask HN: What's the best oldish (~10 years or so) second hand laptop for travel?
    2 points by kennysoona 29 days ago | 2 comments
20. Ask HN: A PHP Superset Language
    1 points by anvius 1 day ago | 3 comments
21. Show HN: A preference passport for AI agents and faster shopping (benevolent-unicorn-7cd982.netlify.app)
    1 points by username2468 24 days ago | discuss
22. Software-Defined Radio for Engineers (2018) [pdf] (www.analog.com)
    283 points by Tomte 23 days ago | 61 comments
23. America Is Missing The New Labor Economy – Robotics Part 1 (semianalysis.com)
    268 points by lasermatts 23 days ago | 419 comments
24. Speeding up computational lithography with the power and parallelism of GPUs (semiengineering.com)
    57 points by PaulHoule 30 days ago | 1 comments
25. Linear Pluggable Optics Save Energy in Data Centers (semiengineering.com)
    15 points by PaulHoule 25 days ago | 6 comments
26. Taiwan vows most advanced tech will not go to US under $100B Trump deal (www.theguardian.com)
    10 points by rntn 29 days ago | 1 comments
27. Nvidia GTC 2025 – Built for Reasoning, Vera Rubin, Kyber, Jensen Math, Feynman (semianalysis.com)
    10 points by nabla9 13 days ago | discuss
28. The GPU Cloud ClusterMAX Rating System: How to Rent GPUs (semianalysis.com)
    5 points by gmays 8 days ago | discuss
29. The Reasoning Token Explosion (semianalysis.com)
    4 points by worldvoyageur 10 days ago | 1 comments
30. Amazon's AI Self Sufficiency – Trainium2 Architecture and Networking (semianalysis.com)
    4 points by MrBuddyCasino 11 days ago | discuss