top 10 hacker news stories for today

Lean proved this program was correct; then I found a bug

https://kirancodes.me/posts/log-who-watches-the-watchers.html

2 hours ago

106 upvotes – 58 comments

An 'Intimacy Crisis' Is Driving the Dating Divide

https://www.wired.com/story/justin-garcia-the-intimate-animal-sex-and-relationships/

2 hours ago

15 upvotes – 6 comments

YouTube removes pro-Iran channel producing anti-Trump videos

https://www.middleeasteye.net/news/youtube-removes-iran-linked-channel-producing-anti-trump-animation

1 hour ago

7 upvotes – 1 comments

Tourists to Australia to have social media vetted under Trumpian Coalition

https://www.theguardian.com/australia-news/2026/apr/13/coalition-trumpian-plan-visitors-australia-vetting-social-media-ntwnfb

2 hours ago

7 upvotes – 4 comments

The Internet's Most Powerful Archiving Tool Is in Peril

https://www.wired.com/story/the-internets-most-powerful-archiving-tool-is-in-mortal-peril/

2 hours ago

5 upvotes – 3 comments

No one can force me to have a secure website [pdf]

http://tom7.org/httpv/httpv.pdf

2 hours ago

5 upvotes – 1 comments

All elementary functions from a single binary operator

https://arxiv.org/abs/2603.21852

1 day ago

802 upvotes – 250 comments

Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them

https://anchor.host/someone-bought-30-wordpress-plugins-and-planted-a-backdoor-in-all-of-them/

8 hours ago

723 upvotes – 205 comments

GitHub Stacked PRs

https://github.github.com/gh-stack/

6 hours ago

456 upvotes – 258 comments

Servo is now available on crates.io

https://servo.org/blog/2026/04/13/servo-0.1.0-release/

14 hours ago

429 upvotes – 140 comments
show: top 10 top 20 top 50%
go to date: prev
sort by: date score comments