Hacker News

1.		Keep Android Open (f-droid.org)
		1639 points by LorenDB 19 hours ago \| hide \| 594 comments
2.		I Verified My LinkedIn Identity. Here's What I Handed Over (thelocalstack.eu)
		178 points by ColinWright 5 hours ago \| hide \| 49 comments
3.		Andrej Karpathy talks about "Claws" (simonwillison.net)
		121 points by helloplanets 3 hours ago \| hide \| 156 comments
4.		Turn Dependabot off (filippo.io)
		504 points by todsacerdoti 15 hours ago \| hide \| 142 comments
5.		I found a Vulnerability. They found a Lawyer (dixken.de)
		657 points by toomuchtodo 17 hours ago \| hide \| 300 comments
6.		Facebook is cooked (pilk.website)
		1173 points by npilk 18 hours ago \| hide \| 644 comments
7.		Ggml.ai joins Hugging Face to ensure the long-term progress of Local AI (github.com/ggml-org)
		754 points by lairv 23 hours ago \| hide \| 194 comments
8.		Padlet (YC W13) Is Hiring in San Francisco and Singapore (padlet.jobs)
		56 minutes ago \| hide
9.		Wikipedia deprecates Archive.today, starts removing archive links (arstechnica.com)
		472 points by nobody9999 18 hours ago \| hide \| 282 comments
10.		CERN rebuilt the original browser from 1989 (2019) (cern.ch)
		192 points by tylerdane 13 hours ago \| hide \| 67 comments
11.		Understanding Std:Shared_mutex from C++17 (cppstories.com)
		19 points by ibobev 4 hours ago \| hide \| 2 comments
12.		Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
		53 points by tesserato 7 hours ago \| hide \| 22 comments
13.		Coccinelle: The Linux kernel's source-to-source transformation tool (github.com/coccinelle)
		24 points by anon111332142 4 hours ago \| hide \| 6 comments
14.		What Is OAuth? (leaflet.pub)
		142 points by cratermoon 11 hours ago \| hide \| 48 comments
15.		LibreOffice blasts OnlyOffice for working with Microsoft to lock users in (neowin.net)
		79 points by XzetaU8 4 hours ago \| hide \| 52 comments
16.		Over 80% of 16 to 24-year-olds would vote to rejoin the EU (itv.com)
		17 points by saubeidl 1 hour ago \| hide \| 12 comments
17.		Every company building your AI assistant is now an ad company (juno-labs.com)
		208 points by ajuhasz 18 hours ago \| hide \| 106 comments
18.		Gitas – A tool for Git account switching (github.com/letmutex)
		18 points by letmutex 5 hours ago \| hide \| 16 comments
19.		Acme Weather (acmeweather.com)
		78 points by cryptoz 5 hours ago \| hide \| 59 comments
20.		Index, Count, Offset, Size (tigerbeetle.com)
		100 points by ingve 12 hours ago \| hide \| 38 comments
21.		When etcd crashes, check your disks first (nubificus.co.uk)
		14 points by _ananos_ 5 hours ago \| hide \| 5 comments
22.		Large Language Model Reasoning Failures (arxiv.org)
		15 points by T-A 4 hours ago \| hide \| 12 comments
23.		Blue light filters don't work – controlling total luminance is a better bet (neuroai.science)
		178 points by pminimax 18 hours ago \| hide \| 187 comments
24.		The path to ubiquitous AI (17k tokens/sec) (taalas.com)
		756 points by sidnarsipur 1 day ago \| hide \| 418 comments
25.		OpenScan (openscan.eu)
		175 points by joebig 16 hours ago \| hide \| 13 comments
26.		Cord: Coordinating Trees of AI Agents (june.kim)
		105 points by gfortaine 11 hours ago \| hide \| 49 comments
27.		Show HN: Mines.fyi – all the mines in the US in a leaflet visualization (mines.fyi)
		85 points by irasigman 15 hours ago \| hide \| 42 comments
28.		24 Hour Fitness won't let you unsubscribe from marketing spam, so I fixed it (ahmedkaddoura.com)
		67 points by daem 4 hours ago \| hide \| 22 comments
29.		Trump's global tariffs struck down by US Supreme Court (bbc.com)
		1426 points by blackguardx 21 hours ago \| hide \| 1167 comments
30.		AI uBlock Blacklist (github.com/alvi-se)
		9 points by rdmuser 4 hours ago \| hide \| 5 comments
		More