Tootfinder

"Europe’s most effective tool to cut greenhouse gas emissions ‘risks being weakened’"
#Europe #Emissions #Climate

Europe’s most effective tool to cut greenhouse gas emissions ‘risks being weakened’
European Commission proposal to overhaul emissions trading system would give companies less demanding pathway to reductions

Deforestation decline is not driven by corporate commitments #environment

Deforestation decline is not driven by corporate commitments
Tropical forests are essential for biodiversity, climate regulation and carbon storage. Yet they continue to disappear at an alarming rate. Many companies have adopted zero-deforestation commitments to reduce this trend. But it is crucial to determine how effective these commitments are.

The Silent Age (Multi, XP'd on PC) Joe the janitor gets tangled up in the strange goings on at his company's lab, and needs to travel through time to save the world.
Bought this (likely on sale) over a decade ago and somehow never got to it till today, lol.
This is a pretty short (4hrs or so) and simple point and click. For as old as it is (think it first launched in 2012?) it's got good production values. Decent voice acting, simple but effective art style, good wri…

"I strongly believe there are entire companies right now under heavy AI psychosis and it’s impossible to have rational conversations with them about it.
I can’t name any specific people because they include personal friends I deeply respect, but I worry about how this plays out."
-- Mitchell Hashimoto, of HashiCorp and Ghostty fame

AI Mania Is Eviscerating Global Decisionmaking
The reality of how much damage AI mania is doing to our ability to run institutions effectively.

Cornelis, spun off from Intel in 2020 to build networking tech that helps AI chips communicate more effectively, raised $205M led by IAG Capital (Dominic-Madori Davis/TechCrunch)
https://techcrunch.com/2026/09/14/ai-infrastr…

AI infrastructure company Cornelis raises $205M to chip away at Nvidia's dominance | TechCrunch
The company also announced a product called Active Compute Fabric, a network technology that targets the fact that much GPU time is wasted waiting for data to arrive.

ETAS: An Effect-Typed Language for Agent Systems
Huiri Tan, Yikun Wang, Puyang Zhang, Shangyu Li, Jiasi Shen
https://arxiv.org/abs/2607.17780 https://arxiv.org/pdf/2607.17780 https://arxiv.org/html/2607.17780
arXiv:2607.17780v1 Announce Type: new
Abstract: ETAS is a programming language for agent systems that treats model-backed agents, tool calls, prompts, typed memory, human approvals, policies, and execution traces as semantic program elements rather than library conventions. It separates deterministic computation from agentic nondeterminism and externally visible actions while preserving a direct programming style.
We present the core design of ETAS. Its static semantics assigns ordinary types through spec conformance and tracks each computation with two behavioral indices: an escaping effect row and a persistent abstraction of the typed action trace it may request. Specs form a terminating compile-time constraint calculus: type specs provide evidence for polymorphism and resource facts, callable specs constrain function and stage shapes, and trace specs express allow, deny, and temporal constraints. Typing checks requested traces against compiled monitors and emits residual obligations when dynamic resources preclude a complete static proof. The dynamic semantics distinguish requested, handled, denied, and committed events; handlers interpret typed actions without making their requests invisible to authorization or audit.
We formalize a core calculus and state preservation, progress, type/effect soundness, handler trace-transparency, and policy safety. We also implement ETAS in Rust with a command-line interface, typed HIR checks, effect and policy diagnostics, handler checks, and trace-aware execution hooks. ETAS provides a programming-language foundation for reasoning about authorization, nondeterminism, recovery, and audit evidence before and during agent execution.
toXiv_bot_toot

Sources: the US "almost started a war" after an AI-assisted report hallucinated that a Chinese ship was carrying nuclear weapons components in the Middle East (CNN)
https://www.cnn.com/2026/09/18/politics/us-military-ai-false-intelligence-china-…

Exclusive: US military had close call after using AI for false intelligence report, sources say
The episode shows the risks of using this new, relatively poorly understood technology in the middle of the Iran war

Democrats highlight Epstein files and Trump investigations during GOP convention in Dallas
House Democrats descended upon Dallas to speak about their investigations into the president
and their long-standing investigation into convicted pedophile Jeffrey Epstein.

On Wednesday, Rep. Robert Garcia (D-California), the top Democrat in the House Oversight Committee,
stopped by an art exhibition featuring the work of Annie Farmer,
who accused Epstein of sexual assau…

Democrats play up Trump investigations, Epstein files during GOP convention in Dallas
The countermessaging includes speaking to Texas voters about affordability issues and Democratic efforts to regain control of the House.

Vegan Society to Redesign Its Vegan Trademark as EU Green Claims Rules Take Effect https://vegconomist.com/company-news/vegan-society-redesign-vegan-trademark-as-eu-green-claims-rules-take-effect/

Vegan Society to Redesign Its Vegan Trademark as EU Green Claims Rules Take Effect - vegconomist - the vegan business magazine
The Vegan Society is preparing changes to its Vegan Trademark as it moves to meet incoming European Union rules on how companies communicate environmental and

Source: Microsoft plans to release an AI security tool this month using models from Anthropic, OpenAI, and itself, as a cost-effective Mythos alternative (Aaron Holmes/The Information)
https://www.theinformation.com/briefings/exclusive-microsoft-p…

Exclusive: Microsoft Preps Mythos-Like AI Bug Finder
Microsoft is preparing to release a new AI security product, internally codenamed Project Perception, to capture a piece of companies’ rising cyber defense spending. Set to debut as soon as this month, the product will use a combination of AI models from Anthropic, OpenAI, and Microsoft itself to sniff out software bugs similar to the way Anthropic’s Mythos model does and automatically fix the