Tootfinder

Puunkuoren mikrobit puhdistavat myös ilmaa poistamalla kasvihuonekaasuja ja myrkyllisiä kaasuja.
Tree bark microbes also clean the air by removing greenhouse and toxic gases https://phys.org/news/2026-01-tree-bark-microbes-air-greenhouse.html

Tree bark microbes also clean the air by removing greenhouse and toxic gases
Australian researchers have discovered a hidden climate superpower of trees. Their bark harbors trillions of microbes that help scrub the air of greenhouse and toxic gases.

Environmental Regulation of Dust and Star Formation Unveiled by Subaru Dual Narrow-band Imaging: Degree-scale Balmer Decrement Mapping across a z = 0.9 Supercluster
Zhaoran Liu, Tadayuki Kodama, Brian C. Lemaux, Mariko Kubo, Jose Manuel P\'erez-Mart\'inez, Yusei Koyama, Ichi Tanaka, Kazuki Daikuhara, Roy R. Gal, Denise Hung, Masahiro Konishi, Kosuke Kushibiki, Ronaldo Laishram, Lori M. Lubin, Kentaro Motohara, Hidenori Takahashi

Environmental Regulation of Dust and Star Formation Unveiled by Subaru Dual Narrow-band Imaging: Degree-scale Balmer Decrement Mapping across a z = 0.9 Supercluster
We present results from a dual narrow-band imaging survey targeting the CL1604 supercluster at z = 0.9 using the Subaru Telescope. By combining the NB921 filter on HSC and the NB1244 filter on SWIMS, we can detect redshifted H$α$ and H$β$ emission lines from the supercluster. This unique technique allows us to measure both star formation rates and dust extinction for a sample of 94 emission-line galaxies across the supercluster. We find that dust extinction, estimated from the Balmer decremen…

So old people drink peanut juice and it gives them Alzheimer’s? #aislop

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
Kazuki Watanabe, Mayuko Kori, Taro Sekiyama, Satoshi Kura, Hiroshi Unno
https://arxiv.org/abs/2510.11320

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
We propose a categorical framework for linear-time temporal verification of effectful higher-order programs, including probabilistic higher-order programs. Our framework provides a generic denotational reduction -- namely, a denotational product construction -- from linear-time safety verification of effectful higher-order programs to computation of weakest pre-conditions of product programs. This reduction enables us to apply existing algorithms for such well-studied computations of weakest pr…

🇺🇦 #NowPlaying on KEXP's #PositiveVibrations
Buju Banton:
🎵 Fast Lane
#BujuBanton
https://djdotcom.bandcamp.com/track/buju-banton-fast-lane-remix
https://open.spotify.com/track/7CRl8Gu5kCG0juiZa6i4jO

Khashoggi widow files complaint in France alleging Saudi government infected devices with spyware https://therecord.media/khashoggi-widow-legal-complaint-filed-alleging-saudi-government-spyware

Whoever made the phone AI for @UPS should be arrested. A horror show of sludge, which can only be defended by the reality that if you do get through to the outsourced call center staff, there is no hope of them helping you.

So, I used vibe code to update an app, mainly for myself, but if you find it useful, good!
ScanTailor is legendary open-source software for processing book scans—deskewing, splitting spreads, cropping, enhancing scans. ScanTailor Spectre is my fork !
1/4

I've made a strange attractor CV source module for #VCVrack using Claude Code. I know, AI is controversial, but this opens up a lot of territory for people who previously didn't have the ability to make their module dreams real. https://