Hacker News

1.		KDE launches its own distribution (lwn.net)
		47 points by Bogdanp 1 hour ago \| hide \| 16 comments
2.		ChatGPT Developer Mode: Full MCP client access (platform.openai.com)
		337 points by meetpateltech 6 hours ago \| hide \| 169 comments
3.		Show HN: Term.everything – Run any GUI app in the terminal (github.com/mmulet)
		566 points by mmulet 8 hours ago \| hide \| 89 comments
4.		Pontevedra, Spain declares its entire urban area a "reduced traffic zone" (greeneuropeanjournal.eu)
		599 points by robtherobber 12 hours ago \| hide \| 765 comments
5.		Defeating Nondeterminism in LLM Inference (thinkingmachines.ai)
		165 points by jxmorris12 5 hours ago \| hide \| 60 comments
6.		The HackberryPi CM5 handheld computer (github.com/zitaotech)
		129 points by kristianpaul 6 hours ago \| hide \| 37 comments
7.		Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
		54 points by davidgu 5 hours ago \| hide \| 28 comments
8.		Longhorn – A Kubernetes-Native Filesystem (engen.priv.no)
		21 points by jandeboevrie 2 hours ago \| hide \| 12 comments
9.		OrioleDB Patent: now freely available to the Postgres community (supabase.com)
		351 points by tosh 11 hours ago \| hide \| 116 comments
10.		Mux (YC W16) Is Hiring Engineering ICs and Managers (mux.com)
		1 hour ago \| hide
11.		Dotter: Dotfile manager and templater written in Rust (github.com/supercuber)
		45 points by nateb2022 3 hours ago \| hide \| 21 comments
12.		Clojure's Solutions to the Expression Problem (infoq.com)
		39 points by adityaathalye 3 hours ago \| hide \| 1 comment
13.		Show HN: Haystack – Review pull requests like you wrote them yourself (haystackeditor.com)
		45 points by akshaysg 4 hours ago \| hide \| 24 comments
14.		Fraudulent Publishing in the Mathematical Sciences (arxiv.org)
		7 points by bikenaga 1 hour ago \| hide \| discuss
15.		Jiratui – A Textual UI for interacting with Atlassian Jira from your shell (jiratui.sh)
		109 points by gjvc 8 hours ago \| hide \| 27 comments
16.		Intel's E2200 "Mount Morgan" IPU at Hot Chips 2025 (chipsandcheese.com)
		4 points by ingve 37 minutes ago \| hide \| discuss
17.		I didn't bring my son to a museum to look at screens (sethpurcell.com)
		691 points by arch_deluxe 6 hours ago \| hide \| 246 comments
18.		Christie's Deletes Digital Art Department (artnet.com)
		22 points by recursive4 1 hour ago \| hide \| 11 comments
19.		"No Tax on Tips" Includes Digital Creators, Too (hollywoodreporter.com)
		57 points by aspenmayer 6 hours ago \| hide \| 82 comments
20.		Show HN: HumanAlarm – Real people knock on your door to wake you up (humanalarm.com)
		16 points by soelost 1 hour ago \| hide \| 20 comments
21.		Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container (github.com/juhovh)
		90 points by juhovh 9 hours ago \| hide \| 22 comments
22.		Kerberoasting (cryptographyengineering.com)
		135 points by feross 10 hours ago \| hide \| 47 comments
23.		Harvey Mudd Miniature Machine (hmc.edu)
		39 points by nill0 4 hours ago \| hide \| 13 comments
24.		Charlie Kirk killed at event in Utah (nbcnews.com)
		470 points by david927 3 hours ago \| hide \| 971 comments
25.		UGMM-NN: Univariate Gaussian Mixture Model Neural Network (arxiv.org)
		25 points by zakeria 3 hours ago \| hide \| 6 comments
26.		Picat: A Logic-based Multi-paradigm Language(2014) [pdf] (logicprogramming.org)
		4 points by b-man 1 hour ago \| hide \| discuss
27.		Zoox robotaxi launches in Las Vegas (zoox.com)
		155 points by krschultz 7 hours ago \| hide \| 202 comments
28.		Things you can do with a debugger but not with print debugging (mahesh-hegde.github.io)
		191 points by never_inline 21 hours ago \| hide \| 184 comments
29.		The origin story of merge queues (mergify.com)
		67 points by jd__ 7 hours ago \| hide \| 21 comments
30.		Semantic Line Breaks (2017) (sembr.org)
		74 points by Bogdanp 14 hours ago \| hide \| 49 comments
		More