Baby is healed with first personalized gene-editing treatment (nytimes.com)

1238 points by jbredeche 4d ago 527 comments

The Windows Subsystem for Linux is now open source (blogs.windows.com)

1139 points by pentagrama 11h ago 734 comments

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

1026 points by Fysi 5d ago 265 comments

Coding without a laptop: Two weeks with AR glasses and Linux on Android (holdtherobot.com)

989 points by mikenew 5d ago 374 comments

Spaced repetition systems have gotten better (domenic.me)

959 points by domenicd 1d ago 494 comments

What is HDR, anyway? (lux.camera)

800 points by _kush 5d ago 337 comments

Human (quarter--mile.com)

727 points by surprisetalk 5d ago 270 comments

Thoughts on thinking (dcurt.is)

691 points by bradgessler 3d ago 431 comments

Zod 4 (zod.dev)

607 points by bpierre 12h ago 187 comments

Don't guess my language (vitonsky.net)

605 points by e-topy 17h ago 340 comments

France Endorses UN Open Source Principles (social.numerique.gouv.fr)

593 points by bzg 1d ago 200 comments

Push Ifs Up and Fors Down (matklad.github.io)

550 points by goranmoomin 2d ago 196 comments

Ground control to Major Trial (virtualize.sh)

512 points by plam503711 3d ago 189 comments

A Research Preview of Codex (openai.com)

505 points by meetpateltech 3d ago 443 comments

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

493 points by anigbrowl 5d ago 358 comments

Getting AI to write good SQL (cloud.google.com)

487 points by richards 3d ago 350 comments

I don't like NumPy (dynomight.net)

485 points by MinimalAction 4d ago 205 comments

Proton threatens to quit Switzerland over new surveillance law (techradar.com)

480 points by taubek 2d ago 211 comments

Flattening Rust’s learning curve (corrode.dev)

456 points by birdculture 6d ago 396 comments

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

455 points by r4um 5d ago 60 comments

Ditching Obsidian and building my own (amberwilliams.io)

441 points by williamsss 1d ago 518 comments

InventWood is about to mass-produce wood that's stronger than steel (techcrunch.com)

441 points by LorenDB 1d ago 409 comments

The unreasonable effectiveness of an LLM agent loop with tool use (sketch.dev)

440 points by crawshaw 4d ago 318 comments

A leap year check in three instructions (hueffner.de)

427 points by gnabgib 4d ago 164 comments

Mystical (suberic.net)

423 points by mmphosis 2d ago 45 comments

Coinbase says hackers bribed staff to steal customer data, demanding $20M ransom (cnbc.com)

417 points by gpi 4d ago 497 comments

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

412 points by morsch 5d ago 166 comments

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

409 points by todsacerdoti 5d ago 314 comments

A server that wasn't meant to exist (it-notes.dragas.net)

399 points by jaypatelani 5d ago 144 comments

Databricks acquires Neon (databricks.com)

386 points by davidgomes 5d ago 224 comments

MIT asks arXiv to withdraw preprint of paper on AI and scientific discovery (economics.mit.edu)

382 points by carabiner 3d ago 199 comments

Show HN: I modeled the Voynich Manuscript with SBERT to test for structure (github.com)

376 points by brig90 1d ago 129 comments

Malicious compliance by booking an available meeting room (clientserver.dev)

374 points by jakevoytko 4d ago 367 comments

Have I Been Pwned 2.0 (troyhunt.com)

373 points by LorenDB 6h ago 125 comments

LLMs get lost in multi-turn conversation (arxiv.org)

372 points by simonpure 5d ago 255 comments

GitHub Copilot Coding Agent (github.blog)

361 points by net01 11h ago 213 comments

After months of coding with LLMs, I'm going back to using my brain (albertofortin.com)

360 points by a7fort 3d ago 218 comments

Ollama's new engine for multimodal models (ollama.com)

352 points by LorenDB 4d ago 83 comments

If nothing is curated, how do we find things (tadaima.bearblog.dev)

349 points by nivethan 2d ago 249 comments

Japan's IC cards are weird and wonderful (aruarian.dance)

349 points by aecsocket 4d ago 291 comments

AniSora: Open-source anime video generation model (komiko.app)

348 points by PaulineGar 2d ago 210 comments

BuyMeACoffee silently dropped support for many countries (2024) (zverok.space)

341 points by beeburrt 3d ago 314 comments

O2 VoLTE: locating any customer with a phone call (mastdatabase.co.uk)

340 points by kragniz 2d ago 73 comments

NASA keeps ancient Voyager 1 spacecraft alive with Hail Mary thruster fix (theregister.com)

340 points by nullhole 4d ago 86 comments

JavaScript's New Superpower: Explicit Resource Management (v8.dev)

326 points by olalonde 2d ago 230 comments

$30 Homebrew Automated Blinds Opener (2024) (sifter.org)

321 points by busymom0 1d ago 148 comments

Moody’s strips U.S. of triple-A credit rating (ft.com)

316 points by Anon84 3d ago 348 comments

What do wealthy people buy, that ordinary people know nothing about? (2015) (old.reddit.com)

309 points by Tomte 1d ago 718 comments

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

309 points by rcarmo 5d ago 121 comments

Dilbert creator Scott Adams says he will die soon from same cancer as Joe Biden (thewrap.com)

289 points by dale_huevo 10h ago 334 comments

The Definition of Standard ML [pdf]

1 alabhyajindal 0 5/19/2025, 6:18:27 PM smlfamily.github.io ↗

Comments (0)

No comments yet