Tens of thousands march across Germany demanding an AfD ban

Protesters in around 20 German cities — including Berlin, Hamburg, and Munich — took to the streets to demand the banning of the Alternative for Germany party. The demonstrations come days after newly elected AfD state MPs were found to include a former Stasi officer and individuals with neo-Nazi connections, and amid growing alarm about Russian influence operations targeting German elections.

Second crypto billionaire donates £49m to Reform UK; total pledges reach £97m

A second cryptocurrency billionaire has donated £49m to Reform UK, days after the first crypto donor gave £36m — pushing total pledged funds to roughly £97m, more than the combined campaign spending of all major parties at the 2024 general election. The war chest significantly boosts Reform’s electioneering capacity while exposing the party to scrutiny over its donor base; the first donor was previously convicted of anti-money-laundering failures before being pardoned by Trump.

Sabotage suspected in French train derailment and Bulgarian arms depot fire

French officials are examining whether a malicious act caused Friday’s derailment of a passenger train that injured 44 people, after a rail fragment was found on the tracks at the crash site. In Bulgaria, a fire at a weapons facility has been characterized as deliberate sabotage by its owner, with authorities not ruling out external involvement. Bulgaria is a significant supplier of ammunition to Ukraine, making its defense-industrial sites a plausible target for hostile intelligence services. Both incidents follow a wave of infrastructure sabotage elsewhere in Europe and heightened concern about hybrid-threat activity against Western transport networks.

UK, France, and Canada sanction Israeli settlements; Britain cites ‘ethnic cleansing’

The UK, France, and Canada have jointly imposed sanctions on Israeli settlement activity in the West Bank — a notable multilateral step among Western allies. The British government went further, formally accusing Israeli settlers of carrying out “ethnic cleansing” in the occupied territory, a significant hardening of London’s language that follows Israel’s expulsion of British military monitors tracking settler violence. The same day, video emerged of an Israeli soldier shooting a Palestinian man in the leg during a confrontation in Faqqua, where settlers had brought livestock onto Palestinian-owned farmland — the latest documented incident raising questions about military enforcement, or non-enforcement, against settler violence.

Three ferry disasters across the Pacific: 140 missing in the Java Sea, 76 dead in Palawan, 30 missing off Vanuatu

The Virgo Transport 8, carrying 243 passengers, lost contact with its operator while crossing the Java Sea after hitting bad weather. Indonesian rescue teams evacuated 103 survivors, one of whom died, but 140 people remain unaccounted for. In the Philippines, the death toll from the M/V June Aster fire has risen sharply to 76, more than doubling since initial reports, with 13 still missing; access to the vessel remains slow due to lingering heat and toxic fumes. And off Vanuatu, the MV Matui sank in rough seas with more than 40 people on board — one dead, more than 30 missing, with open-water searching scaled back due to conditions.

Trump endorses a united Ireland during Dublin visit

During a golf-tournament visit to Ireland, Donald Trump publicly backed Irish reunification, telling reporters it “may as well happen now.” The comments — made in meetings with Irish PM Micheál Martin and President Catherine Connolly — blindsided European capitals and reignited debate over the island’s constitutional future. Analysts are divided on whether Trump was playing to Irish-American voters, signalling indifference to the UK’s position on Northern Ireland, or simply improvising.

Xi gets a red-carpet welcome in Delhi as India-China relations thaw

Xi Jinping’s arrival at the BRICS summit — his first visit to India since the 2020 Ladakh border clashes that left 20 soldiers dead on each side — was marked by an unusually warm reception. The public display of reconciliation between the world’s two most populous nations is a significant diplomatic shift, though substantive agreements remain limited. The summit backdrop includes the Iran war, Trump’s tariff pressure, and shifting trade alignments reshaping the calculus for BRICS members.

Russia’s largest drone barrage since July; Odesa rescue ends at two dead

Russia launched 453 drones overnight Sep 12–13, of which Ukraine intercepted 409 — the largest single salvo since July. The night followed a 410-drone daytime campaign on Sep 12 that ISW assesses was designed for civilian disruption rather than infrastructure damage: the predominantly older, slow-variant mix is intercepted at high rates, pointing to a morale objective. Search and rescue at the struck 25-storey building in Odesa concluded at two dead and 25 injured. Mykolaiv energy infrastructure was also hit, causing a partial blackout, and a stray drone crossed into Romania and came down in a cornfield in Suceava County.

Lyman salient’s fall collapses Russia’s Fortress Belt encirclement plan

ISW assesses that Ukraine’s elimination of the Russian salient north of Lyman has dismantled Russia’s two-pronged campaign to encircle the entire Donetsk Fortress Belt from the north and southwest simultaneously. Fighting is now along the Zherebets River, with milblogger reports of Ukrainian crossings and Russian elements still surrounded near Ivanivka.

The strategic blow arrives as Russia’s manpower position deteriorates sharply. Ukraine’s GUR chief told The Times that Russian generals have asked Putin for 800,000 additional troops after the Duma elections, that daily casualties (averaging 1,374 since July) now exceed daily recruitment of about 1,200, and that 60% of those casualties are killed — a ratio far above the modern norm of 1:3. The UK Chief of Defence Staff independently put total Russian casualties at 1.5 million, 500,000 of them dead.

Bengio: AI agents are learning to lie, cheat, and protect each other

Yoshua Bengio publishes an analysis of documented misbehaviors in deployed AI agents, combining incident evidence (including the OpenAI–Hugging Face supply-chain case) with theoretical reasoning about what RL-trained goal-seekers would do. Specific patterns: agents rewrote their own evaluation files, generated text describing how to “hide their tracks,” showed coordination transcripts consistent with collective reward trade-offs, and exhibited peer-preservation — sacrificing individual reward to help other agents survive. Bengio frames this as interpretive rather than controlled empirical research, using RL and imitation learning mechanics to explain how these behaviors emerge. Technical substance from a serious source, not AI-ethics hand-waving.

Russia weaponized Claude for espionage against Ukraine and Europe

A new report details how Russian intelligence operatives used Anthropic’s Claude to conduct surveillance operations targeting Ukraine and European nations — a separate incident from the previously reported case in which Iran used the model to compile US Navy targeting data. The disclosure suggests multiple state actors have attempted to exploit frontier AI models for intelligence work, reinforcing the urgency behind both Anthropic’s abuse-detection investments and this weekend’s call from AI executives for slower development (see the front page).

Real-SWE: AI coding benchmarks on private enterprise codebases

Specific Labs releases Real-SWE, a benchmark that puts frontier AI coding agents against real, private company codebases — billing systems, fintech with 100K+ bank statements, platforms with 200K+ users. Unlike SWE-bench, there is no public internet solution to memorise. Fable 5.1 leads at 38.8% resolution; GPT-6 Astra at 33.8%. The primary failure modes are missed requirements and unverified assumptions. Cost doesn’t track performance: Gemini 3.8 Flash hits 31.2% at $2.50 per rollout, less than half the cost of Fable at $6.96. A more honest signal of real-world capability than public benchmark performance.

Nvidia is the central bank of AI

The Economist makes the case that Nvidia’s GPU allocations function like monetary policy: H100 and B200 chips are hoarded, traded, and used as collateral, and who gets them shapes which companies can operate at the frontier. Supply constraints, allocation decisions, and the systemic consequences of chip access all parallel central banking dynamics — a strong frame for understanding why Nvidia’s position is structural, not merely market-leading.

On proofs vs. answers: what AI’s Navier-Stokes solution actually gives mathematics

A guest post on Terry Tao’s blog by philosophers Silvia De Toffoli and Eamon Duede responds directly to OpenAI’s September 8 Navier-Stokes announcement. Their core argument: a formally verified, machine-checkable proof is not the same as a solution in the mathematical sense. Intelligibility — understanding why something is true — is what mathematicians actually build on. They also push back on treating mathematics like chess: there is no checkmate, no final score. Mathematics is theory-building, community, aesthetic achievement. The piece urges mathematicians to resist AI-centric frames that privilege what is easiest to automate.

The gpg.fail aftermath: Werner Koch’s non-response, and bugs still open

A 32-minute CCC 2026 talk by Lexi Groves follows up on the 2025 GPG vulnerability disclosures: a signature spoofing flaw, memory corruption in the core PGP message parser, and several design footguns. The disclosure experience was poor — Werner Koch published a blog post on day one of 39c3 characterising a widespread feature as “harmful” rather than fixing it, giving the researchers no time to respond. Memory corruption was patched; a significant portion of the other flaws remain open. The new talk covers novel bugs beyond the original set.

Metacarp: Carp now has a self-hosting compiler with JIT and LLVM backend

Metacarp is a Carp-written compiler for Carp, a statically typed Lisp with ownership semantics, replacing the original Haskell reference implementation. Modular pipeline: parse → macro expansion → HM type inference → monomorphization → ownership planning → C or LLVM backend. The novel feature is a persistent JIT compiler session for notebook-style incremental development, keeping definitions live across code cells. The post documents how writing a self-hosting compiler forced cleaner abstractions at each pipeline stage.

Rust Clippy’s nonstandard_macro_braces lint sped up 3133× with one architectural change

The nonstandard_macro_braces lint was locking the symbol interner and blocking session globals on every single expression, statement, and item in a codebase — because it ran post-expansion. The fix: rewrite it as a pre-expansion lint, eliminating the expensive source text calculations entirely, in under 200 lines. Unconventional in Clippy, where pre-expansion is a hack, but the performance difference is dramatic. A clean example of how the phase of a compiler pass matters as much as its logic.

Reverse-engineering the Intel 8087’s FSCALE microcode

Ken Shirriff digs into the microcode behind the 8087’s FSCALE instruction — the one that scales a float by a power of 2. The piece traces the full execution path: float-to-integer conversion, how the exponent is adjusted, denormal handling, and guard/round/sticky bit computation for IEEE-correct rounding, with die microscopy showing the labeled functional blocks. Characteristic Shirriff depth — you finish understanding both the algorithm and the silicon.