Hacker News

1.		Germany is not supporting ChatControl – blocking minority secured (digitalcourage.social)
		139 points by xyzal 28 minutes ago \| hide \| 14 comments
2.		KDE launches its own distribution (lwn.net)
		482 points by Bogdanp 11 hours ago \| hide \| 266 comments
3.		DOOMscrolling: The Game (ironicsans.ghost.io)
		269 points by jfil 10 hours ago \| hide \| 64 comments
4.		Show HN: Term.everything – Run any GUI app in the terminal (github.com/mmulet)
		874 points by mmulet 19 hours ago \| hide \| 119 comments
5.		ChatGPT Developer Mode: Full MCP client access (platform.openai.com)
		440 points by meetpateltech 17 hours ago \| hide \| 240 comments
6.		Court rejects Verizon claim that selling location data without consent is legal (arstechnica.com)
		406 points by nobody9999 8 hours ago \| hide \| 39 comments
7.		Where did the Smurfs get their hats (2018) (pipelinecomics.com)
		74 points by andsoitis 8 hours ago \| hide \| 25 comments
8.		Removing yellow stains from fabric with blue light (phys.org)
		18 points by bookofjoe 3 hours ago \| hide \| 10 comments
9.		Hashed sorting is typically faster than hash tables (reiner.org)
		43 points by Bogdanp 4 hours ago \| hide \| 1 comment
10.		Learning lessons from the loss of the Norwegian frigate Helge Ingstad (navylookout.com)
		30 points by ilamont 4 hours ago \| hide \| 18 comments
11.		Rewriting Dataframes for MicroHaskell (mchav.github.io)
		40 points by internet_points 6 hours ago \| hide \| 1 comment
12.		A desktop environment without graphics (tmux-like) (github.com/julien-cpsn)
		83 points by mustaphah 9 hours ago \| hide \| 21 comments
13.		Intel's E2200 "Mount Morgan" IPU at Hot Chips 2025 (chipsandcheese.com)
		67 points by ingve 11 hours ago \| hide \| 28 comments
14.		The HackberryPi CM5 handheld computer (github.com/zitaotech)
		204 points by kristianpaul 17 hours ago \| hide \| 67 comments
15.		Jiratui – A Textual UI for interacting with Atlassian Jira from your shell (jiratui.sh)
		234 points by gjvc 18 hours ago \| hide \| 60 comments
16.		Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
		87 points by davidgu 15 hours ago \| hide \| 43 comments
17.		Defeating Nondeterminism in LLM Inference (thinkingmachines.ai)
		257 points by jxmorris12 16 hours ago \| hide \| 103 comments
18.		“No Tax on Tips” Includes Digital Creators, Too (hollywoodreporter.com)
		129 points by aspenmayer 17 hours ago \| hide \| 208 comments
19.		Pontevedra, Spain declares its entire urban area a "reduced traffic zone" (greeneuropeanjournal.eu)
		800 points by robtherobber 23 hours ago \| hide \| 874 comments
20.		Fraudulent Publishing in the Mathematical Sciences (arxiv.org)
		62 points by bikenaga 12 hours ago \| hide \| 30 comments
21.		Clojure's Solutions to the Expression Problem (infoq.com)
		126 points by adityaathalye 14 hours ago \| hide \| 11 comments
22.		Hot Chips 2025: Session 1 – CPUs – By George Cozma (chipsandcheese.com)
		19 points by rbanffy 7 hours ago \| hide \| 1 comment
23.		A polyglot's guide to multiple-dispatch (2016) (thegreenplace.net)
		57 points by andsoitis 10 hours ago \| hide \| 12 comments
24.		Show HN: Haystack – Review pull requests like you wrote them yourself (haystackeditor.com)
		68 points by akshaysg 15 hours ago \| hide \| 40 comments
25.		I didn't bring my son to a museum to look at screens (sethpurcell.com)
		986 points by arch_deluxe 17 hours ago \| hide \| 328 comments
26.		Formally verifying a floating-point division routine with Gappa – part 1 (arm.com)
		28 points by montalbano 8 hours ago \| hide \| 2 comments
27.		Mux (YC W16) Is Hiring Engineering ICs and Managers (mux.com)
		12 hours ago \| hide
28.		Creating larger projects with LLM (as a coder) (medium.com/wojtek.jurkowlaniec)
		3 points by jwojtek 23 minutes ago \| hide \| 1 comment
29.		Kerberoasting (cryptographyengineering.com)
		177 points by feross 21 hours ago \| hide \| 61 comments
30.		Samsung taking market share from Apple in U.S. as foldable phones gain momentum (cnbc.com)
		3 points by mgh2 25 minutes ago \| hide \| discuss
		More