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
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/
No one can force me to have a secure website [pdf]
http://tom7.org/httpv/httpv.pdf
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/
217
297
Stanford report highlights growing disconnect between AI insiders and everyone
https://techcrunch.com/2026/04/13/stanford-report-highlights-growing-disconnect-between-ai-insiders-and-everyone-else/
5 hours ago
208
117
Michigan 'digital age' bills pulled after privacy concerns raised
https://www.thecentersquare.com/michigan/article_7ca4e268-4a68-42fb-9042-f9d8604ebd7f.html
195
182
I went to America's worst national parks so you don't have to
https://substack.com/home/post/p-193626949
176
254
AI could be the end of the digital wave, not the next big thing
https://thenextwavefutures.wordpress.com/2026/04/07/ai-end-digital-wave-technology-innovation-perez/
175
Show HN: I built a social media management tool in 3 weeks with Claude and Codex
https://github.com/brightbeanxyz/brightbean-studio
17 hours ago
141
23
How to make Firefox builds 17% faster
https://blog.farre.se/posts/2026/04/10/caching-webidl-codegen/
8 hours ago
127
121
Claude.ai down
https://status.claude.com/incidents/6jd2m42f8mld
124
They See Your Photos
https://theyseeyourphotos.com/
122
128
Missouri town fires half its city council over data center deal
https://www.politico.com/news/2026/04/13/missouri-city-council-data-center-00867259
114
26
Show HN: Ithihāsas – a character explorer for Hindu epics, built in a few hours
https://www.ithihasas.in
7 hours ago
111
2
Who's Been Impersonating This ProPublica Reporter?
https://www.propublica.org/article/impersonating-propublica-reporter
105
The tech jobs bust is real. Don't blame AI (yet)
https://economist.com/finance-and-economics/2026/04/13/the-tech-jobs-bust-is-real-dont-blame-ai-yet
103
24
(AMD) Build AI Agents That Run Locally
https://amd-gaia.ai/docs
58
Tax Wrapped 2025
https://taxwrapped.com
101
92
State of Homelab 2026
https://mrlokans.work/posts/state-of-homelab-2026/
96
The Looming College-Enrollment Death Spiral
https://www.theatlantic.com/ideas/2026/04/college-enrollment-demographic-cliff/686750/
89
37
B-trees and database indexes (2024)
https://planetscale.com/blog/btrees-and-database-indexes
87
151
The Rational Conclusion of Doomerism Is Violence
https://www.campbellramble.ai/p/the-rational-conclusion
83
88
X Randomly Banning Users for "Inauthentic Behavior"
https://old.reddit.com/r/LinusTechTips/comments/1rsdk7i/anybody_here_talking_about_the_massive/
82
Haunt, the 70s text adventure game, is now playable on a website
https://haunt.madebywindmill.com
23 hours ago
79
36
MEMS Array Chip Can Project Video the Size of a Grain of Sand
https://spectrum.ieee.org/mems-photonics
78
46
New Orleans's Car-Crash Conspiracy
https://www.newyorker.com/magazine/2026/04/20/the-car-crash-conspiracy
75
Initial mainline video capture and camera support for Rockchip RK3588
https://www.collabora.com/news-and-blog/news-and-events/mainline-video-capture-and-camera-support-for-rockchip-rk3588.html
52
Caffeine, cocaine, and painkillers detected in sharks from The Bahamas
https://www.sciencedirect.com/science/article/abs/pii/S0269749126001880
18 hours ago
68
70
Mark Zuckerberg is reportedly building an AI clone to replace him in meetings
https://www.theverge.com/tech/910990/meta-ceo-mark-zuckerberg-ai-clone
67
21
WiiFin – Jellyfin Client for Nintendo Wii
https://github.com/fabienmillet/WiiFin
3 hours ago
69
Programming Used to Be Free
https://purplesyringa.moe/blog/programming-used-to-be-free/
20 hours ago
66
'Yes to fields of wheat, no to fields of iron': how Denmark soured on solar
https://www.theguardian.com/world/2026/mar/20/solar-power-renewable-energy-denmark-backlash-national-elections
9
Visualizing CPU Pipelining (2024)
https://timmastny.com/blog/visualizing-cpu-pipelining/
59
54
The Human Cost of 10x: How AI Is Physically Breaking Senior Engineers
https://techtrenches.dev/p/the-human-cost-of-10x-how-ai-is-physically
4 hours ago
The AI Layoff Trap
https://arxiv.org/abs/2603.20617
'Yes to fields of wheat, no to fields of iron': how Denmark soured on solar