Hacker News on Wednesday, 9 July 2025

Tree Borrows(plf.inf.ethz.ch)

557 points by zdw 1 year ago | 141 comments

ETH Zürich Programming Language Foundations Lab page for the PLDI 2025 paper Tree Borrows, an aliasing model for Rust by Villani, Hostert, Dreyer, and Jung.

Linda Yaccarino is leaving X(nytimes.com)

524 points by donohoe 1 year ago | 950 comments

New York Times article reporting that Linda Yaccarino is stepping down as CEO of X; the captured page shows a captcha challenge instead of the article.

Show HN: FlopperZiro – A DIY open-source Flipper Zero clone(github.com)

338 points by iraton 1 year ago | 73 comments

GitHub repository for FlopperZiro, a cheap DIY open-source Flipper Zero clone built with Arduino IDE, including PCB schematics and firmware.

Most RESTful APIs aren't really RESTful(florian-kraemer.net)

324 points by BerislavLopac 1 year ago | 493 comments

Blog post by Florian Krämer arguing that most APIs called RESTful don't follow Roy Fielding's original REST architectural style as described in his dissertation.

IKEA ditches Zigbee for Thread going all in on Matter smart homes(theverge.com)

318 points by thunderbong 1 year ago | 202 comments

The Verge article reporting Ikea's plan to launch over 20 Matter-over-Thread smart home devices, shifting away from Zigbee to simplify and cheapen its smart home line.

MCP-B: A Protocol for AI Browser Automation(mcp-b.ai)

313 points by bustodisgusto 1 year ago | 162 comments

Solar power has begun to transform the world’s energy system(newyorker.com)

305 points by dmazin 1 year ago | 464 comments

The death of partying in the USA(derekthompson.org)

280 points by tysone 1 year ago | 504 comments

Phrase origin: Why do we "call" functions?(quuxplusone.github.io)

277 points by todsacerdoti 1 year ago | 191 comments

RapidRAW: A non-destructive and GPU-accelerated RAW image editor(github.com)

257 points by l8rlump 1 year ago | 109 comments

A fast 3D collision detection algorithm(cairno.substack.com)

254 points by OlympicMarmoto 1 year ago | 29 comments

Astro is a return to the fundamentals of the web(websmith.studio)

247 points by pumbaa 1 year ago | 195 comments

A Typology of Canadianisms(dchp.arts.ubc.ca)

238 points by gnabgib 1 year ago | 290 comments

Show HN: MCP server for searching and downloading documents from Anna's Archive(github.com)

236 points by iosifache 1 year ago | 73 comments

The upcoming GPT-3 moment for RL(mechanize.work)

222 points by jxmorris12 1 year ago | 92 comments

Biomni: A General-Purpose Biomedical AI Agent(github.com)

214 points by GavCo 1 year ago | 32 comments

US court strikes down 'click-to-cancel' rule designed to make unsubscribing easy(theguardian.com)

206 points by andsoitis 1 year ago | 99 comments

Is the doc bot docs, or not?(robinsloan.com)

182 points by tobr 1 year ago | 106 comments

Show HN: Petrichor – a free, open-source, offline music player for macOS(github.com)

177 points by kushalpandya 1 year ago | 96 comments

Helm local code execution via a malicious chart(github.com)

160 points by irke882 1 year ago | 84 comments

Where can I see Hokusai's Great Wave today?(greatwavetoday.com)

121 points by colinprince 1 year ago | 89 comments

ESIM Security(security-explorations.com)

119 points by todsacerdoti 1 year ago | 44 comments

Parse, Don’t Validate – Some C Safety Tips(lelanthran.com)

118 points by lelanthran 1 year ago | 66 comments

Configuring Split Horizon DNS with Pi-Hole and Tailscale(bentasker.co.uk)

110 points by gm678 1 year ago | 29 comments

Nuclear Waste Reprocessing Gains Momentum in the U.S.(spectrum.ieee.org)

106 points by rbanffy 1 year ago | 96 comments

SUSE launches new European digital sovereignty service to meet surging demand(zdnet.com)

105 points by saubeidl 1 year ago | 42 comments

Hugging Face just launched a $299 robot that could disrupt the robotics industry(venturebeat.com)

100 points by fdaudens 1 year ago | 88 comments

Exposing a web service with Cloudflare Tunnel (2022)(erisa.dev)

96 points by sturza 1 year ago | 40 comments

Evolution Mail Users Easily Trackable(grepular.com)

95 points by mike-cardwell 1 year ago | 53 comments

I used to prefer permissive licenses and now favor copyleft(vitalik.eth.limo)

93 points by bpierre 1 year ago | 52 comments

Let Kids Be Loud(afterbabel.com)

93 points by trevin 1 year ago | 110 comments

White Noise – secure and private messenger(whitenoise.chat)

92 points by onhacker 1 year ago | 40 comments

Million Times Million(susam.net)

92 points by susam 1 year ago | 78 comments

Florida is letting companies make it harder for highly paid workers to swap jobs(businessinsider.com)

91 points by pseudolus 1 year ago | 101 comments

Notes on Graham's ANSI Common Lisp (2024)(courses.cs.northwestern.edu)

90 points by oumua_don17 1 year ago | 33 comments

Would You Like an IDOR With That? Leaking 64m McDonald's Job Applications(ian.sh)

86 points by samwcurry 1 year ago | 45 comments

Springer Nature book on machine learning is full of made-up citations(retractionwatch.com)

80 points by ArmageddonIt 1 year ago | 35 comments

Two-step system makes plastic from carbon dioxide, water and electricity(phys.org)

76 points by PaulHoule 1 year ago | 35 comments

Libpostal: C library for parsing/normalizing street addresses around the world(github.com)

75 points by nateb2022 1 year ago | 23 comments

Nvidia Becomes First Company to Reach $4T Market Cap(cnbc.com)

74 points by mfiguiere 1 year ago | 60 comments

Second Variety, by Philip K. Dick (1953)(gutenberg.org)

67 points by djoldman 1 year ago | 20 comments

Series of posts on HTTP status codes (2018)(evertpot.com)

65 points by antonalekseev 1 year ago | 10 comments

Operational Apple-1 Computer for sale [video](youtube.com)

64 points by guiambros 1 year ago | 28 comments

Systemd has been a complete, utter, unmitigated success(blog.tjll.net)

59 points by Mond_ 1 year ago | 38 comments

Context Engineering Guide(nlp.elvissaravia.com)

56 points by Bogdanp 1 year ago | 18 comments

iPod Linux (2017)(ipodlinux.org)

55 points by nickysielicki 1 year ago | 21 comments

Experimental imperative-style music sequence generator engine(github.com)

54 points by bwidlar 1 year ago | 9 comments

Dépanneurs(walkmontreal.com)

53 points by thomassmith65 1 year ago | 44 comments

Perplexity launches Comet, an AI-powered web browser(techcrunch.com)

51 points by gniting 1 year ago | 35 comments

The Architecture Behind Lovable and Bolt(beam.cloud)

51 points by Mernit 1 year ago | 26 comments

Btrfs Allocator Hints(lwn.net)

47 points by forza_user 1 year ago | 25 comments

Multi-Region Row Level Security in CockroachDB(cockroachlabs.com)

45 points by rusticwizard 1 year ago | 10 comments

Desktop Publishing Tools That Didn't Make It (2022)(tedium.co)

44 points by rbanffy 1 year ago | 39 comments

"Just Fucking Ship IT" (Or: On Vibecoding)(coal.sh)

43 points by coal320 1 year ago | 17 comments

I Deleted My Steam Account After 20 Years(gist.github.com)

40 points by haunter 1 year ago | 30 comments

HyAB k-means for color quantization(30fps.net)

40 points by ibobev 1 year ago | 10 comments

Why I don't ride the AI Hype Train(mertbulan.com)

39 points by mertbio 1 year ago | 30 comments

Memory-Level Parallelism: Apple M2 vs. Apple M4(lemire.me)

32 points by zdw 1 year ago | 7 comments

Bug Stories(500mile.email)

32 points by thinkingemote 1 year ago | 9 comments

Co-founder exiting after pivot – what's a fair exit package?

31 points by throwaway-xx 1 year ago | 38 comments