AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms (deepmind.google)

117 points by Fysi 1h ago 33 comments

What Is HDR, Anyway? (lux.camera)

216 points by _kush 3h ago 100 comments

Show HN: Lumier – Run macOS VMs in a Docker (github.com)

30 points by GreenGames 1h ago 6 comments

The Cryptography Behind Passkeys (blog.trailofbits.com)

43 points by tatersolid 5h ago 13 comments

How the economics of multitenancy work (blacksmith.sh)

82 points by tsaifu 3h ago 9 comments

The Server That Wasn't Meant to Exist (it-notes.dragas.net)

12 points by jaypatelani 36m ago 1 comments

Show HN: CSV GB+ by Data.olllo – Open and Process CSVs Locally (apps.microsoft.com)

16 points by olllo 1h ago 6 comments

Databricks and Neon (databricks.com)

184 points by davidgomes 6h ago 111 comments

Launch HN: Jazzberry (YC X25) – AI agent for finding bugs

7 points by MarcoDewey 34m ago 5 comments

Interferometer Device Sees Text from a Mile Away (physics.aps.org)

116 points by bookofjoe 4d ago 29 comments

SMS 2FA is not just insecure, it's also hostile to mountain people (blog.stillgreenmoss.net)

182 points by todsacerdoti 2h ago 141 comments

How to Build a Smartwatch: Picking a Chip (ericmigi.com)

178 points by rcarmo 9h ago 83 comments

Bus stops here: Shanghai lets riders design their own routes (sixthtone.com)

350 points by anigbrowl 11h ago 254 comments

The recently lost file upload feature in the Nextcloud app for Android (nextcloud.com)

255 points by morsch 10h ago 60 comments

Git Bug: Distributed, Offline-First Bug Tracker Embedded in Git, with Bridges (github.com)

4 points by stefankuehnel 1d ago 1 comments

Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages (googleprojectzero.blogspot.com)

23 points by MajesticHobo2 3d ago 0 comments

Writing that changed how I think about programming languages (bernsteinbear.com)

309 points by r4um 12h ago 33 comments

Ash Framework – Model your domain, derive the rest (ash-hq.org)

184 points by lawik 4d ago 93 comments

Updated rate limits for unauthenticated requests (github.blog)

14 points by xena 5d ago 35 comments

The U.S. Nuclear Base Hidden Under Greenland's Ice for Decades (wsj.com)

76 points by fortran77 2h ago 30 comments

E-COM: The $40M USPS project to send email on paper (buttondown.com)

82 points by rfarley04 4h ago 72 comments

Uber to introduce fixed-route shuttles in major US cities designed for commuters (techcrunch.com)

12 points by rpgbr 46m ago 12 comments

Flattening Rust’s learning curve (corrode.dev)

368 points by birdculture 18h ago 294 comments

The A.I. Radiologist Will Not Be with You Soon (nytimes.com)

62 points by voxadam 3h ago 89 comments

RPG in a Box (rpginabox.com)

259 points by skibz 4d ago 55 comments

Type-constrained code generation with language models (arxiv.org)

230 points by tough 18h ago 106 comments

$20K Bounty Offered for Optimizing Rust Code in Rav1d AV1 Decoder (memorysafety.org)

83 points by todsacerdoti 7h ago 78 comments

Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)

397 points by logic_node 1d ago 347 comments

Branch Privilege Injection: Exploiting branch predictor race conditions (comsec.ethz.ch)

397 points by alberto-m 23h ago 177 comments

Replicube: A puzzle game about writing code to create shapes (store.steampowered.com)

110 points by poetril 14h ago 24 comments

FlowG – Distributed Systems without raft (part 2) (david-delassus.medium.com)

13 points by linkdd 4h ago 0 comments

Sequencing for Value (engineering.blueberrypediatrics.blog)

14 points by kierangill 2d ago 2 comments

EM-LLM: Human-Inspired Episodic Memory for Infinite Context LLMs (github.com)

100 points by jbotz 4d ago 10 comments

Abundance Starts with Mobility (abstraction.substack.com)

15 points by linearithmic 4h ago 11 comments

Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses

198 points by bestwillcui 1d ago 112 comments

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com)

207 points by GeorgeCurtis 23h ago 86 comments

How “The Great Gatsby” took over high school (newyorker.com)

48 points by pseudolus 1d ago 111 comments

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)

175 points by taubek 4d ago 124 comments

Build real-time knowledge graph for documents with LLM (cocoindex.io)

163 points by badmonster 20h ago 31 comments

PDF to Text, a challenging problem (marginalia.nu)

322 points by ingve 1d ago 182 comments

The Internet 1997–2021 (opte.org)

66 points by smusamashah 1d ago 18 comments

Robot chefs take over at South Korea's highway restaurants, to mixed reviews (restofworld.org)

24 points by NDAjam 2h ago 6 comments

Mipmap selection in too much detail (pema.dev)

85 points by luu 3d ago 25 comments

Show HN: acmsg (automated commit message generator) (github.com)

8 points by qeden 5h ago 16 comments

The great displacement is already well underway? (shawnfromportland.substack.com)

412 points by JSLegendDev 2d ago 420 comments

Linguists Find Proof of Sweeping Language Pattern Once Deemed a 'Hoax' (scientificamerican.com)

5 points by pseudolus 39m ago 0 comments

It Awaits Your Experiments (rifters.com)

184 points by pavel_lishin 1d ago 69 comments

Airbnb is in midlife crisis mode (wired.com)

209 points by thomasjudge 21h ago 437 comments

Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)

93 points by matt_d 20h ago 20 comments

I learned Snobol and then wrote a toy Forth (ratfactor.com)

139 points by ingve 3d ago 37 comments

Understanding System Calls for ln, rm, cat

3 thunderbong 0 5/13/2025, 8:44:44 PM github.com ↗

Comments (0)

No comments yet