Claude 4 (anthropic.com)

1980 points by meetpateltech 2d ago 1150 comments

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

1605 points by pentagrama 5d ago 1181 comments

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

1179 points by phantomathkg 2d ago 727 comments

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

1055 points by laiysb 4d ago 548 comments

Spaced repetition systems have gotten better (domenic.me)

1022 points by domenicd 7d ago 509 comments

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

988 points by Dowwie 1d ago 377 comments

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

886 points by S0y 2d ago 1008 comments

Have I Been Pwned 2.0 (troyhunt.com)

875 points by LorenDB 5d ago 302 comments

Gemini Diffusion (simonwillison.net)

871 points by mdp2021 3d ago 237 comments

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

821 points by youssefarizk 4d ago 529 comments

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

813 points by minimaxir 3d ago 1115 comments

Zod 4 (zod.dev)

781 points by bpierre 5d ago 255 comments

Find Your People (foundersatwork.posthaven.com)

732 points by jl 1d ago 264 comments

Thoughts on thinking (dcurt.is)

715 points by bradgessler 8d ago 438 comments

Devstral (mistral.ai)

692 points by mfiguiere 3d 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)

631 points by Ariarule 3d ago 488 comments

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

616 points by bzg 6d ago 215 comments

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

568 points by goranmoomin 8d ago 197 comments

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

567 points by feross 3d ago 477 comments

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

567 points by selvan 5d ago 245 comments

GitHub Copilot Coding Agent (github.blog)

564 points by net01 5d ago 357 comments

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

554 points by chriskw 2d ago 38 comments

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

535 points by zielmicha 23h ago 164 comments

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

534 points by tosh 2d ago 352 comments

Jules: An asynchronous coding agent (jules.google)

528 points by travisennis 5d 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 8d ago 450 comments

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

504 points by theahura 4d ago 183 comments

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

501 points by richards 8d ago 358 comments

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

492 points by taubek 7d ago 219 comments

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

490 points by cactusplant7374 1d ago 699 comments

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

484 points by LorenDB 7d ago 427 comments

Ditching Obsidian and building my own (amberwilliams.io)

471 points by williamsss 6d ago 555 comments

Reinvent the Wheel (endler.dev)

464 points by zdw 17h ago 186 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 5d 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 5d ago 608 comments

Litestream: Revamped (fly.io)

449 points by usrme 4d ago 96 comments

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

446 points by felineflock 5d ago 71 comments

Mystical (suberic.net)

442 points by mmphosis 7d ago 46 comments

Building my own solar power system (medium.com)

440 points by JKCalhoun 6d ago 342 comments

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

438 points by meetpateltech 4d ago 163 comments

Root for your friends (josephthacker.com)

401 points by rez0123 1d ago 154 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)

395 points by mcbain 2d ago 407 comments

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

384 points by carabiner 8d ago 201 comments

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

381 points by brig90 6d ago 131 comments

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

365 points by a7fort 9d ago 221 comments

Concepts vs. Type Traits

1 jandeboevrie 0 5/25/2025, 4:34:25 AM akrzemi1.wordpress.com ↗

Comments (0)

No comments yet