World

Trump Bypasses Congress on Arms and War Authority

The State Department invoked emergency circumstances to fast-track $8.6 billion in arms sales to Middle East allies without congressional review. Separately, Trump told Congress he does not need authorization for the Iran war because the ceasefire means hostilities have “terminated” — a legal argument that alarmed lawmakers on both sides.

Al Jazeera · BBC · Jerusalem Post

The Blockade’s Contradictions

The US threatened shipping companies with sanctions for paying Iran tolls to transit the Hormuz blockade, even as Trump complained his own Navy was acting “like pirates” in enforcing it. Millions of Iranians have lost jobs as “Operation Economic Fury” grinds on through the ceasefire — and clandestine networks are now smuggling Starlink terminals across the border so Iranians can bypass state-controlled internet and “show the real picture” to the outside world. In Yemen, Starlink is fueling a separate digital workforce despite Houthi resistance.

BBC: Shipping sanctions · Al Jazeera: ‘Like pirates’ · Al Jazeera: Jobs lost · BBC: Starlink smuggling · HN

Syria as Oil Corridor; UAE Lifts Air Restrictions

Syria is receiving hundreds of Iraqi oil trucks hauling crude overland as an alternative route to Europe while the Strait of Hormuz remains effectively blocked — substantially reshaping regional energy flows. The UAE lifted all air traffic restrictions imposed since the start of the war, a significant step in the region’s travel recovery.

Al Jazeera: Syria corridor · Al Jazeera: UAE

Spirit Airlines Folds

US budget carrier Spirit Airlines shut down after government bailout talks failed, with Iran war fuel costs cited as a principal driver. Other US airlines agreed to cap ticket prices for stranded passengers. Republicans blamed a Biden-era antitrust block on a JetBlue merger; Democrats pointed to war-driven fuel spikes.

The Guardian · Al Jazeera

NATO’s Eastern Posture Frays

Trump announced the withdrawal of 5,000 US troops from Germany and suggested further cuts — “a lot further.” Germany called the redeployment “anticipated” and a reminder of Europe’s need for defence autonomy; Poland’s prime minister condemned NATO “disintegration.” Senior Republicans Wicker and Rogers broke with the president, warning the move risks undermining deterrence. Separately, NATO has been holding confidential sessions with screenwriters and producers across Europe and the US — a soft-power initiative that drew accusations of propaganda amid the security tensions.

BBC · NPR · The Guardian: NATO troop withdrawal · The Guardian: NATO and filmmakers

Israel Strikes Lebanon Again: Up to 41 Killed

Israeli airstrikes on southern Lebanon killed between 13 and 41 people — including four women and a child — as fighting with Hezbollah continues despite a ceasefire agreement. Al Jazeera reported 50 Israeli airstrikes in a single 24-hour period.

BBC · Al Jazeera

Gaza: ‘Orange Line’ Expands; Spain Demands Flotilla Crew Release

Israel’s expanding “orange line” is deepening movement restrictions across Gaza, raising deadly risks for civilians. Spain demanded Israel release Saif Abukeshek, a flotilla crew member seized during the raid on the Global Sumid Flotilla off the Greek coast.

Al Jazeera: Orange line · Al Jazeera: Spain

Taiwan Reaches Eswatini Despite Chinese Airspace Blockade

Taiwan President Lai Ching-te arrived in Eswatini — Africa’s only remaining Taiwanese ally — after China blocked overflight clearances. Lai met King Mswati III and signed trade agreements; China dismissed the visit as a “stowaway-style escape farce.” Eswatini is the only African nation without tariff-free access to China’s market, a direct consequence of its Taipei ties.

BBC · Al Jazeera · NPR

Mohammadi Hospitalized in Critical Condition

Narges Mohammadi, the jailed Iranian activist and 2023 Nobel Peace Prize laureate, was rushed to hospital after collapsing in prison. Her family says she has had cardiac problems since a heart attack in March.

BBC · NPR

IDF Chief Condemns Soldiers’ Conduct

Israel’s IDF chief publicly condemned a range of misconduct — including the smashing of a Jesus statue and wearing of inciteful insignia — saying military discipline has “eroded” during recent wars. An unusually direct internal criticism from the top of the Israeli military.

Times of Israel

Ukraine

GUR Mole Decimates Chechen Forces in Sumy

Ukraine’s military intelligence recruited a fighter inside a Chechen Akhmat unit who operated a listening device in the command post meeting room from February through April. The intelligence fed directly to Ukrainian strike teams, resulting in 41 Kadyrovites killed, 87 wounded, and the destruction of over 160 armored and motor vehicles, 25+ drones, and multiple EW systems, weapons depots, and fuel stores. One of the war’s most productive human intelligence operations.

ISW · r/ukraine · r/UkrainianConflict

First Net Territorial Loss Since Kursk

ISW’s April 2026 assessment records Russia’s first net loss of territory — 116 sq km — since Ukraine’s August 2024 Kursk incursion. The Russian advance rate has fallen from 9.76 sq km/day (Jan–Apr 2025) to 2.9 this year, driven by Ukrainian counterattacks, mid-range strikes, the February Starlink ban, and the spring rasputitsa. ISW cautions that Russia has historically rebounded in May–June as ground dries, and the shift toward infiltration tactics complicates year-on-year comparisons.

ISW · r/ukraine

268 Drones Overnight; 96% Kill Rate Across April

Russia launched 268 drones and an Iskander-M ballistic missile overnight May 2–3; Ukraine downed 249. Zelenskyy reported 1,600 drones and 1,100 guided bombs in the preceding week. Ukrainian air defenses achieved a 96% drone kill rate across April, pushing the effective cost of each successful Russian strike to roughly $1.6M.

Ukrainska Pravda · r/ukraine · r/UkrainianConflict

Shadow Fleet Burns Near Novorossiysk

Ukrainian forces struck and destroyed two vessels from Russia’s shadow fleet near Novorossiysk; Zelenskyy released confirming video. Sweden separately confiscated a false-flagged Russian shadow fleet ship. Zelenskyy announced Ukraine is building a parallel system to counter Russia’s shadow grain fleet — extending naval pressure on Russian export infrastructure.

Ukrainska Pravda · r/ukraine · r/UkrainianConflict

Zelenskyy Flags Belarus Border; Envoys Still Absent

Zelenskyy reported “peculiar activity” on the Belarus border — the first such public signal in months — and said Ukraine is monitoring everything. Trump’s envoys remain absent from Kyiv with no visit rescheduled, deepening the diplomatic vacuum even as Trump announces further NATO troop withdrawals. (Also covered in World.)

Ukrainska Pravda: Belarus · r/UkrainianConflict · Kyiv Independent: Envoys

1,700 km Strike Confirmed; Fico Shifts on EU Accession

Ukraine confirmed striking a Russian airfield nearly 1,700 km from the front, damaging four fighter jets — continuing the expanding long-range campaign first reported yesterday. On the diplomatic front, Zelenskyy announced that Slovak PM Robert Fico has reversed his position and now supports Ukraine’s EU accession.

Kyiv Independent · European Interest

Tech

Agent Harness Architecture: Outside the Sandbox

A technical argument that the LLM coordination loop should run outside the sandboxed code execution environment, enabling durable execution and external API access. HN discussion surfaces a sharp security concern: if the harness has capabilities the LLM can’t access directly, the LLM will attempt to exploit the boundary — meaning LLM outputs must be treated as untrusted inputs even within the harness.

mendral.com · HN

VS Code Silently Injecting Copilot Attribution into Git Commits

A VS Code PR revealed the editor was automatically adding Co-Authored-By: GitHub Copilot trailers to commits without user opt-in. The backlash was broad: it fits a pattern of AI companies prioritizing adoption metrics over consent, and it directly corrupts git history — a core artifact developers treat as a reliable record.

GitHub PR · HN

NHS Orders All Source Code Repos Private

The UK National Health Service has mandated all publicly available source code repositories go private by May 11, citing AI vulnerability scanners. A former UK government technologist argues this is counterproductive: it contradicts the government’s own open-source standards, won’t improve security (AI can exploit closed-source systems too), and reverses years of progress toward transparent public-sector software.

shkspr.mobi · Lobsters

Two Million Lines of Haskell: Mercury’s Retrospective

Mercury, the US business banking startup, published a detailed account of running 2+ million lines of Haskell in production. The post covers practical realities: the type system’s real-world benefits for financial correctness, GHC compilation time challenges, hiring difficulties, and lessons from scaling a large FP codebase commercially. One of the most substantive public accounts of large-scale Haskell engineering.

Haskell Blog · HN

Kimi K2.6: Open-Weights Pressure on Frontier Pricing

Kimi K2.6, an open-weights Chinese model from Moonshot AI, has shown competitive coding performance against Claude and GPT, though the benchmark (13 problems, single run) lacks statistical rigor. The more substantive signal is economic: users report switching from capped paid plans, and open-weights models are beginning to reshape AI pricing — one commenter drew parallels to Adobe’s pricing collapse when alternatives emerged.

HN · thinkpol.ca

NetHack 5.0.0

The first major version increment for one of the oldest and most influential roguelikes — NetHack has been at 3.x for most of its 36-year history. Engine modernization alongside the deep, punishing gameplay that made it a touchstone for procedural generation and permadeath design.

nethack.org · HN · Lobsters

C3: Unsigned Sizes Were a Five-Year Mistake

The C3 systems language team reflects on their decision to use unsigned integers for sizes (following C convention), now considering it a mistake after five years. The post covers subtle comparison bugs, off-by-one errors, and awkward signed/unsigned arithmetic interaction — a useful case study for language designers weighing numeric type defaults.

C3 Blog · Lobsters

Maryland Bans AI Surveillance Pricing

Maryland passed legislation banning AI systems that dynamically adjust retail grocery prices based on individual customer profiles — inferring willingness to pay from browsing history, location, or other personal data. The first US state to regulate this class of algorithmic pricing, as retailers have increasingly adopted tools from Mastercard and JPMorgan.

NYT · HN

Science & Culture

Neanderthals Ran Fat Factories 125,000 Years Ago

Leiden University researchers found evidence that Neanderthals ran sophisticated fat-extraction operations at a lakeside site in Germany, processing animal bones at scale with deliberate organization — flint tools, hammer stones, and bone concentration patterns showing planned processing rather than opportunistic scavenging. The finding pushes back the timeline for complex cognitive planning and resource management.

Universiteit Leiden · HN