Hacker News

1.		KDE launches its own distribution (lwn.net)
		333 points by Bogdanp 8 hours ago \| hide \| 174 comments
2.		DOOMscrolling: The Game (ironicsans.ghost.io)
		171 points by jfil 7 hours ago \| hide \| 41 comments
3.		Court rejects Verizon claim that selling location data without consent is legal (arstechnica.com)
		296 points by nobody9999 4 hours ago \| hide \| 23 comments
4.		Show HN: Term.everything – Run any GUI app in the terminal (github.com/mmulet)
		758 points by mmulet 15 hours ago \| hide \| 110 comments
5.		ChatGPT Developer Mode: Full MCP client access (platform.openai.com)
		411 points by meetpateltech 13 hours ago \| hide \| 222 comments
6.		Pontevedra, Spain declares its entire urban area a "reduced traffic zone" (greeneuropeanjournal.eu)
		749 points by robtherobber 19 hours ago \| hide \| 824 comments
7.		Where did the Smurfs get their hats (2018) (pipelinecomics.com)
		41 points by andsoitis 5 hours ago \| hide \| 16 comments
8.		Intel's E2200 "Mount Morgan" IPU at Hot Chips 2025 (chipsandcheese.com)
		57 points by ingve 7 hours ago \| hide \| 25 comments
9.		Rewriting Dataframes for MicroHaskell (mchav.github.io)
		13 points by internet_points 2 hours ago \| hide \| discuss
10.		The Four Fallacies of Modern AI (apiad.net)
		17 points by 13years 3 hours ago \| hide \| 7 comments
11.		The HackberryPi CM5 handheld computer (github.com/zitaotech)
		176 points by kristianpaul 13 hours ago \| hide \| 51 comments
12.		Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
		84 points by davidgu 12 hours ago \| hide \| 34 comments
13.		A polyglot's guide to multiple-dispatch (2016) (thegreenplace.net)
		46 points by andsoitis 7 hours ago \| hide \| 8 comments
14.		Defeating Nondeterminism in LLM Inference (thinkingmachines.ai)
		223 points by jxmorris12 12 hours ago \| hide \| 87 comments
15.		A desktop environment without graphics (tmux-like) (github.com/julien-cpsn)
		43 points by mustaphah 6 hours ago \| hide \| 7 comments
16.		Jiratui – A Textual UI for interacting with Atlassian Jira from your shell (jiratui.sh)
		189 points by gjvc 15 hours ago \| hide \| 57 comments
17.		Hot Chips 2025: Session 1 – CPUs – By George Cozma (chipsandcheese.com)
		11 points by rbanffy 3 hours ago \| hide \| discuss
18.		“No Tax on Tips” Includes Digital Creators, Too (hollywoodreporter.com)
		110 points by aspenmayer 13 hours ago \| hide \| 181 comments
19.		Fraudulent Publishing in the Mathematical Sciences (arxiv.org)
		50 points by bikenaga 8 hours ago \| hide \| 24 comments
20.		Clojure's Solutions to the Expression Problem (infoq.com)
		90 points by adityaathalye 10 hours ago \| hide \| 5 comments
21.		Show HN: Haystack – Review pull requests like you wrote them yourself (haystackeditor.com)
		60 points by akshaysg 11 hours ago \| hide \| 38 comments
22.		Mux (YC W16) Is Hiring Engineering ICs and Managers (mux.com)
		8 hours ago \| hide
23.		What would you do with 52 hours a week of discretionary time? (njbrown.com)
		4 points by ntnbr 2 hours ago \| hide \| 3 comments
24.		I didn't bring my son to a museum to look at screens (sethpurcell.com)
		896 points by arch_deluxe 13 hours ago \| hide \| 294 comments
25.		Formally verifying a floating-point division routine with Gappa – part 1 (arm.com)
		13 points by montalbano 4 hours ago \| hide \| discuss
26.		Kerberoasting (cryptographyengineering.com)
		169 points by feross 17 hours ago \| hide \| 57 comments
27.		Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container (github.com/juhovh)
		125 points by juhovh 16 hours ago \| hide \| 26 comments
28.		Picat: A Logic-based Multi-paradigm Language (2014) [pdf] (logicprogramming.org)
		23 points by b-man 8 hours ago \| hide \| discuss
29.		Harvey Mudd Miniature Machine (hmc.edu)
		61 points by nill0 11 hours ago \| hide \| 23 comments
30.		Semantic Line Breaks (2017) (sembr.org)
		84 points by Bogdanp 21 hours ago \| hide \| 52 comments
		More