KDE launches its own distribution (lwn.net)

526 points by Bogdanp 13h ago 314 comments

DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking (qodo.ai)

12 points by blazercohen 1h ago 2 comments

Germany is not supporting ChatControl – blocking minority secured (digitalcourage.social)

508 points by xyzal 2h ago 122 comments

Reshaped is now open source (reshaped.so)

9 points by michaelmior 1h ago 0 comments

DOOMscrolling: The Game (ironicsans.ghost.io)

303 points by jfil 12h ago 72 comments

Show HN: Term.everything – Run any GUI app in the terminal (github.com)

914 points by mmulet 1d ago 126 comments

BCacheFS is being disabled in the openSUSE kernels 6.17+ (lwn.net)

41 points by 6581 1h ago 31 comments

Removing yellow stains from fabric with blue light (phys.org)

43 points by bookofjoe 3d ago 28 comments

Hashed sorting is typically faster than hash tables (reiner.org)

85 points by Bogdanp 3d ago 8 comments

ChatGPT Developer Mode: Full MCP client access (platform.openai.com)

454 points by meetpateltech 19h ago 246 comments

Pure and Impure Software Engineering (seangoedecke.com)

9 points by colonCapitalDee 3d ago 3 comments

Where did the Smurfs get their hats (2018) (pipelinecomics.com)

85 points by andsoitis 10h ago 31 comments

Court rejects Verizon claim that selling location data without consent is legal (arstechnica.com)

439 points by nobody9999 9h ago 45 comments

Learning lessons from the loss of the Norwegian frigate Helge Ingstad (navylookout.com)

50 points by ilamont 2d ago 33 comments

A desktop environment without graphics (tmux-like) (github.com)

99 points by mustaphah 2d ago 29 comments

How the tz database works (2020) (yatsushi.com)

14 points by jumbosushi 3d ago 0 comments

Samsung taking market share from Apple in U.S. as foldable phones gain momentum (cnbc.com)

23 points by mgh2 2h ago 26 comments

The HackberryPi CM5 handheld computer (github.com)

210 points by kristianpaul 2d ago 74 comments

Rewriting Dataframes for MicroHaskell (mchav.github.io)

43 points by internet_points 3d ago 1 comments

Jiratui – A Textual UI for interacting with Atlassian Jira from your shell (jiratui.sh)

251 points by gjvc 20h ago 63 comments

Intel's E2200 "Mount Morgan" IPU at Hot Chips 2025 (chipsandcheese.com)

72 points by ingve 12h ago 28 comments

Defeating Nondeterminism in LLM Inference (thinkingmachines.ai)

263 points by jxmorris12 17h ago 111 comments

PgEdge Goes Open Source (pgedge.com)

4 points by Bogdanp 3h ago 1 comments

Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts

87 points by davidgu 19h ago 43 comments

“No Tax on Tips” Includes Digital Creators, Too (hollywoodreporter.com)

139 points by aspenmayer 18h ago 222 comments

Hot Chips 2025: Session 1 – CPUs – By George Cozma (chipsandcheese.com)

25 points by rbanffy 2d ago 1 comments

Pontevedra, Spain declares its entire urban area a "reduced traffic zone" (greeneuropeanjournal.eu)

815 points by robtherobber 1d ago 889 comments

Clojure's Solutions to the Expression Problem (infoq.com)

136 points by adityaathalye 3d ago 14 comments

Fraudulent Publishing in the Mathematical Sciences (arxiv.org)

69 points by bikenaga 13h ago 34 comments

Show HN: Haystack – Review pull requests like you wrote them yourself (haystackeditor.com)

71 points by akshaysg 16h ago 42 comments

I didn't bring my son to a museum to look at screens (sethpurcell.com)

1015 points by arch_deluxe 18h ago 336 comments

Kerberoasting (blog.cryptographyengineering.com)

180 points by feross 23h ago 61 comments

Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container (github.com)

137 points by juhovh 1d ago 26 comments

Mux (YC W16) Is Hiring Engineering ICs and Managers (mux.com)

1 points by mmcclure 14h ago 0 comments

Formally verifying a floating-point division routine with Gappa – part 1 (community.arm.com)

29 points by montalbano 2d ago 2 comments

Semantic Line Breaks (2017) (sembr.org)

89 points by Bogdanp 3d ago 57 comments

Tarsnap is cozy (til.andrew-quinn.me)

121 points by hiAndrewQuinn 22h ago 78 comments

Picat: A Logic-based Multi-paradigm Language (2014) [pdf] (logicprogramming.org)

37 points by b-man 2d ago 1 comments

A polyglot's guide to multiple-dispatch (2016) (eli.thegreenplace.net)

57 points by andsoitis 4d ago 13 comments

I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory (joshfonseca.com)

829 points by vuciv 1d ago 176 comments

All clickwheel iPod games have now been preserved for posterity (arstechnica.com)

244 points by CharlesW 2d ago 61 comments

Dotter: Dotfile manager and templater written in Rust (github.com)

82 points by nateb2022 16h ago 53 comments

OrioleDB Patent: now freely available to the Postgres community (supabase.com)

388 points by tosh 23h ago 133 comments

Harvey Mudd Miniature Machine (cs.hmc.edu)

66 points by nill0 3d ago 23 comments

Some thoughts on personal Git hosting (shkspr.mobi)

92 points by ColinWright 3d ago 87 comments

Bending Spoons Buys Video Platform Vimeo for $1.38B (petapixel.com)

5 points by signa11 1h ago 2 comments

Charlie Kirk killed at event in Utah (nbcnews.com)

880 points by david927 16h ago 2216 comments

Zoox robotaxi launches in Las Vegas (zoox.com)

174 points by krschultz 19h ago 221 comments

The origin story of merge queues (mergify.com)

88 points by jd__ 19h ago 25 comments

XNEdit – fast and classic X11 text editor (unixwork.de)

28 points by Mr_Minderbinder 12h ago 6 comments

NASA has found a Martian rock with what may be signs of life

4 Brajeshwar 0 9/11/2025, 6:38:43 AM economist.com ↗

Comments (0)

No comments yet