KDE launches its own distribution (lwn.net)

252 points by Bogdanp 5h ago 124 comments

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

184 points by nobody9999 2h ago 7 comments

DOOMscrolling: The Game (ironicsans.ghost.io)

110 points by jfil 4h ago 33 comments

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

392 points by meetpateltech 11h ago 215 comments

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

706 points by mmulet 1d ago 108 comments

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

709 points by robtherobber 17h ago 807 comments

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

48 points by ingve 5h ago 24 comments

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

40 points by andsoitis 3d ago 5 comments

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

73 points by davidgu 11h ago 34 comments

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

378 points by tosh 16h ago 126 comments

The HackberryPi CM5 handheld computer (github.com)

159 points by kristianpaul 2d ago 45 comments

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

11 points by andsoitis 2h ago 4 comments

Defeating Nondeterminism in LLM Inference (thinkingmachines.ai)

207 points by jxmorris12 10h ago 78 comments

Fraudulent Publishing in the Mathematical Sciences (arxiv.org)

47 points by bikenaga 6h ago 22 comments

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

163 points by gjvc 12h ago 45 comments

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

30 points by mustaphah 2d ago 5 comments

Longhorn – A Kubernetes-Native Filesystem (vegard.blog.engen.priv.no)

43 points by jandeboevrie 3d ago 38 comments

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

53 points by akshaysg 9h ago 36 comments

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

1 points by mmcclure 6h ago 0 comments

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

75 points by adityaathalye 3d ago 2 comments

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

3 points by rbanffy 2d ago 0 comments

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

93 points by aspenmayer 11h ago 153 comments

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

66 points by nateb2022 8h ago 41 comments

Seoul says US must fix its visa system if it wants Korea's investments (english.hani.co.kr)

130 points by garbawarb 1h ago 67 comments

Deliberate Abstraction (entropicthoughts.com)

10 points by todsacerdoti 2d ago 3 comments

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

837 points by arch_deluxe 11h ago 287 comments

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

19 points by Mr_Minderbinder 4h ago 5 comments

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

20 points by b-man 2d ago 0 comments

Things you can do with a debugger but not with print debugging (mahesh-hegde.github.io)

222 points by never_inline 3d ago 194 comments

Kerberoasting (blog.cryptographyengineering.com)

159 points by feross 15h ago 53 comments

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

116 points by juhovh 23h ago 26 comments

Harvey Mudd Miniature Machine (cs.hmc.edu)

59 points by nill0 3d ago 23 comments

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

7 points by montalbano 2d ago 0 comments

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

772 points by david927 8h ago 1722 comments

Semantic Line Breaks (2017) (sembr.org)

82 points by Bogdanp 3d ago 51 comments

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

109 points by hiAndrewQuinn 15h ago 69 comments

Gravitational wave detector confirms theories of Einstein and Hawking (space.com)

35 points by Avlin67 3h ago 2 comments

Apple paying $95M in a Siri eavesdropping settlement. How to file a claim (cbsnews.com)

14 points by 1vuio0pswjnm7 1h ago 1 comments

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

817 points by vuciv 1d ago 176 comments

Zoox robotaxi launches in Las Vegas (zoox.com)

167 points by krschultz 12h ago 212 comments

The origin story of merge queues (mergify.com)

75 points by jd__ 11h ago 23 comments

Some thoughts on personal Git hosting (shkspr.mobi)

82 points by ColinWright 3d ago 80 comments

Distributing your own scripts via Homebrew (justin.searls.co)

64 points by ingve 2d ago 13 comments

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

234 points by CharlesW 2d ago 60 comments

$142 upgrade kit and spare modules turn Nvidia RTX 4090 24GB to 48GB AI card (tomshardware.com)

15 points by RachelF 2h ago 4 comments

In 1979 one of the best guitar solos recorded was cut for radio time (seekhifi.com)

27 points by wmeredith 6h ago 8 comments

Uniprof: Universal CPU Profiling (uniprof.sh)

5 points by jshchnz 3h ago 0 comments

We can’t circumvent the work needed to train our minds (zettelkasten.de)

332 points by maksimur 13h ago 153 comments

TikTok has turned culture into a feedback loop of impulse and machine learning (thenexus.media)

261 points by natalie3p 11h ago 193 comments

Knowledge and memory (robinsloan.com)

94 points by zdw 4d ago 45 comments

How Much Math Is Knowable? (Scott Aaronson Santa Fe Institute Talk) [video]

4 maartenscholl 0 9/10/2025, 10:35:31 PM youtube.com ↗

Comments (0)

No comments yet