Welcome to Tech Beat, your daily read on the stories shaping the technology world.
Bitcoin has erased all of its gains from May, slipping below seventy-seven thousand dollars despite Strategy completing a mammoth two billion dollar purchase just last week. That kind of institutional buying used to move markets, but sentiment in crypto right now appears largely unmoved.
Shifting to security, the TanStack project is weighing a significant departure from open-source tradition after a supply chain attack last week introduced malware known as the Shai-Hulud worm, which can pull secrets from GitHub Actions memory. The team is now considering invitation-only pull requests β a trade-off that pits security directly against the openness that defines the open-source ethos.
And Ethereum co-founder Vitalik Buterin is making the case that AI-assisted formal verification could become one of the most consequential cybersecurity tools of our time. The idea is that AI doesn't just find bugs β it can mathematically prove code behaves as intended. Whether that promise holds up in practice remains the real question.
Keep surfing. Tech Beat out.["https://matiasseidler.substack.com/p/on-reading-iain-m-banks","https://willhackett.com/agent-token-consumption/","https://www.ragdebugger.com/","https://www.coindesk.com/markets/2026/05/18/live-markets-crypto-adds-to-last-week-s-declines-with-bitcoin-slipping-below-usd77-000","https://www.coindesk.com/tech/2026/05/18/vitalik-buterin-says-ai-formal-verification-could-actually-make-crypto-much-more-secure","https://www.theregister.com/security/2026/05/18/tanstack-weighs-invitation-only-pull-requests-after-supply-chain-attack/5241899","https://www.nytimes.com/2026/05/18/world/americas/actually-democracy-dies-in-hr.html","https://www.engadget.com/2174163/linkedin-doesnt-want-your-ai-slop-anymore/"]πΊ Tech Beat Β· 3 PM Update Β· player loadingβ¦