Welcome to Hacker News

Welcome to the No 1. site for reading really good hacker news. Enjoy our articles.

Posts

Show HN: Apple's SHARP running in the browser via ONNX runtime web

https://github.com/bring-shrubbery/ml-sharp-web

The extended predicative Mahlo universe in Martin-Löf type theory (2023)

https://academic.oup.com/logcom/article/34/6/1032/...

New statue in London, attributed to Banksy, of a suited man, blinded by a flag

https://www.smithsonianmag.com/smart-news/attribut...

Tesla's 4680 battery cells are underperforming and frustrating buyers

https://electrek.co/2026/05/07/tesla-4680-battery-...

Grok Imagine Quality Mode API

https://x.ai/news/grok-imagine-quality-mode

Visualize Any Hugging Face Model

https://hfviewer.com/

GLM-5V-Turbo: Toward a Native Foundation Model for Multimodal Agents

https://arxiv.org/abs/2604.26752

The 'Hidden' Costs of Great Abstractions

https://jdgr.net/the-hidden-costs-of-great-abstrac...

Securing a DoD contractor: Finding a multi-tenant authorization vulnerability

https://www.strix.ai/blog/how-strix-found-zero-aut...

Using “underdrawings” for accurate text and numbers

https://samcollins.blog/underdrawings/

US healthcare marketplaces shared citizenship and race data with ad tech giants

https://techcrunch.com/2026/05/04/us-healthcare-ma...

Collaborative Editing in CodeMirror (2020)

https://marijnhaverbeke.nl/blog/collaborative-edit...

Understanding AI

https://www.theatlantic.com/ideas/2026/05/ai-for-g...

The Visible Zorker: Zork 3

https://eblong.com/infocom/visi/zork3/

America's Math Crisis

https://time.com/article/2026/05/05/america-math-c...

Writers Are Going to Extremes to Prove They Didn't Use AI

https://www.wsj.com/tech/ai/writers-are-going-to-e...

Feds Fine Durham Energy Efficiency Co $722M

https://www.theassemblync.com/news/business/americ...

The Frog for Whom the Bell Tolls

https://sethmlarson.dev/the-frog-for-whom-the-bell...

Kids can bypass some age checks with a drawn-on mustache

https://www.theregister.com/2026/05/04/uk_online_s...

Stop big tech from making users behave in ways they don't want to

https://economist.com/by-invitation/2026/04/29/sto...

Show HN: I made a vertical-pedalling bike with a novel drivetrain [video]

https://www.youtube.com/watch?v=4HLOsi2gWXQ

ADT says customer data stolen in cyber intrusion

https://therecord.media/ADT-data-breach-cyberattac...

Introduction to Atom

https://validator.w3.org/feed/docs/atom.html

Security through obscurity is not bad

https://mobeigi.com/blog/security/security-through...

The Upper Middle Class Trap

https://ofdollarsanddata.com/the-upper-middle-clas...

Taphouse – A Native macOS GUI for Homebrew

https://taphouse.multimodalsolutions.gr/

pgxbackup: Continuity Support for pgBackRest

https://thebuild.com/blog/2026/05/01/pgxbackup-con...

I recreated the Apple Lisa computer inside an FPGA [video]

https://www.youtube.com/watch?v=8jNQDcpHc68

Dav2d

https://code.videolan.org/videolan/dav2d

AWS gives AI agents wallets to pay for APIs and web content

https://aws.amazon.com/blogs/machine-learning/agen...