The Wire
Curated cybersecurity and tech news — AI-summarized, source attributed.
Why Lean Is a Perfectable Language: Dependent Types, Metaprogramming, and Community Gravity
The author argues Lean stands apart because it is perfectable rather than perfect. You can state and prove properties about Lean code inside Lean itself, which
Why most engineering orgs can't justify their teams' cost — and what LLMs change
An eight-engineer team in Western Europe burns roughly €87,000 a month, or €4,000 per working day, yet most engineers and many of their managers can't quote tha
AI Models Exposed as Poor Gamblers in Premier League Betting Study
A benchmarking study called KellyBench, run by London-based startup General Reasoning, pitted eight leading AI systems against the 2023-24 Premier League season
Artemis II Splashdown Success Raises Hard Questions About What's Next
NASA's Artemis II crew returned safely to Earth on Friday after a 700,000-mile lunar flyby, marking humanity's first deep space crewed mission in over 50 years.
ChatGPT voice mode still runs on GPT-4o while Codex gets the frontier models
Simon Willison highlights an underappreciated gap in OpenAI's product surface: the voice mode most casual users interact with reports an April 2024 knowledge cu
Cirrus Labs Acquired by OpenAI, Cirrus CI Shutting Down June 1
Cirrus Labs, the bootstrapped developer tooling company behind the Tart virtualization platform and Cirrus CI, is being acquired by OpenAI. The team will join O
Citizen Lab Exposes Webloc: Ad-Tech Data Repurposed to Track 500M Devices
Citizen Lab researchers have documented how law enforcement agencies tapped a commercial location-intelligence platform called Webloc to surveil roughly 500 mil
Connect 4 Weakly Solved in 150KB With Zero Runtime Search
A new project called WeakC4 presents a fundamentally different approach to solving Connect 4. Rather than brute-forcing the entire game tree - which runs to 14T
Engineer Files Sharp Corners Off MacBook, Encourages Others to Do the Same
A developer physically filed down the sharp aluminum edges of their MacBook, particularly around the notch area, to reduce wrist discomfort during use. The modi
GlassWorm Campaign Deploys Zig-Based Dropper to Compromise Developer IDEs
A newly identified supply-chain attack campaign dubbed GlassWorm is targeting software developers by distributing a malicious dropper written in Zig, a compiled
Have I Been Pwned at 10+: The Quiet Infrastructure Evolution
Troy Hunt reflects on how Have I Been Pwned has grown from a straightforward website with a database of 150 million email addresses into a layered architecture
Have I Been Pwned Overhauls Plans, Adds Passkeys and K-Anonymity Search
Have I Been Pwned is rolling out its biggest feature update in years, restructuring its subscription tiers into Core, Pro, High RPM, and Enterprise plans while