Hacker News

1.		KDE launches its own distribution (lwn.net)
		466 points by Bogdanp 11 hours ago \| hide \| 254 comments
2.		DOOMscrolling: The Game (ironicsans.ghost.io)
		255 points by jfil 10 hours ago \| hide \| 63 comments
3.		Show HN: Term.everything – Run any GUI app in the terminal (github.com/mmulet)
		862 points by mmulet 18 hours ago \| hide \| 119 comments
4.		ChatGPT Developer Mode: Full MCP client access (platform.openai.com)
		433 points by meetpateltech 16 hours ago \| hide \| 239 comments
5.		Court rejects Verizon claim that selling location data without consent is legal (arstechnica.com)
		401 points by nobody9999 7 hours ago \| hide \| 34 comments
6.		Where did the Smurfs get their hats (2018) (pipelinecomics.com)
		73 points by andsoitis 8 hours ago \| hide \| 23 comments
7.		Rewriting Dataframes for MicroHaskell (mchav.github.io)
		37 points by internet_points 5 hours ago \| hide \| discuss
8.		Learning lessons from the loss of the Norwegian frigate Helge Ingstad (navylookout.com)
		25 points by ilamont 3 hours ago \| hide \| 14 comments
9.		Removing yellow stains from fabric with blue light (phys.org)
		14 points by bookofjoe 2 hours ago \| hide \| 10 comments
10.		A desktop environment without graphics (tmux-like) (github.com/julien-cpsn)
		77 points by mustaphah 9 hours ago \| hide \| 19 comments
11.		Intel's E2200 "Mount Morgan" IPU at Hot Chips 2025 (chipsandcheese.com)
		67 points by ingve 10 hours ago \| hide \| 28 comments
12.		The HackberryPi CM5 handheld computer (github.com/zitaotech)
		198 points by kristianpaul 16 hours ago \| hide \| 66 comments
13.		Hashed sorting is typically faster than hash tables (reiner.org)
		24 points by Bogdanp 4 hours ago \| hide \| 1 comment
14.		Jiratui – A Textual UI for interacting with Atlassian Jira from your shell (jiratui.sh)
		231 points by gjvc 18 hours ago \| hide \| 59 comments
15.		Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
		87 points by davidgu 15 hours ago \| hide \| 41 comments
16.		Defeating Nondeterminism in LLM Inference (thinkingmachines.ai)
		253 points by jxmorris12 15 hours ago \| hide \| 102 comments
17.		“No Tax on Tips” Includes Digital Creators, Too (hollywoodreporter.com)
		127 points by aspenmayer 16 hours ago \| hide \| 198 comments
18.		Pontevedra, Spain declares its entire urban area a "reduced traffic zone" (greeneuropeanjournal.eu)
		799 points by robtherobber 22 hours ago \| hide \| 867 comments
19.		Hot Chips 2025: Session 1 – CPUs – By George Cozma (chipsandcheese.com)
		19 points by rbanffy 6 hours ago \| hide \| 1 comment
20.		Fraudulent Publishing in the Mathematical Sciences (arxiv.org)
		60 points by bikenaga 11 hours ago \| hide \| 30 comments
21.		Clojure's Solutions to the Expression Problem (infoq.com)
		122 points by adityaathalye 13 hours ago \| hide \| 9 comments
22.		A polyglot's guide to multiple-dispatch (2016) (thegreenplace.net)
		56 points by andsoitis 10 hours ago \| hide \| 11 comments
23.		Show HN: Haystack – Review pull requests like you wrote them yourself (haystackeditor.com)
		68 points by akshaysg 14 hours ago \| hide \| 40 comments
24.		I didn't bring my son to a museum to look at screens (sethpurcell.com)
		975 points by arch_deluxe 16 hours ago \| hide \| 327 comments
25.		Kerberoasting (cryptographyengineering.com)
		175 points by feross 20 hours ago \| hide \| 61 comments
26.		Formally verifying a floating-point division routine with Gappa – part 1 (arm.com)
		24 points by montalbano 7 hours ago \| hide \| 2 comments
27.		Mux (YC W16) Is Hiring Engineering ICs and Managers (mux.com)
		11 hours ago \| hide
28.		Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container (github.com/juhovh)
		134 points by juhovh 19 hours ago \| hide \| 26 comments
29.		Dotter: Dotfile manager and templater written in Rust (github.com/supercuber)
		80 points by nateb2022 13 hours ago \| hide \| 51 comments
30.		The Four Fallacies of Modern AI (apiad.net)
		64 points by 13years 6 hours ago \| hide \| 60 comments
		More