Hacker News

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