Gemini 4 Argon arrives with 1M output tokens and SOTA benchmarks; EDG's legendary C++ front-end goes open source; AI agent sandboxes found vulnerable to cross-agent prompt injection

Engineering

Edison Design Group

EDG's Open Source Transition

EDG open sources its C++ front-end compiler on September 30, 2026, with The C++ Alliance as the nonprofit steward. Users access the source code on GitHub and can contribute bug fixes and features through pull requests. The engine and standards compliance remain the same, with professional maintenance and the same development rigor.

Hillel Wayne

What TLA+ can and can't check

TLA+ is a formal verification tool that can verify invariants and safety properties. However, TLA+ cannot express reachability properties, hyperproperties, or multi-step properties. The article warns that enthusiasm about formal methods may overstate what TLA+ can solve.

Simon Willison

Matthew Green on AI agent sandbox security

Cryptography researcher Matthew Green argues that isolated AI agents could compromise other agents through shared infrastructure. Agents may pass malicious instructions via package caches, email, or shared documents. Current sandbox isolation techniques may not prevent this type of attack.

Huntress

ESXi Exploitation in the Wild

Huntress discovered an exploit toolkit that uses three VMware vulnerabilities to escape from guest virtual machines and gain access to ESXi hypervisors. The attack chain allows attackers to break out of VM isolation and gain kernel-level access to the host. This could lead to ransomware attacks on entire virtualized infrastructure.

Social Sciences

Marginal Revolution

Merging LLMs and Economics Research

A new paper demonstrates that large language models can reproduce, improve, and extend economics research using published replication packages. The LLM system found discrepancies in 3,460 published articles and made calculations ten times faster in 496 cases. This suggests AI will transform how researchers perform and publish academic work.

Crooked Timber

The Office: A Sort of Conjecture About Why Some US Sitcoms Are the Way They Are

The author argues that American and British sitcoms differ not due to cultural preference but structural production necessity. British sitcoms air only 6–8 episodes per season allowing deeply flawed protagonists, while American network shows aired 20–30+ episodes annually requiring characters to be humanised to remain bearable. Collaborative writing rooms in American production also make it harder to sustain the monstrousness—a factor that explains why the US adaptation of The Office softened Michael Scott compared to the original David Brent.

Psyche

I am a Full-Service Grandad. Where are the Others?

A Dublin scientist describes his role as an active grandfather who commits two days weekly to childcare in Chicago. He calls for more grandfathers to embrace hands-on caregiving roles and break traditional gender norms. He notes this phase passes quickly and offers unique opportunities to contribute through personal talents.

Humanities

JSTOR Daily

Disgust, Desire, and Durian

The durian fruit triggers strong sensory reactions and has been deeply embedded in Southeast Asian spiritual practices and cultural identity for centuries. Commercial expansion driven by global demand—particularly from China—now threatens Indigenous lands and the traditional practices of communities who long cultivated the fruit. The piece traces how a single plant can carry ecological significance, nationalistic symbolism, and colonial history all at once.

Aeon

Passportless Mess

Czech filmmaker Maja Penčič's short documentary explores the legend of Zoran, a former Belgrade resident, through contradictory interviews with people who knew him. The film reveals how the same person is remembered in fundamentally incompatible ways—described as both warm and a man who destroys everything—offering a meditation on how personal myths form and shift depending on who's remembering them. Its embrace of contradiction and refusal to settle on a single truth makes it a compelling study in how memory constructs identity.