New Links | Hacker News

1.		Increasing confidence in WebAssembly code with formal verification (stackbuilders.com)
		1 point by thunderbong 0 minutes ago \| hide \| past \| discuss
2.		NASA's Hubble, is experiencing orbital decay as the solar cycle peaks (bigthink.com)
		1 point by belter 0 minutes ago \| hide \| past \| discuss
3.		Israeli protesters stomp on aid packages destined for Gaza (bbc.com)
		1 point by onemoresoop 0 minutes ago \| hide \| past \| discuss
4.		AWS CEO to Step Down (aboutamazon.com)
		1 point by jmsflknr 1 minute ago \| hide \| past \| discuss
5.		Lidar maker Hesai sues U.S. government, denies link to China's military (nikkei.com)
		1 point by belter 2 minutes ago \| hide \| past \| discuss
6.		Pegomastax egg fossil found USA (qrz.com)
		1 point by jghops 2 minutes ago \| hide \| past \| discuss
7.		Blazingly Fast Linked Lists (dygalo.dev)
		1 point by dmitry_dygalo 4 minutes ago \| hide \| past \| discuss
8.		AccEar: Accelerometer Acoustic Eavesdropping (2022) (arxiv.org)
		1 point by api 8 minutes ago \| hide \| past \| discuss
9.		Windows Server 2025 has DTrace built in (microsoft.com)
		1 point by ahl 8 minutes ago \| hide \| past \| discuss
10.		Klarna says 90% of its employees are using generative AI daily (cnbc.com)
		1 point by belter 8 minutes ago \| hide \| past \| discuss
11.		Amazon Web Services CEO Adam Selipsky to Step Down (cnbc.com)
		1 point by belter 9 minutes ago \| hide \| past \| discuss
12.		Biden hits Chinese electric cars and solar cells with higher tariffs (bbc.com)
		1 point by nathandaly 12 minutes ago \| hide \| past \| discuss
13.		Engineers solve mystery in electrochemical ozone production (phys.org)
		1 point by PaulHoule 13 minutes ago \| hide \| past \| discuss
14.		A brutally effective hash function in Rust (nnethercote.github.io)
		1 point by fanf2 14 minutes ago \| hide \| past \| discuss
15.		GPT-4o – Multifunctional Online AI Tool by OpenAI (gpt4o.im)
		2 points by Sjane 14 minutes ago \| hide \| past \| discuss
16.		AWS CEO Adam Selipsky steps down (techcrunch.com)
		4 points by nixass 15 minutes ago \| hide \| past \| discuss
17.		Gpt4o-Embark on the next level of intelligence with GPT-4o (gpt4o.top)
		2 points by sunsun123 15 minutes ago \| hide \| past \| discuss
18.		Clojure: Structured Concurrency and Scoped Values (andersmurphy.com)
		1 point by andersmurphy 15 minutes ago \| hide \| past \| discuss
19.		We looked into 217 YC founders in Southeast Asia (binhsarchive.substack.com)
		1 point by phambinh 16 minutes ago \| hide \| past \| 1 comment
20.		Silicon Valley once chafed at dictatorships. Then came a Middle East gold rush (washingtonpost.com)
		3 points by marban 16 minutes ago \| hide \| past \| discuss
21.		Paradoxes of DevSecOps at the Seed Round (medium.com/keeganjustis)
		1 point by GodzillaShotgun 16 minutes ago \| hide \| past \| discuss
22.		Before launching, GPT-4o broke records on chatbot leaderboard under secret name (arstechnica.com)
		1 point by rntn 17 minutes ago \| hide \| past \| discuss
23.		Tesla spending ad money to influence shareholders re Elon Musk's $55B payday (electrek.co)
		3 points by abduhl 18 minutes ago \| hide \| past \| discuss
24.		EU Digital Markets Act (English Full Text) (europa.eu)
		1 point by pjc50 18 minutes ago \| hide \| past \| discuss
25.		AWS CEO Stepping Down (theverge.com)
		6 points by twunde 18 minutes ago \| hide \| past \| discuss
26.		The Homeowners' Rebellion (levernews.com)
		1 point by andrewfromx 18 minutes ago \| hide \| past \| discuss
27.		Global Energy Storage Market Records Biggest Jump Yet (bnef.com)
		1 point by doener 19 minutes ago \| hide \| past \| discuss
28.		Analytics and attribution for open source projects (skyvern.com)
		4 points by suchintan 21 minutes ago \| hide \| past \| discuss
29.		AI gun detection company name-dropped Disney in its successful pitch to NYC (theverge.com)
		1 point by croes 21 minutes ago \| hide \| past \| discuss
30.		Why Jack Dorsey gave up on Bluesky (washingtonpost.com)
		2 points by philk10 22 minutes ago \| hide \| past \| discuss
		More