Tootfinder

Fast and Extensible Hybrid Embeddings with Micros
Sean Bocirnea, William J. Bowman
https://arxiv.org/abs/2509.07551 https://arxiv.org/pdf/2509.07551…

Fast and Extensible Hybrid Embeddings with Micros
Macro embedding is a popular approach to defining extensible shallow embeddings of object languages in Scheme like host languages. While macro embedding has even been shown to enable implementing extensible typed languages in systems like Racket, it comes at a cost: compile-time performance. In this paper, we revisit micros - syntax to intermediate representation (IR) transformers, rather than source syntax to source syntax transformers (macros). Micro embedding enables stopping at an IR, produ…

The paired construction for Boolean functions on the slice
Michael Kiermaier, Jonathan Mannaert, Alfred Wassermann
https://arxiv.org/abs/2510.02804 https://

The paired construction for Boolean functions on the slice
Let $V$ be a finite set of size $n$. We consider real functions on the "slice" $\binom{V}{k}$, which are also known as functions in the Johnson scheme. For $I \subseteq J \subseteq V$, the characteristic function of the set of all $K\in\binom{V}{k}$ with $I \subseteq K \subseteq J$ is called "basic". In this article, we investigate a construction arising as the sum of two "opposite" basic functions. In essentially all cases, these "paired" functions are Boolean. Our main result is the determi…

"Die AfD ist kei­ne Partei wie jede ande­re. Sie steht für eine Politik, die Menschen aus­grenzt und die Grundwerte unse­rer Gesellschaft infra­ge stellt. Es ist unse­re Verantwortung, das klar zu benen­nen – und uns für eine offe­ne, tole­ran­te Demokratie einzusetzen." - Horst Schulte
Warum ich die AfD nicht als „normale“ Partei akzeptieren kann #NoAfD

But as much as my mother would bemoan their antics. My aunt… oh my aunt.
She was the most intellectual, the most proud, and the most outspoken person I’ve ever had the privilege of knowing.
My aunt would give them a proper earful about what it meant to live in a society, about how their antics would lead to the entire west looking down on Poland, about how they were letting down their fellow citizen by running such scams.
I miss my aunt. She was a rock star and a role mode …

Evidence for Half-Quantized Chiral Edge Current in a C = 1/2 Parity Anomaly State
Deyi Zhuo, Bomin Zhang, Humian Zhou, Han Tay, Xiaoda Liu, Zhiyuan Xi, Chui-Zhen Chen, Cui-Zu Chang
https://arxiv.org/abs/2509.15525

Evidence for Half-Quantized Chiral Edge Current in a C = 1/2 Parity Anomaly State
A single massive Dirac surface band is predicted to exhibit a half-quantized Hall conductance, a hallmark of the C = 1/2 parity anomaly state in quantum field theory. Experimental signatures of the C = 1/2 parity anomaly state have been observed in semi-magnetic topological insulator (TI) bilayers, yet whether it supports a half-quantized chiral edge current remains elusive. Here, we observe a robust half-quantized Hall conductance plateau in a molecular beam epitaxy (MBE)-grown asymmetric magn…

Probing Gender Bias in Multilingual LLMs: A Case Study of Stereotypes in Persian
Ghazal Kalhor, Behnam Bahrak
https://arxiv.org/abs/2509.20168 https://arxi…

Probing Gender Bias in Multilingual LLMs: A Case Study of Stereotypes in Persian
Multilingual Large Language Models (LLMs) are increasingly used worldwide, making it essential to ensure they are free from gender bias to prevent representational harm. While prior studies have examined such biases in high-resource languages, low-resource languages remain understudied. In this paper, we propose a template-based probing methodology, validated against real-world data, to uncover gender stereotypes in LLMs. As part of this framework, we introduce the Domain-Specific Gender Skew I…

The Hot Neptune Initiative (HONEI) II. TOI-5795 b: A hot super-Neptune orbiting a metal-poor star
F. Manni, L. Naponiello, L. Mancini, S. Vissapragada, K. Biazzo, A. S. Bonomo, D. Polychroni, D. Turrini, D. Locci, A. Maggio, V. D Orazi, M. Damasso, C. Briceno, D. R. Ciardi, C. A. Clark, K. A. Collins, D. W. Latham, N. Law, M. Lopez-Morales, M. B. Lund, L. Malavolta, A. W. Mann, G. Mantovan, D. Nardiello, M. Pinamonti, D. J. Radford, R. P. Schwarz, A. Shporer, A. Sozzetti, C. N., Watki…

The Hot Neptune Initiative (HONEI) II. TOI-5795 b: A hot super-Neptune orbiting a metal-poor star
The formation of Neptune planets with orbital periods less than 10\,days remains uncertain. They might have developed similarly to longer-period counterparts, emerged from rare collisions between smaller planets, or could be the remnant cores of stripped giant planets. Characterizing a large number of them is important to advance our understanding of how they form and evolve. We aimed at confirming the planetary nature and characterizing the properties of a close-in Neptune-type transiting exop…

I expect I'm late to the party as usual and everyone's already seen this - but yeah, for once the description of this video is not hyperbole.
The most INSANE Bohemian Rhapsody Flashmob you will ever see!
Not sure about insane but it's very, very impressive. Worth a few minutes of your time and it'll cheer up your day.
#queen #BohemianRhapsody #flashmob

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 …