Tootfinder

Oh fun find, there was actually something called Oxide in the history of #Rust already - a formalization attempt:
https://arxiv.org/abs/1903.00982 🦀
cc @…

Oxide: The Essence of Rust
Rust claims to advance industrial programming by bridging the gap between low-level systems programming and high-level application programming. At the heart of the argument that this enables programmers to build more reliable and efficient software is the borrow checker - a novel approach to ownership that aims to balance type system expressivity with usability. And yet, to date there is no core type system that captures Rust's notion of ownership and borrowing, and hence no foundation for rese…

Das Facebook, TikTok und Co. auch Propaganda-Plattformen sind ist allgemein bekannt. Doch deren Einsatz scheint auch von Russland für Propaganda anzuwenden wie andere auch. Ein Argument mehr diese abzuraten. (mal noch nett gesagt)
📺 SRF Tagesschau: »Wahlen in Moldau mit russischer Einflussnahme«

Tagesschau vom 26.09.2025: Hauptausgabe - Play SRF
Trump verhängt Pharma-Zölle von 100 Prozent, Bundesrat bleibt hart in Sachen Eigenkapital der UBS, Rösti plant neue Steuer für E-Autos ab 2030, Kirchenstatistik 2024: Der Mitgliederschwund geht weiter

High-spin magnetic ground states of neutral dopant clusters in semiconductors
Rhine Samajdar, Haonan Zhou, R. N. Bhatt
https://arxiv.org/abs/2510.03575 https://

High-spin magnetic ground states of neutral dopant clusters in semiconductors
High-spin states hold significant promise for classical and quantum information storage and emerging magnetic memory technologies. Here, we present a systematic framework for engineering such high-spin magnetic states in dopant clusters formed from substitutional impurities in semiconductors. In single-valley materials such as gallium arsenide, impurity states are hydrogenic and exchange interactions generally favor low-spin configurations, except in special geometries. In contrast, multivalley…