Ship Seized Near Hormuz; Iran-US Ceasefire Nears Collapse

A vessel described as a “floating armoury” anchored off the UAE was seized by Iranian military personnel near the Strait of Hormuz; a second ship was attacked and sank near Oman. Iran’s foreign minister declared all ships entering the strait must cooperate with the Iranian navy. The escalation comes as ceasefire talks move closer to breakdown than breakthrough: Iran is demanding reparations, lifting of all sanctions, and recognition of authority over Hormuz — demands Trump dismissed as “garbage.” The US is tightening its “Economic Fury” sanctions and enforcing a maritime blockade; Iran’s government estimates food prices are up 150% year-on-year with over a million jobs lost since the war. IATA warned of “inevitable” jet fuel shortages driving airfare increases through 2027.

In Talks with Israel, Lebanon Is Walking a Thin Line

Israel and Lebanon are in their third round of direct talks — unprecedented in the history of the two states — covering borders, Hezbollah’s disarmament, and ongoing Israeli military operations. The US is driving the process and frames it as a path toward comprehensive peace. Israel has proposed three tiered security zones, including a long-term militarized zone contingent on Hezbollah’s dissolution. Lebanon is structurally the weakest party: only 27% of Lebanese Shia support disarming all non-state militias, and key spoilers like Speaker Berri hold effective veto power. The ceasefire nears expiration; Lebanese officials expressed cautious optimism despite Hezbollah’s opposition.

UK Labour in Crisis: Streeting Resigns, Economist Says Starmer Should Go

UK Health Secretary Wes Streeting resigned, plunging Keir Starmer’s government into turmoil and reviving talk of a comeback for Andy Burnham. The Economist simultaneously ran a blunt editorial — “Sir Keir Starmer has failed abjectly. He should go” — arguing Britain is not ungovernable, it simply needs better governance. Separately, Starmer’s government was accused of weakening ECHR protections for torture victims as ministers prepare to change convention interpretations to make deportations of refused asylum seekers easier.

DOJ Drops Adani Charges After He Hired Trump’s Lawyer

The Trump administration’s DOJ is dropping fraud and bribery charges against Gautam Adani — the richest man in Asia, indicted for conspiring to pay $250 million in bribes to Indian officials in a solar energy scheme — after Adani hired Trump’s personal attorney. The decision fits a broader pattern of DOJ withdrawal from politically sensitive prosecutions and was seen as a test of whether the administration would maintain the independence of federal prosecutors in high-profile international cases.

Closing Arguments in Musk vs. OpenAI

A nine-person jury will decide whether OpenAI breached its charitable trust by prioritizing profit over its nonprofit AI safety mission. Musk alleges he was unjustly deprived of the value he contributed as an early funder. The trial has become a defining legal battle over AI governance and the obligations of AI companies to their founding missions.

Kyiv: Twenty-Four Dead, Three Children

Search and rescue operations in Kyiv’s Darnytskyi district concluded with 24 confirmed dead — including three children — and 57 injured. Zelenskyy confirmed the strike used a Kh-101 cruise missile manufactured in Q2 2026, illustrating continued Russian production despite deep strikes on the defence industrial base. Ukraine convened an emergency UN Security Council session in response.

Ryazan and Astrakhan

Overnight drone strikes set fire to the Ryazan oil refinery (480 km inside Russia), causing explosions and disrupting airports across several cities. Separately, Gazprom’s Astrakhan gas processing plant halted fuel production after a drone attack — a new and more distant target type in Ukraine’s deep-strike campaign. Both extend a pattern that already includes the confirmed halt of the Perm refinery from yesterday.

257 Clashes, No Confirmed Gains

257 combat clashes were recorded on May 14–15. Pokrovsk saw the most Russian attacks (39), Kostyantynivka second (28), but no confirmed gains on either axis. Russian advances in Kostyantynivka have stalled at under 1 km per week for over a month, with Ukrainian counterattacks holding infiltration to less than 10% of the city. Ukrainian forces advanced near Zakitne in the Slovyansk direction. Drone operators are increasingly targeting Russian rear logistics; battlefield momentum is broadly assessed as slowing.

West Surges Air Defense and Launches Aggression Tribunal

The UK ordered an immediate air defense boost for Ukraine; Germany agreed to accelerate deployments; and the EU finalized a €6 billion drone procurement package — all in direct response to the mass strikes. The Special Tribunal for Russia’s crime of aggression was launched at the Council of Europe session in Chișinău, with Switzerland joining. Zelenskyy announced Europe is forming an anti-ballistic coalition. In Washington, GOP centrists forced a House floor vote on a major Russian sanctions bill, expected in early June.

Pentagon Cancels Poland Deployment

The US Army abruptly cancelled the deployment of 4,000 soldiers to Poland with no public explanation, raising alarm about American commitment to NATO’s eastern flank. NATO’s secretary general urged all allies to spend 0.25% of GDP annually on military aid to Ukraine. Secretary Rubio called Ukraine the “strongest, most powerful” military in Europe — suggesting Washington views Kyiv as capable of holding its own, potentially rationalizing reduced direct engagement.

Growing Cracks in Putin’s Dictatorship

Michael McFaul argues Russia’s current combination of failures is unprecedented. Confirmed combat deaths range from 216,000 to 325,000 (CSIS), with Ukraine inflicting an estimated 35,000 casualties per month using drones alone. Putin’s approval has dropped to 65–73% — the lowest since 2022 — while only 16% support his party. Russian economists openly discuss an “unholy trinity” of recession, inflation, and budgetary crisis; even Communist leaders warn of a potential 1917-style revolution. Russia’s prison population has fallen by 180,000 since the invasion, reflecting mass mobilization of convicts into military service.

Domestically, the FSB has acquired new powers including authority to shut down internet and mobile networks, and a 4,000-bed detention facility is under construction despite prisons operating below capacity — suggesting preparation for political prisoners. Putin dismissed border governors in Belgorod and Bryansk, replacing them with war veterans through the “Time of Heroes” program; the new Belgorod governor, Major General Shuvayev, commanded units documented executing Ukrainian POWs near Avdiivka. The May 9 Victory Day parade was scaled back dramatically.

Latvia’s PM Resigns Over Stray Drones

Latvia’s prime minister resigned following political fallout from an incident in which Ukrainian drones bound for Russia crashed on Latvian soil — NATO territory. The accident reignited concerns about errant munitions spilling into allied states and triggered a political crisis in Riga.

Linux 0-Day: Unprivileged Users Can Steal SSH Host Keys

A race condition in the kernel’s __ptrace_may_access() allows unprivileged users to steal open file descriptors from dying root-owned processes via pidfd_getfd(2) — the window exists because do_exit() clears the memory struct before closing descriptors. Demonstrated to extract SSH host private keys and read /etc/shadow. Affects all stable kernels prior to a patch Linus Torvalds pushed on May 14.

First Public macOS M5 Kernel Exploit Bypasses Apple’s Hardware Memory Enforcement

Researchers published the first public kernel memory corruption exploit for macOS on Apple M5, bypassing MIE (Memory Integrity Enforcement) — Apple’s ARM MTE-based hardware mitigation that took five years to develop. The exploit chains two vulnerabilities (found April 25, exploited by May 1) to reach root from an unprivileged user using only standard syscalls. The initial bug discovery was AI-assisted (Mythos Preview); human experts handled the MIE bypass.

Bun Rewrites Core in Rust After 2,500 Segfaults

Bun’s Rust rewrite has been merged as a ~1M-line diff. The primary driver was memory safety: over 2,500 GitHub issues mentioned segfaults (compared to ~400 for Node.js). The team cited “compiler-assisted tools for catching & preventing memory bugs” as the key gain after years of painful debugging. The rewrite was at least partly AI-assisted, sparking debate about technical credibility vs. publicity.

UK Government Dumps Palantir, Open-Sources the Result

The UK’s MHCLG terminated Palantir’s contract to run the Homes for Ukraine scheme, replacing it with a civil-service-built system that staff found easier to use. The Palantir contract had bypassed normal procurement via an urgent exemption and struggled with usability problems including duplicated application data. The replacement is saving millions per year and has been published as open source on GitHub.

Mullvad Exit IPs as a Fingerprinting Vector

Mullvad’s IP assignment uses a seed-based RNG that assigns exit IPs at the same proportional position across different server pools — so the same account consistently gets IPs at the same “percentile.” With only ~284 distinct IP combinations observed across thousands of test keys, two accounts can be correlated with >99% accuracy. The likely cause: a misunderstanding of how Rust’s random_range() behaves with varying bounds.

antirez: DwarfStar 4 Brings Local AI to Consumer Hardware

Redis creator antirez’s DwarfStar 4 runs DeepSeek v4 Flash on 96–128 GB RAM setups using asymmetric 2/8-bit quantization, achieving quality he describes as suitable for tasks he’d previously send to Claude or GPT. “AI is too critical to be just a provided service.” Planned additions include a coding agent, model specialization variants, and distributed inference.

Opus 4.7 Spontaneously Leaking System Prompts

Multiple users independently report Opus 4.7 appending its system prompt or injected instructions to responses without being asked — revealing formatting rules, content policies, and behavioral guidelines. At least one pastebin captures what looks like genuine system prompt content. This appears to be a model behavior regression rather than a jailbreak, and is distinct from the System Reminders injection issue (below). No official acknowledgment yet.

Extended Thinking Deprecated for Adaptive Thinking

The budget_tokens approach to extended thinking is deprecated. Opus 4.7 already returns a 400 error; Opus 4.6 and Sonnet 4.6 still accept it but migration is required before a future removal. The replacement: thinking: {type: "adaptive", effort: "high|medium|low"}, which automatically adjusts reasoning depth rather than requiring a fixed token budget. Interleaved thinking is auto-enabled. The parameter change invalidates message cache.

System Reminders: Behavioral Instructions Injected Into the User Turn

A technical analysis documents that Anthropic’s “System Reminders” — behavioral modification instructions injected into long conversations — are placed in the user message position rather than the system prompt. This causes Claude to attribute them as user-written text, even when they originate from Anthropic. The reminders contain a directive not to reference their existence. The author argues user-turn placement was deliberate, not a technical constraint, and characterizes it as a successor to the discontinued Long Conversation Reminder.

Rust Compiler Bans LLM-Generated Code

A merged PR to rust-lang/rust-forge establishes an official policy: LLM-generated code, documentation, and comments are prohibited in Rust compiler contributions. Using LLMs for Q&A and bug discovery is permitted, but “originally authored” LLM content is banned except when explicitly solicited by a reviewer. Three cited concerns: reader discomfort with AI prose, proliferation of low-effort PRs, and inconsistent moderation standards.

arXiv Issues 1-Year Bans for Hallucinated References

arXiv moderators will issue 1-year submission bans for papers containing incontrovertible evidence of unchecked LLM output: hallucinated references, unedited meta-commentary (e.g. “would you like me to make any changes?”), or placeholder text. Post-ban, further submissions must first pass peer review at a reputable venue. The policy distinguishes responsible AI use from unverified output — one of the first concrete institutional penalties targeting AI-generated scientific misconduct.

Agentic API Usage Gets Its Own Billing Tier

Starting June 15, Agent SDK and claude -p programmatic usage will draw from separate monthly credits: $200/mo for Max 20x, $100/mo for Max 5x, $20/mo for Pro. Once exhausted, programmatic usage stops unless extra-usage billing is opted in at API rates. Interactive sessions remain unaffected. The change formalizes what Anthropic has been hinting at — subscription tiers were designed for interactive use, not 24/7 agentic loops. Separately, a temporary 50% usage limit increase has been applied for all Claude Code tiers through July 13.

MDC002: The Drug That Targets the β2-AR → PEM Mechanism

The Wirth-Scheibenbogen group’s Mitodicure startup received a major Sick Times feature covering their pre-clinical drug MDC002. The hypothesis: β2-adrenergic receptor autoantibodies block β2-AR on cell membranes → impaired stimulation of the Na⁺/K⁺-ATPase pump → intracellular sodium-calcium overload → mitochondrial dysfunction → PEM. MDC002 is an orally applicable small molecule that directly stimulates Na⁺/K⁺-ATPase and the mitochondrial sodium-calcium exchanger (NCLX) in skeletal muscle, bypassing the upstream β2-AR blockade entirely.

Three patents filed. Currently awaiting private capital to fund GLP toxicology studies — no Phase 1 trial date set. The German €500M research decade commitment has not been enough to prevent funding delays. The same β2-AR pathway is also proposed to explain small fiber neuropathy in ME/CFS.