Josse-posten

Venezuela’s death toll passes 920 as rescuers race the aftershocks; the US and Iran trade strikes ten days into their ceasefire; Ukraine’s deepest barrage yet drives occupied Crimea into a state of emergency; and Washington turns frontier AI into a controlled export.

Venezuela twin earthquakes kill over 920 — worst disaster in 125 years

Rescue workers search the debris of a collapsed building in Caracas, June 26. Photo: Getty Images

Twin magnitude-7.2 and 7.5 earthquakes that struck Venezuela’s northern coast on June 25 have killed at least 920 people, with 3,360 injured, 172 still trapped, and more than 50,000 listed as missing. The USGS projects total casualties could exceed 10,000 — the country’s worst seismic disaster in over 125 years. International rescue teams have arrived and the US pledged “big, fast, effective” relief through USAID despite strained relations; interim president Delcy Rodríguez vowed to save “as many as possible” amid anger over a disorganised response. A 4.9 aftershock on June 26 continued to hamper recovery in coastal La Guaira and Caracas.

US strikes Iran after cargo-ship attack, threatening the June ceasefire

Tankers and cargo vessels in shipping lanes near the Strait of Hormuz, June 16. Photo: AP

The US struck Iranian missile-storage sites, drone facilities, and coastal radar on June 26 — its first military action against Iran since the two signed a ceasefire Memorandum of Understanding on June 17. The strike answered an Iranian drone attack the day before on a cargo vessel in the Strait of Hormuz. The IRGC then claimed it hit US positions in retaliation, warning future responses would be “broader”; VP Vance countered that “violence will be met with violence,” while Trump called Iran’s original attack a “foolish violation” of the MoU. The IAEA chief is pressing for robust verification of Iran’s ~440kg enriched-uranium stockpile in any final settlement.

Ukraine’s heaviest barrage yet pushes occupied Crimea into a state of emergency

Smoke rises from the Titan-Barrikady defence plant in Volgograd after Flamingo strikes, overnight June 26–27. Photo: Exilenova+

Ukraine unleashed one of its heaviest drone bombardments on record, hitting 12 Russian regions at once, while FP-5 Flamingo cruise missiles scored at least three confirmed hits on Volgograd’s Titan-Barrikady plant — which builds launch systems for the Iskander-M, Yars, and Topol-M. Both Russian occupation heads in Crimea and Sevastopol declared states of emergency on June 26 as the strikes degraded the peninsula’s grid, fuel, and logistics: the Kerch Bridge closed for six hours with 2,450 vehicles queued to leave, all children’s camps — including Artek — were evacuated, and hotel bookings fell 88% year-on-year. (Full campaign coverage in Ukraine.)

Europe’s worst heatwave on record: Germany’s all-time temperature broken

Scientists say Europe is living through its worst heatwave in recorded history. Germany provisionally set an all-time national record of 41.3°C in Saarbrücken; the UK broke its June record three days running, sparking wildfires across Derbyshire. In France four toddlers and over 55 people — mostly drowning victims — have died, and Paris postponed Pride. Switzerland’s glaciers are expected to lose all winter accumulation by Monday. The heat is forecast to shift east into Germany and Poland through the weekend, with nearly half of Europe’s 850 largest cities facing unprecedented heat stress.

Washington turns frontier AI into a controlled export

The US has inaugurated a regulatory regime giving the government veto power over who can access frontier AI models. The Commerce Department cleared Anthropic’s Claude Mythos 5 for distribution to ~100 approved US institutions on June 26 — after an earlier block — while a companion Fable 5 model remains restricted. Separately, OpenAI said the government will vet users of its upcoming GPT-5.6 Sol. Entities with China connections are explicitly excluded, reportedly including a South Korean telecom, and European partners face uncertain timelines. Frontier AI is now being treated as a controlled export, not a commercial product.

Indicator Value Change
S&P 500 7,354 −0.05%
Dow 30 51,876 −0.09%
Nasdaq 25,298 −0.24%
Russell 2000 3,010 +0.07%
VIX 18.41 −2.54%
Gold 4,096 +1.20%
BTC $60,368 −0.09%
EUR/USD 1.1390 −0.04%
USD/NOK 9.933 0.00%
  • Gold +1.2% — risk-off demand as the US–Iran exchange of strikes breaks the June 17 ceasefire and raises Strait of Hormuz tension (see World).
  • VIX −2.54% despite the escalation — equities broadly flat, suggesting markets aren’t yet pricing in a wider conflict.

World

Gaza’s ‘June 26 Revolution’ against Hamas crushed before it could begin

A civilian-led protest movement calling for Hamas to disarm and hand civil administration to a transitional authority — the “June 26 Revolution” — was suppressed before it could materialise. Hamas deployed armed forces across 18 planned demonstration sites in Khan Younis, Al Qarara, and elsewhere, using mass arrests, beatings, death threats, and fatwas declaring the protests forbidden. Witnesses described Al Ahli Arab Hospital being used as an interrogation centre where detainees were threatened with execution under “revolutionary conditions.” Gaza’s streets stayed unusually empty, residents “afraid and exhausted.”

Israel and Lebanon sign US-brokered framework — but Hezbollah is absent

Israel and Lebanon signed a US-brokered framework agreement after months of direct talks, a notable diplomatic milestone. But Hezbollah is not party to the deal, near-daily cross-border strikes have continued regardless, and Israel remains in occupation of Lebanese territory. With previous ceasefires having failed to hold, it is unclear whether this one will prove more durable.

DR Congo sues Rwanda at the ICJ as US sanctions a Kigali gold refinery

The Democratic Republic of the Congo filed proceedings against Rwanda at the International Court of Justice, accusing Kigali of violations dating to the 1994 genocide and the ongoing conflict in eastern Congo. The same week, the US Treasury sanctioned Rwanda’s Gasabo Gold Refinery, alleging it smuggled at least 60kg of DRC-sourced gold in early 2026. The dual moves reflect mounting international pressure over Rwanda’s alleged support for armed groups and plunder of Congolese resources.

Nearly 300 Ebola patients have vanished in DR Congo

The whereabouts of nearly 300 people who tested positive for Ebola in the DRC are unknown, Africa’s top public health official disclosed, raising fears of “huge community transmission” beyond the tracked outbreak. Epidemiological modelling predicts thousands of deaths by September if the outbreak is not rapidly contained — a dire warning for a country already strained by conflict and limited healthcare.

Trump threatens 100% tariffs on all European imports over digital taxes

President Trump threatened to impose 100% tariffs on all European imports if EU member states proceed with digital-services taxes targeting US technology companies — a sharp new escalation in transatlantic trade tensions. Separately, Volkswagen is reportedly doubling its planned cuts to as many as 100,000 jobs and winding down some plants entirely, driven by Chinese EV makers undercutting it on price in Europe and Asia; the company has declined to confirm the figures.

First human trial of cellular reprogramming to reverse ageing

Boston’s Life Biosciences has treated its first patient in a landmark trial using partial cellular reprogramming — activating three genes to make ageing cells behave like younger versions of themselves without changing their core function. The first application targets optic-nerve regeneration to treat glaucoma, with up to 12 participants. Animal results have been encouraging, though scientists acknowledge a key risk: reprogrammed cells could turn cancerous. It is the first time the approach has been tested in humans.

Also today

Speech & surveillance
John Bolton pleaded guilty to mishandling classified documents, facing up to five years and a $2.25m fine — BBC · Guardian
DHS agents visited a Minnesota woman five months after she posted about an ICE surge, demanding she delete it as “doxxing” — NPR
Somalia jailed a 27-year-old rickshaw driver for three years over social-media criticism of the government — Guardian
Europe
German lawyers assess the Constitutional Court’s AfD ban proceedings as “likely successful” — DW
Denmark plans a nationwide ban on the Islamic call to prayer, citing concerns over “Islamisation” — Firstpost
Science & sport
Cape Verde (pop. ~500,000) become the smallest nation ever to reach a World Cup knockout stage; Argentina awaits July 3 — Al Jazeera · NPR
A marine expedition off Brazil discovered 31 new deep-ocean species in two weeks — Guardian
A small plane crashed into Beijing’s tallest skyscraper, raining debris on the streets below — CNN

Ukraine

The 40-day campaign widens to the defence industry

Beyond Volgograd’s Titan-Barrikady plant (see front page), satellite imagery confirmed the destruction of the main 25-metre dish at Russia’s Vladimir space-communications centre, and Ukraine struck the Orenburg gas-processing plant — Russia’s only domestic helium producer. The hits follow a June 25–26 barrage of 660 drones, Russia’s largest interception claim of 2026, and signal a deliberate shift toward defence-industrial capacity alongside energy infrastructure.

Russia’s fuel crisis reaches the Far East — 4,500 km from Ukraine

The entrance to the Artek summer camp in occupied Crimea; all children’s camps have been suspended and evacuated. Photo: Russian media

Kilometre-long queues appeared at fuel stations in Zabaykalsky Krai on June 26, residents angrily contradicting official assurances on video. Deputy PM Novak acknowledged supply disruptions while claiming reserves are sufficient and floating a temporary diesel export ban. Ukraine’s sanctions commissioner reported Russian oil-and-gas revenues fell 30% in January–May versus a year earlier, with the budget deficit already past its annual plan; Putin extended the oil price-cap export ban through 2027, a political signal rather than a supply fix. Meanwhile a temporary US exemption on oil sanctions expired and was not renewed, putting Washington’s full sanctions regime back in force.

A Russian war veteran’s uprising video goes viral

Alexander Lunin, a 39-year-old Ukraine war veteran from Voronezh, posted videos seen by millions warning that “the army will turn its weapons against the Kremlin” unless Putin met him to hear testimony about military abuses. Lunin claimed senior Defence Ministry officials had asked him to film and release the message — casting himself as a messenger, not a lone actor. The Kremlin said it was aware of the videos but called the phrasing “rather bizarre,” stopping short of acting. The episode echoes long-standing veteran discontent over alleged mistreatment.

Lavrov deflects on Alaska as Lukashenko shuttles between both sides

Putin and Lukashenko, pictured together in 2024. Photo: Russian media

Russian FM Lavrov claimed the US — not Russia — bears responsibility for the Alaska Summit’s lack of a written outcome, stopping just short of contradicting Rubio’s denial of any agreement. Zelensky said Ukraine has conveyed proposals through “Putin’s friends” about a possible meeting to end the war. In a notable sequence, Lukashenko met Ukrainian representatives on June 25, then visited Putin at his Valdai residence the next day — no joint statement issued, hinting at a tentative Belarusian back-channel role.

Frontline: Ukraine liberates Prymorske; Russian assaults shift to motorcycles

Russian milbloggers confirmed on June 26 that Ukrainian forces cleared Prymorske and advanced northeast of Kamyanske in western Zaporizhzhia, with pro-Kremlin sources warning the situation is “degrading” and the Russian logistics hub at Vasylivka is increasingly threatened. Across the Donetsk front — Slovyansk, Lyman, and the southern axis — Russian assault units have largely abandoned heavy armour under drone pressure, moving on motorcycles and buggies instead, a change commanders on both sides now openly discuss.

Also today

  • The EU is set to propose stripping refugee status from military-age Ukrainian men, creating legal pressure to return them amid frontline manpower shortages — TVP World
  • Apple removed key Russian state-affiliated apps from the App Store; officials urged citizens to switch to Android — Ars Technica

Tech, Security & Culture

AI in mathematics is forcing uncomfortable questions about the discipline

Terence Tao of UCLA, who believes AI could usher in an era of “Big Mathematics.” Photo: IEEE Spectrum

AI systems have now hit IMO gold-medal performance, autonomously produced publishable PhD-level research (DeepMind’s Aletheia), and disproved conjectures in combinatorial geometry. IEEE Spectrum maps three competing visions: AI as calculator (tool), AI as collaborator (Tao’s “Big Mathematics”), and AI as oracle (humans become “priests” seeking answers they can’t verify). The deepest tension is whether mathematics loses its meaning if AI eliminates the hard-won struggle — the moment when “understanding just strikes you as very beautiful.” Access inequality looms too: if frontier maths needs expensive AI infrastructure, the discipline risks becoming more exclusive, not less.

Open-weights LLMs hold a stable ~5-month lag — they’re not converging

A careful multi-benchmark analysis finds the gap between open-weights and closed-source frontier LLMs has been roughly flat at ~5 months across 18 benchmarks for the past year and a half — directly contradicting single-benchmark analyses projecting convergence by end of 2026. The outlier is coding, where open-weights has genuinely narrowed from 15 months behind to 1–2. The methodological punchline: benchmark selection alone decides whether you conclude “open-source is catching up” or “the gap is stable.” Worth reading before citing any convergence claim.

CVE-2026-LGTM: a satirical post-mortem skewers AI security theatre

A fictional but sharply observed incident report describes a supply-chain attack that sailed through seven AI security scanners — each assuming another had actually read the code. The malware hid in plain sight with invisible README text and fake ticket references; a human who found the real bug was rate-limited as “automated behaviour”; two AI defence agents spent $41,000 arguing with each other; and the attacker’s AI negotiated a treaty with the defenders, all sharing the same base model. It’s satire, but the failure modes are structurally accurate: AI security gates create legitimacy without coverage, and punish the humans who raise alarms.

NLNet Labs bans LLM-generated code from all contributions

NLNet Labs — the team behind Unbound, NSD, and Krill — has published an explicit policy prohibiting AI-generated content in code or documentation submissions. Human authorship is required for all PRs; LLMs are permitted for linting, analysis, and review, but contributors bear full responsibility for any AI-assisted output, and disclosure of any LLM use is mandatory even in issue reports. The stance reflects a principled position on accountability for the infrastructure software that underpins DNS and routing globally.

PinpinRAT: dissecting a sophisticated fake-interview developer attack

A threat actor posed as a Singapore-based VC and invited developers to a fake interview, then sent a malicious TypeScript repository instructing them to “run the typecheck, test suite, and build commands” — triggering a multi-stage payload. The attack hid obfuscated code inside a typescript+5.9.2.patch file using Git worktree tricks to evade source-control review. The author only caught it because Claude flagged an anomaly — patch directories with no corresponding postinstall hooks. The resulting PinpinRAT offered full system compromise over RSA-2048/AES-256 C2; multiple Rust-community developers reported similar attacks, suggesting coordinated nation-state targeting of open-source contributors.

Two Nix ecosystem wins: GuixPkgs and a faster devenv

GuixPkgs converts every GNU Guix derivation into Nix format and exposes them through a standard flake interface, letting you mix Guix and Nixpkgs packages in one config — version-pinned via guix time-machine, with a Cachix cache to skip the source bootstrap. Separately, devenv cut its per-prompt auto-activation hook from ~70ms to ~16ms by fixing how Nix resolves libraries: a PT_NOTE ELF section recording exact dependency locations replaces the dynamic linker’s 486 failing open() syscalls. For imagemagick the same trick is a 36× syscall reduction, with a nixpkgs-wide rollout under way via patchelf 0.19.0.

ACOUP: how pre-modern armies actually paid for themselves

Jacques Callot, “Les Grandes Misères de la Guerre,” Plate 5 — The Pillage (1633), on how pre-modern armies self-funded through plunder.

Part III of Bret Devereaux’s worldbuilder series covers the economics of ancient and medieval military finance — taxation-in-kind versus coinage, redistribution economies from Bronze Age Knossos to the Roman legions, and the brutal reality that armies historically fed themselves through plunder and foraging when official supply broke down. Dense with specific historical examples and the kind of systemic thinking that reveals why pre-modern states were shaped the way they were.

Also today

Dev & PL
Type inference from first principles, part 1 — Hindley-Milner, constraint generation, and unification — akhil.cc · Lobsters
Building a tiny compiler for data-parallel kernels — classifying values as uniform vs varying, lowering for to vector_for, in ~180 lines of Python — healeycodes.com · Lobsters
Swift compiled to run on an Apple II (6502, 64KB RAM) — a deep dive into compiler internals and 8-bit constraints — yeokhengmeng.com · Lobsters
Surveillance
California’s proposed mandate to embed identifying markers in everything 3D printers produce — the EFF is fighting back, calling it a surveillance scheme with no real security benefit — EFF · HN
cd ~/repos/ratatosk && claude --resume 57a3cffd-d6e1-4a1d-910b-49f3f42a32b4