110
60
Lean proved this program was correct; then I found a bug
https://kirancodes.me/posts/log-who-watches-the-watchers.html
2 hours ago
15
6
An 'Intimacy Crisis' Is Driving the Dating Divide
https://www.wired.com/story/justin-garcia-the-intimate-animal-sex-and-relationships/
7
4
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
1
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
5
No one can force me to have a secure website [pdf]
http://tom7.org/httpv/httpv.pdf
3
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/
803
250
All elementary functions from a single binary operator
https://arxiv.org/abs/2603.21852
1 day ago
730
205
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/
9 hours ago
461
258
GitHub Stacked PRs
https://github.github.com/gh-stack/
6 hours ago
429
140
Servo is now available on crates.io
https://servo.org/blog/2026/04/13/servo-0.1.0-release/
14 hours ago
403
356
Apple's accidental moat: How the "AI Loser" may end up winning
https://adlrocha.substack.com/p/adlrocha-how-the-ai-loser-may-end
391
259
The Economics of Software Teams: Why Most Engineering Orgs Are Flying Blind
https://www.viktorcessan.com/the-economics-of-software-teams/
21 hours ago
365
179
Nothing Ever Happens: Polymarket bot that always buys No on non-sports markets
https://github.com/sterlingcrispin/nothing-ever-happens
11 hours ago
333
246
Microsoft isn't removing Copilot from Windows 11, it's just renaming it
https://www.neowin.net/opinions/microsoft-isnt-removing-copilot-from-windows-11-its-just-renaming-it/
13 hours ago
322
204
Make Tmux Pretty and Usable
https://hamvocke.com/blog/a-guide-to-customizing-your-tmux-conf/
12 hours ago
313
231
US appeals court declares 158-year-old home distilling ban unconstitutional
https://nypost.com/2026/04/11/us-news/us-appeals-court-declares-158-year-old-home-distilling-ban-unconstitutional/
305
278
Android now stops you sharing your location in photos
https://shkspr.mobi/blog/2026/04/android-now-stops-you-sharing-your-location-in-photos/
15 hours ago
285
170
We May Be Living Through the Most Consequential Hundred Days in Cyber History
https://ringmast4r.substack.com/p/we-may-be-living-through-the-most
282
156
The Future of Everything Is Lies, I Guess: Safety
https://aphyr.com/posts/417-the-future-of-everything-is-lies-i-guess-safety
10 hours ago
265
84
Building a CLI for All of Cloudflare
https://blog.cloudflare.com/cf-cli-local-explorer/
Microsoft isn't removing Copilot from Windows 11, it's just renaming it