Hacker News

1.		Keep Android Open (f-droid.org)
		1538 points by LorenDB 17 hours ago \| hide \| 571 comments
2.		Andrej Karpathy talks about "Claws" (simonwillison.net)
		56 points by helloplanets 1 hour ago \| hide \| 43 comments
3.		Acme Weather (acmeweather.com)
		55 points by cryptoz 3 hours ago \| hide \| 33 comments
4.		Turn Dependabot off (filippo.io)
		474 points by todsacerdoti 13 hours ago \| hide \| 127 comments
5.		I found a Vulnerability. They found a Lawyer (dixken.de)
		614 points by toomuchtodo 15 hours ago \| hide \| 278 comments
6.		Facebook is cooked (pilk.website)
		1114 points by npilk 16 hours ago \| hide \| 599 comments
7.		Trunk Based Development (trunkbaseddevelopment.com)
		39 points by handfuloflight 3 hours ago \| hide \| 34 comments
8.		Ggml.ai joins Hugging Face to ensure the long-term progress of Local AI (github.com/ggml-org)
		741 points by lairv 21 hours ago \| hide \| 181 comments
9.		EU mandates replaceable batteries by 2027 (2023) (europa.eu)
		85 points by cyrusmg 2 hours ago \| hide \| 45 comments
10.		Wikipedia deprecates Archive.today, starts removing archive links (arstechnica.com)
		454 points by nobody9999 16 hours ago \| hide \| 272 comments
11.		I Verified My LinkedIn Identity. Here's What I Handed Over (thelocalstack.eu)
		46 points by ColinWright 3 hours ago \| hide \| 15 comments
12.		CERN rebuilt the original browser from 1989 (2019) (cern.ch)
		184 points by tylerdane 11 hours ago \| hide \| 65 comments
13.		Understanding Std:Shared_mutex from C++17 (cppstories.com)
		10 points by ibobev 2 hours ago \| hide \| discuss
14.		LibreOffice blasts OnlyOffice for working with Microsoft to lock users in (neowin.net)
		43 points by XzetaU8 2 hours ago \| hide \| 18 comments
15.		Coccinelle: The Linux kernel's source-to-source transformation tool (github.com/coccinelle)
		12 points by anon111332142 2 hours ago \| hide \| discuss
16.		Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
		37 points by tesserato 5 hours ago \| hide \| 20 comments
17.		Gitas – A tool for Git account switching (github.com/letmutex)
		13 points by letmutex 3 hours ago \| hide \| 5 comments
18.		The bare minimum for syncing Git repos (alexwlchan.net)
		3 points by speckx 1 hour ago \| hide \| discuss
19.		What Is OAuth? (leaflet.pub)
		128 points by cratermoon 9 hours ago \| hide \| 38 comments
20.		Every company building your AI assistant is now an ad company (juno-labs.com)
		192 points by ajuhasz 16 hours ago \| hide \| 101 comments
21.		Cord: Coordinating Trees of AI Agents (june.kim)
		100 points by gfortaine 9 hours ago \| hide \| 42 comments
22.		24 Hour Fitness won't let you unsubscribe from marketing spam, so I fixed it (ahmedkaddoura.com)
		49 points by daem 2 hours ago \| hide \| 12 comments
23.		Index, Count, Offset, Size (tigerbeetle.com)
		89 points by ingve 10 hours ago \| hide \| 26 comments
24.		Large Language Model Reasoning Failures (arxiv.org)
		6 points by T-A 2 hours ago \| hide \| 2 comments
25.		When etcd crashes, check your disks first (nubificus.co.uk)
		9 points by _ananos_ 3 hours ago \| hide \| 3 comments
26.		Blue light filters don't work – controlling total luminance is a better bet (neuroai.science)
		171 points by pminimax 16 hours ago \| hide \| 183 comments
27.		Show HN: Mines.fyi – all the mines in the US in a leaflet visualization (mines.fyi)
		81 points by irasigman 13 hours ago \| hide \| 42 comments
28.		OpenScan (openscan.eu)
		161 points by joebig 14 hours ago \| hide \| 10 comments
29.		The path to ubiquitous AI (17k tokens/sec) (taalas.com)
		747 points by sidnarsipur 1 day ago \| hide \| 414 comments
30.		Trump's global tariffs struck down by US Supreme Court (bbc.com)
		1405 points by blackguardx 19 hours ago \| hide \| 1144 comments
		More