Wired
The Pentagon Knew Enemies Could Track Troops’ Phones for Years. Now They Are
The US military has long known that cheap fixes could stop location data from exposing its troops. It adopted almost none—and now says adversaries are using the data to target soldiers during a war.
Dell Cameron
2026-05-29 00:59
👁 8
查看原文 →
HackerNews
ATLAS: Autoformalized Textbook Library At Scale
https://twitter.com/arnal_charles/status/2060009395107377282 , https://xcancel.com/arnal_charles/status/2060009395107377282 Paper: Formalizing Mathematics at Scale - https://arxiv.org/abs/2605.29955
vrm
2026-05-29 00:40
👁 4
查看原文 →
The Verge AI
YouTube takes baby steps to being a real podcast app
New features coming to YouTube could make it better for listening to podcasts, rolling out to Premium subscribers starting today on Android and coming later to iOS. A new "on-the-go mode" shifts YouTube into an audio-first layout, with larger, simplified playback buttons, a still image in place of the video, and a timeline showing video […]
Stevie Bonifield
2026-05-29 00:05
👁 11
查看原文 →
The Verge AI
What’s next for Microsoft’s Surface PCs?
Nearly 10 years ago I reviewed my favorite Surface device. Microsoft hand-delivered its Surface Studio all-in-one PC to me, and I was hooked from the moment I switched it on. It had a beautiful floating touchscreen that you could push all the way down into a drawing board mode, making it unlike anything I had […]
Tom Warren
2026-05-29 00:00
👁 12
查看原文 →
Engadget
Subnautica 2 is a massive hit, so Krafton has to pay that $250 million bonus to devs
Krafton has been trying to weasel out of making paying the Subnautica 2 developer a bonus for a while now.
staff@engadget.com (Lawrence Bonk)
2026-05-28 23:53
👁 6
查看原文 →
Ars Technica
Steam Deck sells out in North America within 24 hours of price hike
Europe, Australia, and Asia can still get it while the getting's good.
Kyle Orland
2026-05-28 23:43
👁 11
查看原文 →
Dev.to
I built a "what is my IP" site because I was tired of the ugly ones
I use "what is my IP" sites maybe once a month. Every time I end up on something covered in ads, calling three different tracking APIs, and showing me results I don't fully understand. So I spent a weekend building whatsmy.fyi. The thing I didn't expect: you don't need an IP geolocation API at all if you're on Cloudflare Workers. Every request comes with a cf object that already has your city, country, ISP, TLS version, HTTP protocol, and RTT. Free. Zero latency. The part I enjoyed most was the WebRTC leak test. It checks whether your browser is exposing your real IP through RTCPeerConnection even when you're on a VPN. I ran it on my own setup. It was leaking. Zero logs. Zero storage. Just your data, shown to you. https://whatsmy.fyi
Koray KÖYLÜ
2026-05-28 23:39
👁 9
查看原文 →
Reddit r/programming
How 2004 RuneScape fit a multiplayer RPG into 56k dial-up
submitted by /u/jkmonger [link] [留言]
/u/jkmonger
2026-05-28 23:00
👁 6
查看原文 →
Reddit r/webdev
Better solution for News API
I recently started using NewsAPI for scraping news articles online but this only works in your localhost, can anyone recommend any free APIs that work in production too (especially when deploying with Vercel)🙏 submitted by /u/Expensive_Bank9080 [link] [留言]
/u/Expensive_Bank9080
2026-05-28 22:49
👁 6
查看原文 →