Tootfinder

NASA: Providing Active Fire Data for Near-Real Time Monitoring and Applications
The Fire Information for Resource Management System (FIRMS) distributes Near Real-Time (NRT) active fire data from the Moderate Resolution Imaging Spectroradiometer (MODIS) aboard the Aqua and Terra satellites, and the Visible Infrared Imaging Radiometer Suite (VIIRS) aboard S-NPP, NOAA 20 and NOAA 21 (formally known as JPSS-1 and JPSS-2).
🔥

NASA-FIRMS
Fire Information for Resource Management System

I wandered around the botanical garden in Kraków for 3 hours last Friday, and the plants there were amazing 💚! While writing the alt texts, I learned that one of the plants is a "red hot cat tail" ❤️ and one is a kind of "foxtail fern" 🧡.
#flowers #plants

'Farbe: Blau (kein Himmel)' #FotoVorschlag
Color blue (no sky)
Wow thanks to #immich search, I found a photo that I didn't know I took.. A lot of years ago.
#FlowersOfMastodon

"Es ist #Wirtschaftsliberalismus pur. #Deregulierung für eine reiche Minderheit, mehr Bürokratie und Kontrolle für die große Mehrheit. Dass hier mit zweierlei Maß gemessen wird, empört viele Menschen und treibt sie der AfD in die Arme. Mit sozialer Gerechtigkeit, die nötig w…

"Toward standardized microplastics monitoring in rivers"
#Plastic #Plastics #Microplastics

Toward standardized microplastics monitoring in rivers
Microplastics (MPs), defined as plastic fragments smaller than 5 mm, have become so pervasive that they are detectable in nearly every environment studied—from remote ocean trenches to urban air, tap water, and human blood. MPs are hardly uniform; they span an enormous size range. Larger fragments are visible to the naked eye, while the smallest ones have a diameter of a few micrometers. These variations in size are important, as smaller particles are far more numerous, behave differently in …

If you're cleaning a computer monitor and multiple kimwipes come off visibly discolored, and you can feel changes in surface texture from surface contamination, that's a bad sign right?
This clean was clearly waaay overdue lol

Watching G.O.A.T on Netflix and I’m not feeling it.
The story is meandering and I don’t care about any of the characters.
I guess the small goat that nobody believes in will become a star. The aging star who is full of herself will learn modesty.
The movie with that story that you should watch instead is Cars 3. It has as many cars in it as GOAT but it’s not a blatant Mercedes ad. Seriously, I‘m warching a car ad with non-photorealistic rendering and Gen Z vocabulary…

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

What a day for #cycling ! What should I say. It was just superb. The #isar area between #vorderriß and #krün