Tootfinder

Moving from #SpringBoot to #Quarkus by @…

Classifying the complexity of models of arithmetic
David Gonzalez, Mateusz {\L}e{\l}yk, Dino Rossegger, Patryk Szlufik
https://arxiv.org/abs/2507.12025 htt…

Classifying the complexity of models of arithmetic
We classify the possible Scott complexities for models of Peano arithmetic. We construct models of particular complexities by first giving a complete Scott analysis of colored linear orderings and constructing models of Peano arithmetic from these colored orderings. We also provide tight connections of certain Scott complexities with notions from the classical theory of models of Peano arithmetic, such as prime, finitely generated, and recursively saturated. This effort provides a powerful set …

Oh, dear - did I call Fetterman a DINO?
'You aren't fooling us': Democratic senator called out for defending ICE ramp-up - Raw Story
https://www.rawstory.com/john-fetterman-2673068171/

Electron-phonon-dominated charge-density-wave fluctuations in TiSe$_2$ accessed by ultrafast nonequilibrium dynamics
Sotirios Fragkos, Hibiki Orio, Nina Girotto Erhardt, Akib Jabed, Sarath Sasi, Quentin Courtade, Muthu P. T. Masilamani, Maximilian \"Unzelmann, Florian Diekmann, Baptiste Hildebrand, Dominique Descamps, St\'ephane Petit, Fabio Boschini, J\'an Min\'ar, Yann Mairesse, Friedrich Reinert, Kai Rossnagel, Dino Novko, Samuel Beaulieu, Jakub Schusser

Electron-phonon-dominated charge-density-wave fluctuations in TiSe$_2$ accessed by ultrafast nonequilibrium dynamics
1T-TiSe$_2$ exhibits a charge-density-wave (CDW) transition below 200 K, which is believed to be driven by a hybrid exciton-phonon mechanism, making it a versatile platform for investigating the interplay between electronic and lattice degrees of freedom. Although the corresponding band structure modifications below the CDW transition temperature are well established, only a few reports discuss the occurrence of the CDW fluctuating phase and its spectral features well above the transition tempe…

This https://arxiv.org/abs/2506.05394 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Attacking Attention of Foundation Models Disrupts Downstream Tasks
Foundation models represent the most prominent and recent paradigm shift in artificial intelligence.Foundation models are large models, trained on broad data that deliver high accuracy in many downstream tasks, often without fine-tuning. For this reason, models such as CLIP , DINO or Vision Transfomers (ViT), are becoming the bedrock of many industrial AI-powered applications. However, the reliance on pre-trained foundation models also introduces significant security concerns, as these models a…

🇺🇦 #NowPlaying on KEXP's #MechanicalBreakdown
Dino Dvornik:
🎵 Junak plaže
#DinoDvornik
https://open.spotify.com/track/3cFqloBVjCBf9ZA4y7W5bT

Unconventional Materials for Light Dark Matter Detection
Yonit Hochberg, Dino Novko, Rotem Ovadia, Antonio Politano
https://arxiv.org/abs/2507.07164 https:…

Unconventional Materials for Light Dark Matter Detection
We propose the use of several unconventional materials as detectors for dark matter with mass beneath the MeV scale. These include the transition-metal dichalcogenide TiSe$_2$ hosting a low-energy plasmon in the charge-density-wave phase, Sr$_2$RuO$_4$ containing a low-energy acoustic demon mode, and hole-doped diamond with tunable optical and acoustic plasmon frequencies. We perform first-principles density functional theory computations of their loss functions at non-vanishing momenta and est…

Evolving HPC services to enable ML workloads on HPE Cray EX
Stefano Schuppli, Fawzi Mohamed, Henrique Mendon\c{c}a, Nina Mujkanovic, Elia Palme, Dino Conciatore, Lukas Drescher, Miguel Gila, Pim Witlox, Joost VandeVondele, Maxime Martinasso, Thomas C. Schulthess, Torsten Hoefler
https://arxiv.org/abs/2507.01880

Evolving HPC services to enable ML workloads on HPE Cray EX
The Alps Research Infrastructure leverages GH200 technology at scale, featuring 10,752 GPUs. Accessing Alps provides a significant computational advantage for researchers in Artificial Intelligence (AI) and Machine Learning (ML). While Alps serves a broad range of scientific communities, traditional HPC services alone are not sufficient to meet the dynamic needs of the ML community. This paper presents an initial investigation into extending HPC service capabilities to better support ML workloa…

Programmable wrinkling for functionally-graded auxetic circular membranes
Sairam Pamulaparthi Venkata, Valentina Balbi, Michel Destradea, Dino Accoto, Giuseppe Zurlo
https://arxiv.org/abs/2506.04148

Programmable wrinkling for functionally-graded auxetic circular membranes
Materials with negative Poisson's ratio, also known as auxetic materials, display exotic properties such as expansion in all directions under uni-axial tension. For their unique properties, these materials find a broad range of applications in robotic, structural, aerospace, and biomedical engineering. In this work we study the wrinkling behavior of thin and soft auxetic membranes, subjected to edge tractions. We show that spatial inhomogeneities of the Young modulus and of the Poisson ratio …

Heute mit dem Nachwuchs-Metalhead bei #Heavysaurus gewesen und ordentlich zusammen #Metal-Party gemacht. Sehr geil diese Idee, sowas hätte ich als Kind auch gerne gehabt. #Metal