Tootfinder

The GAPS programme at TNG XYZ. A sub-Neptune suitable for atmospheric characterization in a multiplanet and mutually inclined system orbiting the bright K dwarf TOI-5789 (HIP 99452)
A. S. Bonomo, L. Naponiello, A. Sozzetti, S. Benatti, I. Carleo, K. Biazzo, P. E. Cubillos, M. Damasso, C. Di Maio, C. Dorn, N. Hara, D. Polychroni, M. -L. Steinmeyer, K. A. Collins, S. Desidera, X. Dumusque, A. F. Lanza, B. S. Safonov, C. Stockdale, D. Turrini, C. Ziegler, L. Affer, M. D'Arpa, V. Farde…

The GAPS programme at TNG XYZ. A sub-Neptune suitable for atmospheric characterization in a multiplanet and mutually inclined system orbiting the bright K dwarf TOI-5789 (HIP 99452)
Sub-Neptunes with planetary radii of $R_{p} \simeq 2-4 R_{\oplus}$ are the most common planets around solar-type stars in short-period ($P<100$ d) orbits. It is still unclear, however, what their most likely composition is, that is whether they are predominantly gas dwarfs or water worlds. The sub-Neptunes orbiting bright host stars are very valuable because they are suitable for atmospheric characterization, which can break the well-known degeneracy in planet composition from the planet bulk d…

Study of HI Turbulence in the SMC Using Multi-point Structure Functions
Bumhyun Lee, Min-Young Lee, Jungyeon Cho, Nickolas M. Pingel, Yik Ki Ma, Katie Jameson, James Dempsey, Helga D\'enes, John M. Dickey, Christoph Federrath, Steven Gibson, Gilles Joncas, Ian Kemp, Shin-Jeong Kim, Callum Lynn, Antoine Marchal, N. M. McClure-Griffiths, Hiep Nguyen, Amit Seta, Juan D. Soler, Sne\v{z}ana Stanimirovi\'c, Jacco Th. van Loon

Study of HI Turbulence in the SMC Using Multi-point Structure Functions
Turbulence in the interstellar medium (ISM) plays an important role in many physical processes, including forming stars and shaping complex ISM structures. In this work, we investigate the HI turbulent properties of the Small Magellanic Cloud (SMC) to reveal what physical mechanisms drive the turbulence and at what scales. Using the high-resolution HI data of the Galactic ASKAP (GASKAP) survey and multi-point structure functions (SF), we perform a statistical analysis of HI turbulence in 34 sub…

Macro-embedding Compiler Intermediate Languages in Racket
William J. Bowman
https://arxiv.org/abs/2509.19607 https://arxiv.org/pdf/2509.19607

Macro-embedding Compiler Intermediate Languages in Racket
We present the design and implementation of a macro-embedding of a family of compiler intermediate languages, from a Scheme-like language to x86-64, into Racket. This embedding is used as part of a testing framework for a compilers course to derive interpreters for all the intermediate languages. The embedding implements features including safe, functional abstractions as well as unsafe assembly features, and the interactions between the two at various intermediate stages. This paper aims to …