Hacker News

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