Tootfinder

When you are a MacOS developer or a Frank Krueger fan, every day is Xmas!
https://apps.apple.com/us/app/cleanroom/id6753881178?mt=12

‎CleanRoom
‎Spin up real macOS virtual machines on your Apple silicon Mac in minutes. CleanRoom makes creating a clean, disposable Mac as easy as picking a version, clicking Create, and pressing Run. No complex setup, no command line, and no risky hacks. Just fast, reliable virtualization built on Apple’s Virtu…

🫧 Cleaner air may be accelerating warming by making clouds less reflective
#atmosphere

Cleaner air may be accelerating warming by making clouds less reflective
Earth is reflecting less sunlight, and absorbing more heat, than it did several decades ago. Global warming is advancing faster than climate models predicted, with observed temperatures exceeding projections in 2023 and 2024. These trends have scientists scrambling to understand why the atmosphere is letting more light in.

Watching Cleaner and I'm like, damn. This is a hell of a dramatic workday for a window cleaner
#2025Films #2025Movies

Cleaner (2025)
When a group of radical activists take over an energy company's annual gala, seizing 300 hostages, an ex-soldier turned window cleaner suspended 50 storeys up on the outside of the building must save those trapped inside, including her older brother.

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
Jan Pedersen, Kevin Chalmers
https://arxiv.org/abs/2510.11751 https://

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
Correct concurrent behaviour is important in understanding how components will act within certain conditions. In this work. we analyse the behaviour of shared communicating channels within a coorporatively scheduled runtime. We use the refinement checking and modelling tool FDR to develop both specifications of how such shared channels should behave and models of the implementations of these channels in the cooperatively scheduled language ProcessJ. Our results demonstrate that although we can …

Just discovered the vacuum cleaner we've had for several years has two additional air filters beyond the one I knew about. Filters we had never changed, since we didn't know they were there.
That... might explain its generally lackluster performance lol.

Two-Dimensional Altermagnetism in Epitaxial CrSb Ultrathin Films
Keren Li, Yuzhong Hu, Yue Li, Ruohang Xu, Heping Li, Kun Liu, Chen Liu, Jincheng Zhuang, Yee Sin Ang, Jiaou Wang, Haifeng Feng, Weichang Hao, Yi Du
https://arxiv.org/abs/2510.12344

Two-Dimensional Altermagnetism in Epitaxial CrSb Ultrathin Films
Altermagnets constitute an emerging class of collinear magnets that exhibit zero net magnetization yet host spin-split electronic bands arising from non-relativistic spin-space-group symmetries. Realization of altermagnetism in the two-dimensional (2D) limit remains an outstanding challenge because dimensional reduction suppresses kZ dispersion and destabilizes the symmetry operations essential for spin compensation. Here, we demonstrate genuine 2D altermagnetism in epitaxial unit-cell-thin fil…

Had a great time presenting our paper “Domain-specific tensor languages” today at #ICFP2025 in Singapore 🇸🇬
The images attached are screenshots from the paper as teasers — diagrams for derivative rules, the Riemann curvature 4-tensor in Einstein’s index notation, and the same in diagram form.
📄 Slides:

Collinear, incommensurate antiferromagnetism in van der Waals magnet alpha-UTe3
H. Sakai, C. Tabata, K. Kaneko, Y. Tokiwa, T. Kitazawa, S. Kambe, Y. Tokunaga, Y. Haga
https://arxiv.org/abs/2510.10999

Collinear, incommensurate antiferromagnetism in van der Waals magnet alpha-UTe3
alpha-UTe3, a van der Waals (vdW) actinide compound with a monoclinic ZrSe3-type structure, is a narrow-gap semiconductor with 5f moments. 125Te NMR reveals strongly anisotropic, layer-confined spin fluctuations below about 20 K, with the a-axis component enhanced, and a signal wipeout at the antiferromagnetic (AFM) transition at TN = 5 K. Single-crystal neutron diffraction finds q approx. (0.17, 0.5, 0) and a longitudinal sinusoidal modulation of a-axis moments (amplitude about 0.8 muB) with A…

🐲 Denmark inaugurates rare low-carbon hydrogen plant
#hydrogen

Denmark inaugurates rare low-carbon hydrogen plant
Denmark inaugurated one of Europe's few low-carbon hydrogen plants on Monday, a sector touted as a key to cleaner energy but plagued with challenges.

Two-Dimensional Altermagnetic Iron Oxyhalides: Real Chern topology and Valley-Spin-Lattice coupling
Yong-Kun Wang, Si Li, Shengyuan A. Yang
https://arxiv.org/abs/2510.12748 http…

Two-Dimensional Altermagnetic Iron Oxyhalides: Real Chern topology and Valley-Spin-Lattice coupling
Altermagnets, a novel class of collinear magnetic materials, exhibit unique spin-split band structures, yet topological insulating states in intrinsic altermagnetic systems are rare. Here, we identify monolayer Fe$_2X_2$O ($X$ = Cl, Br, I) as a new family of 2D altermagnetic real Chern insulators. These materials display robust $d$-wave altermagnetic ordering, semiconducting band gaps, and nontrivial real Chern numbers per spin channel, yielding spin-polarized topological corner modes. They als…