Claude 4 (anthropic.com)

1997 points by meetpateltech 5d ago 1161 comments

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

1201 points by phantomathkg 5d ago 749 comments

CSS Minecraft (benjaminaster.com)

1084 points by mudkipdev 1d ago 125 comments

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

1080 points by laiysb 6d ago 550 comments

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

1021 points by Dowwie 4d ago 388 comments

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

902 points by S0y 5d ago 1025 comments

Gemini Diffusion (simonwillison.net)

885 points by mdp2021 5d ago 242 comments

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

818 points by minimaxir 6d ago 1121 comments

Find Your People (foundersatwork.posthaven.com)

779 points by jl 4d ago 277 comments

German court sends VW execs to prison over Dieselgate scandal (politico.eu)

737 points by Tomte 1d ago 295 comments

Devstral (mistral.ai)

699 points by mfiguiere 6d ago 145 comments

Claude 4 System Card (simonwillison.net)

686 points by pvg 2d ago 249 comments

Owls in Towels (owlsintowels.org)

680 points by schaum 1d ago 86 comments

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

646 points by zielmicha 3d ago 218 comments

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

641 points by Ariarule 5d ago 491 comments

Hacker News now runs on top of Common Lisp (lisp-journey.gitlab.io)

618 points by Tomte 1d ago 406 comments

Reinvent the Wheel (endler.dev)

598 points by zdw 3d ago 219 comments

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

580 points by feross 6d ago 481 comments

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

563 points by chriskw 5d ago 38 comments

At Amazon, some coders say their jobs have begun to resemble warehouse work (nytimes.com)

555 points by milkshakes 2d ago 828 comments

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

547 points by tosh 4d ago 357 comments

Open Source Society University – Path to a free self-taught education in CS (github.com)

513 points by saikatsg 2d ago 156 comments

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

512 points by cactusplant7374 4d ago 728 comments

Google shared my phone number (danq.me)

462 points by luu 1d ago 167 comments

Denmark to raise retirement age to 70 (telegraph.co.uk)

455 points by wslh 2d ago 1207 comments

Root for your friends (josephthacker.com)

430 points by rez0123 3d ago 164 comments

GitHub MCP exploited: Accessing private repositories via MCP (invariantlabs.ai)

427 points by andy99 1d ago 268 comments

Duolingo CEO tries to walk back AI-first comments, fails (htxt.co.za)

426 points by Improvement 1d ago 296 comments

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

419 points by mdhb 3d ago 405 comments

Trying to teach in the age of the AI homework machine (solarshades.club)

415 points by notarobot123 1d ago 580 comments

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

409 points by kepano 5d ago 68 comments

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

406 points by mcbain 4d ago 417 comments

Square Theory (aaronson.org)

388 points by aaaronson 7h ago 77 comments

A new class of materials that can passively harvest water from air (blog.seas.upenn.edu)

388 points by Tycho 1d ago 188 comments

Planetfall (somethingaboutmaps.wordpress.com)

351 points by milliams 5d ago 106 comments

Lottie is an open format for animated vector graphics (lottie.github.io)

345 points by marcodiego 2d ago 173 comments

For algorithms, a little memory outweighs a lot of time (quantamagazine.org)

340 points by makira 6d ago 136 comments

TIL: timeout in Bash scripts (heitorpb.github.io)

338 points by lr0 1d ago 90 comments

Show HN: Rotary Phone Dial Linux Kernel Driver (gitlab.com)

335 points by sephalon 3d ago 49 comments

Lossless video compression using Bloom filters (github.com)

328 points by rh3939 1d ago 112 comments

Ask HN: What are you working on? (May 2025)

324 points by david927 2d ago 994 comments

Ask HN: Anyone struggling to get value out of coding LLMs?

310 points by bjackman 1d ago 263 comments

How a hawk learned to use traffic signals to hunt more successfully (frontiersin.org)

308 points by layer8 11h ago 98 comments

Lieferando.de has captured 5.7% of restaurant related domain names (mondaybits.com)

307 points by __natty__ 1d ago 191 comments

Good Writing (paulgraham.com)

304 points by oli5679 3d ago 307 comments

The copilot delusion (deplet.ing)

303 points by isaiahwp 4d ago 196 comments

The Future of Flatpak (lwn.net)

303 points by dxs 4d ago 263 comments

Improving performance of rav1d video decoder (ohadravid.github.io)

301 points by todsacerdoti 5d ago 114 comments

The Myth of Developer Obsolescence (alonso.network)

297 points by cat-whisperer 12h ago 322 comments

GitHub issues is almost the best notebook in the world (simonwillison.net)

296 points by ingve 1d ago 186 comments

What Works (and Doesn't) Selling Formal Methods

3 azhenley 0 5/25/2025, 6:41:21 PM galois.com ↗

Comments (0)

No comments yet