GPT-5 (openai.com)

2063 points by rd 14d ago 2482 comments

Fight Chat Control (fightchatcontrol.eu)

1490 points by tokai 11d ago 498 comments

GitHub is no longer independent at Microsoft after CEO resignation (theverge.com)

1468 points by Handy-Man 10d ago 1120 comments

I tried every todo app and ended up with a .txt file (al3rez.com)

1400 points by al3rez 10d ago 799 comments

Claude Sonnet 4 now supports 1M tokens of context (anthropic.com)

1323 points by adocomplete 9d ago 691 comments

AWS CEO says using AI to replace junior staff is 'Dumbest thing I've ever heard' (theregister.com)

1304 points by JustExAWS 18h ago 523 comments

I want everything local – Building my offline AI workspace (instavm.io)

1141 points by mkagenius 13d ago 286 comments

Ultrathin business card runs a fluid simulation (github.com)

1135 points by wompapumpum 13d ago 221 comments

Streaming services are driving viewers back to piracy (theguardian.com)

1125 points by nemoniac 7d ago 917 comments

Wikipedia loses challenge against Online Safety Act (bbc.com)

1107 points by phlummox 10d ago 854 comments

Anna's Archive: An Update from the Team (annas-archive.org)

1060 points by jerheinze 3d ago 531 comments

FFmpeg 8.0 adds Whisper support (code.ffmpeg.org)

1031 points by rilawa 8d ago 325 comments

Emailing a one-time code is worse than passwords (blog.danielh.cc)

995 points by max__dev 15d ago 789 comments

Debian 13 “Trixie” (debian.org)

973 points by ducktective 12d ago 411 comments

Steve Wozniak: Life to me was never about accomplishment, but about happiness (yro.slashdot.org)

949 points by MilnerRoute 7d ago 619 comments

Good system design (seangoedecke.com)

936 points by dondraper36 6d ago 389 comments

Vibechart (vibechart.net)

879 points by datadrivenangel 14d ago 189 comments

Why LLMs can't really build software (zed.dev)

856 points by srid 7d ago 504 comments

VC-backed company just killed my EU trademark for a small OSS project

852 points by marcjschmidt 9d ago 248 comments

Claude Code is all you need (dwyer.co.za)

848 points by sixhobbits 10d ago 504 comments

Show HN: I was curious about spherical helix, ended up making this visualization (visualrambling.space)

835 points by damarberlari 1d ago 132 comments

Gemma 3 270M: Compact model for hyper-efficient AI (developers.googleblog.com)

822 points by meetpateltech 7d ago 317 comments

AGENTS.md – Open format for guiding coding agents (agents.md)

813 points by ghuntley 2d ago 381 comments

Nginx introduces native support for ACME protocol (blog.nginx.org)

806 points by phickey 8d ago 296 comments

Copilot broke audit logs, but Microsoft won't tell customers (pistachioapp.com)

796 points by Sayrus 2d ago 297 comments

Show HN: The current sky at your approximate location, as a CSS gradient (sky.dlazaro.ca)

787 points by dlazaro 12d ago 160 comments

Why are anime catgirls blocking my access to the Linux kernel? (lock.cmpxchg8b.com)

783 points by taviso 1d ago 859 comments

Claude says “You're absolutely right!” about everything (github.com)

772 points by pr337h4m 9d ago 533 comments

PYX: The next step in Python packaging (astral.sh)

755 points by the_mitsuhiko 8d ago 461 comments

Mark Zuckerberg freezes AI hiring amid bubble fears (telegraph.co.uk)

731 points by pera 20h ago 777 comments

Open hardware desktop 3D printing is dead? (josefprusa.com)

717 points by rcarmo 6d ago 437 comments

How I code with AI on a budget/free (wuu73.org)

697 points by indigodaddy 12d ago 241 comments

Show HN: Building a web search engine from scratch with 3B neural embeddings (blog.wilsonl.in)

696 points by wilsonzlin 9d ago 118 comments

Obsidian Bases (help.obsidian.md)

687 points by twapi 3d ago 251 comments

How we exploited CodeRabbit: From simple PR to RCE and write access on 1M repos (research.kudelskisecurity.com)

678 points by spiridow 2d ago 224 comments

Show HN: I built an app to block Shorts and Reels (scrollguard.app)

678 points by adrianhacar 5d ago 304 comments

Try and (ygdp.yale.edu)

660 points by treetalker 11d ago 335 comments

This website is for humans (localghost.dev)

656 points by charles_f 8d ago 355 comments

I accidentally became PureGym’s unofficial Apple Wallet developer (drobinin.com)

648 points by valzevul 6d ago 175 comments

GPT-5: Key characteristics, pricing and system card (simonwillison.net)

643 points by Philpax 14d ago 295 comments

Wikimedia Foundation Challenges UK Online Safety Act Regulations (wikimediafoundation.org)

637 points by danso 10d ago 4 comments

Web apps in a single, portable, self-updating, vanilla HTML file (hyperclay.com)

635 points by pil0u 4d ago 232 comments

AI tooling must be disclosed for contributions (github.com)

609 points by freetonik 12h ago 346 comments

OpenFreeMap survived 100k requests per second (blog.hyperknot.com)

608 points by hyperknot 12d ago 133 comments

OpenMower – An open source lawn mower (github.com)

592 points by rickcarlino 3d ago 190 comments

Lazy-brush – smooth drawing with mouse or finger (lazybrush.dulnan.net)

591 points by tvdvd 6d ago 70 comments

Jim Lovell, Apollo 13 commander, has died (nasa.gov)

589 points by LorenDB 13d ago 114 comments

Search all text in New York City (alltext.nyc)

584 points by Kortaggio 9d ago 116 comments

Show HN: Whispering – Open-source, local-first dictation you can trust (github.com)

578 points by braden-w 3d ago 151 comments

Ask HN: How can ChatGPT serve 700M users when I can't run one GPT-4 locally?

573 points by superasn 13d ago 365 comments

Lean is a theorem prover and programming language

2 tzury 0 8/20/2025, 1:56:49 PM lean-lang.org ↗

Comments (0)

No comments yet