Hacker News

1.		Keep Android Open (f-droid.org)
		1578 points by LorenDB 17 hours ago \| hide \| 579 comments
2.		Andrej Karpathy talks about "Claws" (simonwillison.net)
		87 points by helloplanets 2 hours ago \| hide \| 108 comments
3.		I Verified My LinkedIn Identity. Here's What I Handed Over (thelocalstack.eu)
		96 points by ColinWright 4 hours ago \| hide \| 22 comments
4.		Turn Dependabot off (filippo.io)
		484 points by todsacerdoti 14 hours ago \| hide \| 139 comments
5.		I found a Vulnerability. They found a Lawyer (dixken.de)
		633 points by toomuchtodo 16 hours ago \| hide \| 289 comments
6.		Facebook is cooked (pilk.website)
		1141 points by npilk 17 hours ago \| hide \| 628 comments
7.		Ggml.ai joins Hugging Face to ensure the long-term progress of Local AI (github.com/ggml-org)
		747 points by lairv 22 hours ago \| hide \| 185 comments
8.		Wikipedia deprecates Archive.today, starts removing archive links (arstechnica.com)
		463 points by nobody9999 17 hours ago \| hide \| 277 comments
9.		EU mandates replaceable batteries by 2027 (2023) (europa.eu)
		140 points by cyrusmg 3 hours ago \| hide \| 79 comments
10.		Understanding Std:Shared_mutex from C++17 (cppstories.com)
		15 points by ibobev 3 hours ago \| hide \| discuss
11.		CERN rebuilt the original browser from 1989 (2019) (cern.ch)
		186 points by tylerdane 12 hours ago \| hide \| 66 comments
12.		Acme Weather (acmeweather.com)
		68 points by cryptoz 4 hours ago \| hide \| 45 comments
13.		Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
		44 points by tesserato 6 hours ago \| hide \| 21 comments
14.		Coccinelle: The Linux kernel's source-to-source transformation tool (github.com/coccinelle)
		19 points by anon111332142 3 hours ago \| hide \| 2 comments
15.		LibreOffice blasts OnlyOffice for working with Microsoft to lock users in (neowin.net)
		62 points by XzetaU8 3 hours ago \| hide \| 36 comments
16.		What Is OAuth? (leaflet.pub)
		130 points by cratermoon 10 hours ago \| hide \| 40 comments
17.		Gitas – A tool for Git account switching (github.com/letmutex)
		18 points by letmutex 4 hours ago \| hide \| 9 comments
18.		Every company building your AI assistant is now an ad company (juno-labs.com)
		201 points by ajuhasz 17 hours ago \| hide \| 103 comments
19.		Cord: Coordinating Trees of AI Agents (june.kim)
		103 points by gfortaine 10 hours ago \| hide \| 46 comments
20.		When etcd crashes, check your disks first (nubificus.co.uk)
		12 points by _ananos_ 4 hours ago \| hide \| 4 comments
21.		The bare minimum for syncing Git repos (alexwlchan.net)
		6 points by speckx 2 hours ago \| hide \| 2 comments
22.		Index, Count, Offset, Size (tigerbeetle.com)
		93 points by ingve 11 hours ago \| hide \| 28 comments
23.		Large Language Model Reasoning Failures (arxiv.org)
		12 points by T-A 3 hours ago \| hide \| 3 comments
24.		Blue light filters don't work – controlling total luminance is a better bet (neuroai.science)
		174 points by pminimax 17 hours ago \| hide \| 186 comments
25.		The path to ubiquitous AI (17k tokens/sec) (taalas.com)
		750 points by sidnarsipur 1 day ago \| hide \| 415 comments
26.		Show HN: Mines.fyi – all the mines in the US in a leaflet visualization (mines.fyi)
		84 points by irasigman 14 hours ago \| hide \| 42 comments
27.		OpenScan (openscan.eu)
		166 points by joebig 15 hours ago \| hide \| 13 comments
28.		24 Hour Fitness won't let you unsubscribe from marketing spam, so I fixed it (ahmedkaddoura.com)
		56 points by daem 3 hours ago \| hide \| 13 comments
29.		Trump's global tariffs struck down by US Supreme Court (bbc.com)
		1417 points by blackguardx 20 hours ago \| hide \| 1157 comments
30.		Across the US, people are dismantling and destroying Flock surveillance cameras (bloodinthemachine.com)
		355 points by latexr 13 hours ago \| hide \| 175 comments
		More