Hacker News

1.		Seoul says US must fix its visa system if it wants Korea's investments (hani.co.kr)
		66 points by garbawarb 59 minutes ago \| hide \| 5 comments
2.		KDE launches its own distribution (lwn.net)
		233 points by Bogdanp 5 hours ago \| hide \| 121 comments
3.		Court rejects Verizon claim that selling location data without consent is legal (arstechnica.com)
		134 points by nobody9999 1 hour ago \| hide \| 4 comments
4.		DOOMscrolling: The Game (ironicsans.ghost.io)
		90 points by jfil 4 hours ago \| hide \| 28 comments
5.		ChatGPT Developer Mode: Full MCP client access (platform.openai.com)
		385 points by meetpateltech 10 hours ago \| hide \| 211 comments
6.		Show HN: Term.everything – Run any GUI app in the terminal (github.com/mmulet)
		682 points by mmulet 12 hours ago \| hide \| 104 comments
7.		Pontevedra, Spain declares its entire urban area a "reduced traffic zone" (greeneuropeanjournal.eu)
		695 points by robtherobber 16 hours ago \| hide \| 807 comments
8.		Intel's E2200 "Mount Morgan" IPU at Hot Chips 2025 (chipsandcheese.com)
		40 points by ingve 4 hours ago \| hide \| 23 comments
9.		A polyglot's guide to multiple-dispatch (thegreenplace.net)
		35 points by andsoitis 4 hours ago \| hide \| 5 comments
10.		Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
		68 points by davidgu 9 hours ago \| hide \| 34 comments
11.		OrioleDB Patent: now freely available to the Postgres community (supabase.com)
		372 points by tosh 15 hours ago \| hide \| 126 comments
12.		The HackberryPi CM5 handheld computer (github.com/zitaotech)
		151 points by kristianpaul 10 hours ago \| hide \| 43 comments
13.		Fraudulent Publishing in the Mathematical Sciences (arxiv.org)
		41 points by bikenaga 5 hours ago \| hide \| 20 comments
14.		Defeating Nondeterminism in LLM Inference (thinkingmachines.ai)
		199 points by jxmorris12 9 hours ago \| hide \| 77 comments
15.		Jiratui – A Textual UI for interacting with Atlassian Jira from your shell (jiratui.sh)
		153 points by gjvc 12 hours ago \| hide \| 44 comments
16.		A desktop environment without graphics (tmux-like) (github.com/julien-cpsn)
		24 points by mustaphah 3 hours ago \| hide \| 5 comments
17.		Deliberate Abstraction (entropicthoughts.com)
		8 points by todsacerdoti 2 hours ago \| hide \| 3 comments
18.		Mux (YC W16) Is Hiring Engineering ICs and Managers (mux.com)
		5 hours ago \| hide
19.		Clojure's Solutions to the Expression Problem (infoq.com)
		71 points by adityaathalye 7 hours ago \| hide \| 2 comments
20.		Show HN: Haystack – Review pull requests like you wrote them yourself (haystackeditor.com)
		52 points by akshaysg 8 hours ago \| hide \| 35 comments
21.		Longhorn – A Kubernetes-Native Filesystem (engen.priv.no)
		38 points by jandeboevrie 6 hours ago \| hide \| 34 comments
22.		"No Tax on Tips" Includes Digital Creators, Too (hollywoodreporter.com)
		86 points by aspenmayer 10 hours ago \| hide \| 138 comments
23.		Dotter: Dotfile manager and templater written in Rust (github.com/supercuber)
		64 points by nateb2022 7 hours ago \| hide \| 40 comments
24.		Formally verifying a floating-point division routine with Gappa – part 1 (arm.com)
		3 points by montalbano 1 hour ago \| hide \| discuss
25.		I didn't bring my son to a museum to look at screens (sethpurcell.com)
		821 points by arch_deluxe 10 hours ago \| hide \| 282 comments
26.		Picat: A Logic-based Multi-paradigm Language (2014) [pdf] (logicprogramming.org)
		18 points by b-man 5 hours ago \| hide \| discuss
27.		XNEdit – fast and classic X11 text editor (unixwork.de)
		16 points by Mr_Minderbinder 4 hours ago \| hide \| 5 comments
28.		Harvey Mudd Miniature Machine (hmc.edu)
		57 points by nill0 8 hours ago \| hide \| 23 comments
29.		Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container (github.com/juhovh)
		113 points by juhovh 13 hours ago \| hide \| 26 comments
30.		Kerberoasting (cryptographyengineering.com)
		155 points by feross 14 hours ago \| hide \| 53 comments
		More