Andrej Karpathy: Software in the era of AI [video] (youtube.com)

1423 points by sandslash 3d ago 776 comments

Honda conducts successful launch and landing of experimental reusable rocket (global.honda)

1335 points by LorenDB 5d ago 421 comments

U.S. bombs Iranian nuclear sites (bbc.co.uk)

1137 points by mattcollins 22h ago 3458 comments

The Grug Brained Developer (2022) (grugbrain.dev)

1080 points by smartmic 5d ago 565 comments

YouTube's new anti-adblock measures (iter.ca)

937 points by smitop 2d ago 1267 comments

Working on databases from prison (turso.tech)

845 points by dvektor 6d ago 530 comments

Show HN: Workout.cool – Open-source fitness coaching platform (github.com)

810 points by surgomat 4d ago 232 comments

Samsung embeds IronSource spyware app on phones across WANA (smex.org)

802 points by the-anarchist 1d ago 459 comments

WhatsApp introduces ads in its app (nytimes.com)

712 points by greenburger 6d ago 1021 comments

Show HN: Unregistry – “docker push” directly to servers without a registry (github.com)

699 points by psviderski 3d ago 163 comments

Resurrecting a dead torrent tracker and finding 3M peers (kianbradley.com)

647 points by k-ian 5d ago 203 comments

Harper – an open-source alternative to Grammarly (writewithharper.com)

602 points by ReadCarlBarks 2d ago 150 comments

Phoenix.new – Remote AI Runtime for Phoenix (fly.io)

602 points by wut42 2d ago 256 comments

Start your own Internet Resiliency Club (bowshock.nl)

579 points by todsacerdoti 6d ago 340 comments

Building Effective AI Agents (anthropic.com)

536 points by Anon84 5d ago 87 comments

Microsoft suspended the email account of an ICC prosecutor at The Hague (nytimes.com)

508 points by blinding-streak 1d ago 375 comments

Mechanical Watch: Exploded View (fellerts.no)

507 points by fellerts 7h ago 75 comments

New US visa rules will force foreign students to unlock social media profiles (theguardian.com)

507 points by sva_ 3d ago 665 comments

The Zed Debugger Is Here (zed.dev)

496 points by SupremumLimit 3d ago 201 comments

Scrappy – Make little apps for you and your friends (pontus.granstrom.me)

454 points by 8organicbits 4d ago 145 comments

Hurl: Run and test HTTP requests with plain text (github.com)

447 points by flykespice 2d ago 103 comments

My iPhone 8 Refuses to Die: Now It's a Solar-Powered Vision OCR Server (terminalbytes.com)

442 points by hemant6488 4d ago 186 comments

Fossify – A suite of open-source, ad-free apps (github.com)

436 points by jalict 5d ago 130 comments

Generative AI coding tools and agents do not work for me (blog.miguelgrinberg.com)

397 points by nomdep 5d ago 445 comments

Show HN: Chawan TUI web browser (chawan.net)

387 points by shiomiru 6d ago 70 comments

Git Notes: Git's coolest, most unloved feature (2022) (tylercipriani.com)

386 points by Delgan 13h ago 100 comments

Show HN: I wrote a new BitTorrent tracker in Elixir (github.com)

382 points by dahrkael 2d ago 72 comments

uBlock Origin Lite Beta for Safari iOS (testflight.apple.com)

378 points by Squarex 1d ago 117 comments

Tell HN: Beware confidentiality agreements that act as lifetime non competes

375 points by throwarayes 1d ago 240 comments

Airpass – Easily overcome WiFi time limits (airpass.tiagoalves.me)

369 points by herbertl 4d ago 252 comments

Making 2.5 Flash and 2.5 Pro GA, and introducing Gemini 2.5 Flash-Lite (blog.google)

368 points by meetpateltech 5d ago 221 comments

Now might be the best time to learn software development (substack.com)

362 points by nathanfig 5d ago 356 comments

LibRedirect – Redirects popular sites to alternative privacy-friendly frontends (libredirect.github.io)

358 points by riffraff 16h ago 87 comments

Websites are tracking you via browser fingerprinting (engineering.tamu.edu)

358 points by gnabgib 4d ago 242 comments

Iran asks its people to delete WhatsApp from their devices (apnews.com)

356 points by rdrd 5d ago 507 comments

What happens when clergy take psilocybin (nautil.us)

353 points by bookofjoe 6d ago 556 comments

TPU Deep Dive (henryhmko.github.io)

349 points by transpute 19h ago 67 comments

MiniMax-M1 open-weight, large-scale hybrid-attention reasoning model (github.com)

345 points by danboarder 4d ago 75 comments

Bzip2 crate switches from C to 100% Rust (trifectatech.org)

335 points by Bogdanp 5d ago 182 comments

Bento: A Steam Deck in a Keyboard (github.com)

329 points by MichaelThatsIt 4d ago 94 comments

Brad Lander detained by masked federal agents inside immigration court (thecity.nyc)

329 points by sjsdaiuasgdia 5d ago 311 comments

Snorting the AGI with Claude Code (kadekillary.work)

327 points by beigebrucewayne 6d ago 243 comments

Show HN: Canine – A Heroku alternative built on Kubernetes (github.com)

319 points by czhu12 6d ago 123 comments

Guess I'm a rationalist now (scottaaronson.blog)

317 points by nsoonhui 3d ago 1148 comments

OpenAI wins $200M U.S. defense contract (cnbc.com)

317 points by erikrit 5d ago 277 comments

AbsenceBench: Language models can't tell what's missing (arxiv.org)

315 points by JnBrymn 2d ago 82 comments

Compiling LLMs into a MegaKernel: A path to low-latency inference (zhihaojia.medium.com)

309 points by matt_d 3d ago 76 comments

Show HN: Nxtscape – an open-source agentic browser (github.com)

303 points by felarof 2d ago 197 comments

TI to invest $60B to manufacture foundational semiconductors in the U.S. (ti.com)

295 points by TMWNN 3d ago 156 comments

Delta Chat is a decentralized and secure messenger app (delta.chat)

293 points by Bluestein 1d ago 183 comments

Dependent types and program equivalence [pdf] (2010)

1 fanf2 0 6/22/2025, 2:42:03 PM seas.upenn.edu ↗

Comments (0)

No comments yet