Hacker News

1.		KDE launches its own distribution (lwn.net)
		289 points by Bogdanp 7 hours ago \| hide \| 150 comments
2.		Court rejects Verizon claim that selling location data without consent is legal (arstechnica.com)
		256 points by nobody9999 3 hours ago \| hide \| 20 comments
3.		DOOMscrolling: The Game (ironicsans.ghost.io)
		138 points by jfil 6 hours ago \| hide \| 35 comments
4.		Show HN: Term.everything – Run any GUI app in the terminal (github.com/mmulet)
		733 points by mmulet 14 hours ago \| hide \| 110 comments
5.		ChatGPT Developer Mode: Full MCP client access (platform.openai.com)
		404 points by meetpateltech 12 hours ago \| hide \| 221 comments
6.		Pontevedra, Spain declares its entire urban area a "reduced traffic zone" (greeneuropeanjournal.eu)
		730 points by robtherobber 18 hours ago \| hide \| 813 comments
7.		Where did the Smurfs get their hats (pipelinecomics.com)
		29 points by andsoitis 4 hours ago \| hide \| 8 comments
8.		Intel's E2200 "Mount Morgan" IPU at Hot Chips 2025 (chipsandcheese.com)
		53 points by ingve 6 hours ago \| hide \| 24 comments
9.		A polyglot's guide to multiple-dispatch (2016) (thegreenplace.net)
		45 points by andsoitis 6 hours ago \| hide \| 7 comments
10.		Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
		79 points by davidgu 11 hours ago \| hide \| 34 comments
11.		The HackberryPi CM5 handheld computer (github.com/zitaotech)
		171 points by kristianpaul 12 hours ago \| hide \| 47 comments
12.		Hot Chips 2025: Session 1 – CPUs – By George Cozma (chipsandcheese.com)
		9 points by rbanffy 2 hours ago \| hide \| discuss
13.		Defeating Nondeterminism in LLM Inference (thinkingmachines.ai)
		215 points by jxmorris12 11 hours ago \| hide \| 80 comments
14.		Jiratui – A Textual UI for interacting with Atlassian Jira from your shell (jiratui.sh)
		179 points by gjvc 14 hours ago \| hide \| 52 comments
15.		Fraudulent Publishing in the Mathematical Sciences (arxiv.org)
		49 points by bikenaga 7 hours ago \| hide \| 23 comments
16.		“No Tax on Tips” Includes Digital Creators, Too (hollywoodreporter.com)
		107 points by aspenmayer 12 hours ago \| hide \| 171 comments
17.		A desktop environment without graphics (tmux-like) (github.com/julien-cpsn)
		34 points by mustaphah 5 hours ago \| hide \| 6 comments
18.		Clojure's Solutions to the Expression Problem (infoq.com)
		85 points by adityaathalye 9 hours ago \| hide \| 4 comments
19.		Show HN: Haystack – Review pull requests like you wrote them yourself (haystackeditor.com)
		57 points by akshaysg 10 hours ago \| hide \| 37 comments
20.		Rewriting Dataframes for MicroHaskell (mchav.github.io)
		4 points by internet_points 1 hour ago \| hide \| discuss
21.		Formally verifying a floating-point division routine with Gappa – part 1 (arm.com)
		9 points by montalbano 3 hours ago \| hide \| discuss
22.		Mux (YC W16) Is Hiring Engineering ICs and Managers (mux.com)
		7 hours ago \| hide
23.		I didn't bring my son to a museum to look at screens (sethpurcell.com)
		867 points by arch_deluxe 12 hours ago \| hide \| 292 comments
24.		Things you can do with a debugger but not with print debugging (mahesh-hegde.github.io)
		228 points by never_inline 1 day ago \| hide \| 204 comments
25.		Dotter: Dotfile manager and templater written in Rust (github.com/supercuber)
		66 points by nateb2022 9 hours ago \| hide \| 43 comments
26.		Kerberoasting (cryptographyengineering.com)
		163 points by feross 16 hours ago \| hide \| 55 comments
27.		Picat: A Logic-based Multi-paradigm Language (2014) [pdf] (logicprogramming.org)
		22 points by b-man 7 hours ago \| hide \| discuss
28.		Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container (github.com/juhovh)
		118 points by juhovh 15 hours ago \| hide \| 26 comments
29.		Seoul says US must fix its visa system if it wants Korea's investments (hani.co.kr)
		186 points by garbawarb 3 hours ago \| hide \| 126 comments
30.		The Four Fallacies of Modern AI (apiad.net)
		5 points by 13years 2 hours ago \| hide \| 1 comment
		More