Claude 4 (anthropic.com)

1981 points by meetpateltech 3d ago 1150 comments

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

1609 points by pentagrama 6d ago 1181 comments

Mozilla to shut down Pocket and Fakespot (support.mozilla.org)

1182 points by phantomathkg 3d ago 727 comments

Watching AI drive Microsoft employees insane (old.reddit.com)

1055 points by laiysb 4d ago 549 comments

Spaced repetition systems have gotten better (domenic.me)

1022 points by domenicd 7d ago 510 comments

Postgres IDE in VS Code (techcommunity.microsoft.com)

995 points by Dowwie 2d ago 380 comments

Trump administration halts Harvard's ability to enroll international students (nytimes.com)

890 points by S0y 3d ago 1017 comments

Have I Been Pwned 2.0 (troyhunt.com)

875 points by LorenDB 5d ago 303 comments

Gemini Diffusion (simonwillison.net)

874 points by mdp2021 3d ago 239 comments

Veo 3 and Imagen 4, and a new tool for filmmaking called Flow (blog.google)

823 points by youssefarizk 5d ago 529 comments

OpenAI to buy AI startup from Jony Ive (bloomberg.com)

813 points by minimaxir 4d ago 1115 comments

Zod 4 (zod.dev)

781 points by bpierre 6d ago 255 comments

Find Your People (foundersatwork.posthaven.com)

741 points by jl 2d ago 265 comments

Thoughts on thinking (dcurt.is)

716 points by bradgessler 9d ago 438 comments

Devstral (mistral.ai)

693 points by mfiguiere 4d ago 144 comments

Don't guess my language (vitonsky.net)

668 points by e-topy 6d ago 365 comments

DDoSecrets publishes 410 GB of heap dumps, hacked from TeleMessage (micahflee.com)

663 points by micahflee 5d ago 185 comments

The scientific “unit” we call the decibel (lcamtuf.substack.com)

632 points by Ariarule 3d ago 488 comments

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

617 points by bzg 6d ago 215 comments

I used o3 to find a remote zeroday in the Linux SMB implementation (sean.heelan.io)

599 points by zielmicha 1d ago 194 comments

By default, Signal doesn't recall (signal.org)

569 points by feross 4d ago 477 comments

Making video games (without an engine) in 2025 (noelberry.ca)

568 points by selvan 5d ago 245 comments

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

568 points by goranmoomin 8d ago 197 comments

GitHub Copilot Coding Agent (github.blog)

564 points by net01 6d ago 357 comments

That fractal that's been up on my wall for years (chriskw.xyz)

556 points by chriskw 3d ago 38 comments

Reinvent the Wheel (endler.dev)

549 points by zdw 1d ago 209 comments

John Carmack talk at Upper Bound 2025 (twitter.com)

537 points by tosh 2d ago 356 comments

Jules: An asynchronous coding agent (jules.google)

529 points by travisennis 6d ago 232 comments

Ground control to Major Trial (virtualize.sh)

526 points by plam503711 9d ago 190 comments

A Research Preview of Codex (openai.com)

511 points by meetpateltech 9d ago 450 comments

Deep Learning Is Applied Topology (theahura.substack.com)

505 points by theahura 5d ago 183 comments

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

501 points by richards 9d ago 358 comments

How to live on $432 a month in America (shagbark.substack.com)

495 points by cactusplant7374 2d ago 707 comments

Claude 4 System Card (simonwillison.net)

494 points by pvg 15h ago 194 comments

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

492 points by taubek 8d ago 219 comments

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

484 points by LorenDB 7d ago 428 comments

Ditching Obsidian and building my own (amberwilliams.io)

471 points by williamsss 7d ago 555 comments

Finland announces migration of its rail network to international gauge (yle.fi)

459 points by axelfontaine 5d ago 444 comments

Claude Code SDK (docs.anthropic.com)

454 points by sync 6d ago 194 comments

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

452 points by dale_huevo 6d ago 608 comments

Litestream: Revamped (fly.io)

449 points by usrme 5d ago 96 comments

Game theory illustrated by an animated cartoon game (ncase.me)

447 points by felineflock 6d ago 71 comments

Mystical (suberic.net)

442 points by mmphosis 8d ago 46 comments

Building my own solar power system (medium.com)

440 points by JKCalhoun 7d ago 342 comments

Gemma 3n preview: Mobile-first AI (developers.googleblog.com)

438 points by meetpateltech 5d ago 163 comments

Root for your friends (josephthacker.com)

410 points by rez0123 1d ago 158 comments

Show HN: Defuddle, an HTML-to-Markdown alternative to Readability (github.com)

399 points by kepano 2d ago 66 comments

Why I no longer have an old-school cert on my HTTPS site (rachelbythebay.com)

396 points by mcbain 2d ago 410 comments

Scientific conferences are leaving the US amid border fears (nature.com)

390 points by mdhb 23h ago 341 comments

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

384 points by carabiner 9d ago 201 comments

A continuation-passing evaluation semantics for classical proofs

2 fanf2 0 5/25/2025, 11:42:03 AM ecommons.cornell.edu ↗

Comments (0)

No comments yet