Tootfinder

"More European consumers are buying frozen food to reduce waste, survey shows"
#Europe #Food #FoodWaste

Europeans are buying frozen food to reduce waste, survey shows
As well as saving time and money, frozen food can contribute to a more sustainable food system.

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
Sohei Ito, Makoto Tatsuta
https://arxiv.org/abs/2507.00465 https://

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
This paper investigates the expressive power of a minimal fragment of separation logic extended with natural numbers. Specifically, it demonstrates that the fragment consisting solely of the intuitionistic points-to predicate, the constant 0, and the successor function is sufficient to encode all $Π^0_1$ formulas of Peano Arithmetic (PA). The authors construct a translation from PA into this fragment, showing that a $Π^0_1$ formula is valid in the standard model of arithmetic if and only if i…

No shit, Sherlock: "Israel’s War on Iran Backfired".
#iran

Israel’s War on Iran Backfired
Despite what it claims, Israel failed to achieve its goals in its latest war.

Wendelstein 7-X stellt neuen Fusionsrekord auf
In der Forschungsanlage Wendelstein 7-X ist ein Rekord gelungen. Die Forscher werten das als Fortschritt auf dem Weg zur kommerziellen Nutzung der Kernfusion.
https:/…

Fire smoke from Canada
2025-06-01
#ClimateEmergency #Canada #USA
https://…

Making Foreign Aid Great Again (U.S. Department of State)
https://statedept.substack.com/p/making-foreign-aid-great-again
http://www.memeorandum.com/250701/p141#a250701p141

Optical frequency division referenced to microhertz-linewidth quantum-noise-limited lasers
Jiahao Hu, Yanlan Xiao, Honglei Yang, Siyi Xue, Wenchan Dong, Kunpeng Zhai, Sha Zhu, Kun Qiu, Shengkang Zhang, Jun Ge, Ninghua Zhu, Xiaoshun Jiang, Jing Xu, Huashun Wen, Heng Zhou
https://arxiv.org/abs/2505.24557

Optical frequency division referenced to microhertz-linewidth quantum-noise-limited lasers
Optical frequency division (OFD) implements the conversion of ultra-stable optical frequencies into microwave frequencies through an optical frequency comb flywheel, generating microwave oscillators with record-low phase noise and time jitter. However, conventional OFD systems face significant trade-off between division complexity and noise suppression due to severe thermal noise and technical noise in the optical frequency references. Here, we address this challenge by generating common-cavity…

Auf dem Weg zu medizinischer Superintelligenz: Microsoft stellt Forschung vor
Laut Microsoft kann sein neues KI-System Patienten viermal genauer und auch kostengünstiger diagnostizieren als menschliche Ärzte.

Israeli military used 500lb bomb in strike on Gaza cafe, fragments reveal (Jason Burke/The Guardian)
https://www.theguardian.com/world/2025/jul/02/israeli-military-bomb-fragments-gaza-al-baqa-cafe
http://www.memeorandum.com/250702/p119#a250702p119

Erdähnliche Exoplaneten um die kleinsten Roten Zwergsterne besonders häufig
Sogenannte M-Zwerge sind in der Milchstraße die häufigsten Sterne. Ein Forschungsteam hat ermittelt, um welche davon erdähnliche Exoplaneten am häufigsten sind.