Tootfinder

#ContemporaryContradictions #HashTagGames
Rules: include as many contradictions s you'd like. Can be profound or trivial. Each contradiction is stated via exactly 1 or 2 questions, no statements and not more than 2 questions. Try to group yours into a single post, rather than one post per contradiction, so that it's easier to see more voices when scrolling the hash tag.
Why does "race" work according to the "one drop rule" if you have Black ancestors, but according to "blood quantum" if you have Indigenous ancestors? Who benefits from this arrangement?
Why do we think of seeds as merely a reproduction mechanism for trees, instead of thinking of trees as merely a reproduction mechanism for seeds, especially since some plants can spend millennia as seeds but can survive for only part of a year after sprouting? Are metabolic activity or structural complexity really so important?
If Columbus discovered America, did Batu Khan discover Europe? What is an "Age of Discovery?"
Why don't corporations in the US try to lobby the government for a single-payer healthcare system where the government foots the bill for healthcare instead of companies paying to deeply subsidize their employees' healthcare? What benefit do they gain that's worth that cost, which in other countries is paid for via taxes?
Why is the cost of renting (which gets you zero equity) anywhere close to the cost of a mortgage (which eventually gets you ownership)? If the costs are similar but the benefits are so different, why does anyone ever rent?
Why do we obsess over the fruit/vegetable classification of tomatoes, but not corn, okra, cucumbers, zucchini, etc.?

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

Extensional and Non-extensional Functions as Processes
Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $λ$-calculus, the process representations yield (at best) non-extensional $λ$-theories (i.e., $β$ rule holds, whereas $η$ does not). In the paper, we study how to obtain extensional representations, and how to move between extensional and non-extensional representations. Using Internal $π$, $\mathrm{I}π$ (a subset of the $π$-calculus in which all outputs are boun…

This is the time to speak out, to disembed our selves from a fascist system, to place principles over profit and self-advancement.
To be what Viet Thanh Nguyen calls “disagreeable”.
Yes, of course there are risks.
But at this moment, with ICE in the streets and at our door,
when each hour another liberty is being erased,
and those who speak truth to power are being removed from TV,
from universities, from cultural centers,
when the cultural platform…

On a question of Ab\'ert and Vir\'ag
Jorge Fari\~na-Asategui
https://arxiv.org/abs/2505.23142 https://arxiv.org/pdf/2505.2314…

On a question of Abért and Virág
Abért and Virág proved in 2005 that the Hausdorff dimension of a non-trivial normal subgroup of a level-transitive 1-dimensional subgroup of the group of $p$-adic automorphisms $W_p$ is always 1. They further asked whether the same holds replacing 1-dimensional with positive dimensional. On the one hand, we provide a negative answer in general by giving counterexamples where the non-trivial normal subgroups are not all 1-dimensional. Furthermore, these counterexamples are pro-$p$ subgroups …

ChatMyopia: An AI Agent for Pre-consultation Education in Primary Eye Care Settings
Yue Wu, Xiaolan Chen, Weiyi Zhang, Shunming Liu, Wing Man Rita Sum, Xinyuan Wu, Xianwen Shang, Chea-su Kee, Mingguang He, Danli Shi
https://arxiv.org/abs/2507.19498

ChatMyopia: An AI Agent for Pre-consultation Education in Primary Eye Care Settings
Large language models (LLMs) show promise for tailored healthcare communication but face challenges in interpretability and multi-task integration particularly for domain-specific needs like myopia, and their real-world effectiveness as patient education tools has yet to be demonstrated. Here, we introduce ChatMyopia, an LLM-based AI agent designed to address text and image-based inquiries related to myopia. To achieve this, ChatMyopia integrates an image classification tool and a retrieval-aug…

The Power of Negation in Higher-Order Datalog
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
https://arxiv.org/abs/2507.20251 https://

The Power of Negation in Higher-Order Datalog
We investigate the expressive power of Higher-Order Datalog$^\neg$ under both the well-founded and the stable model semantics, establishing tight connections with complexity classes. We prove that under the well-founded semantics, for all $k\geq 1$, $(k+1)$-Order Datalog$^\neg$ captures k-EXP, a result that holds without explicit ordering of the input database. The proof of this fact can be performed either by using the powerful existential predicate variables of the language or by using partia…

Integrated thin film lithium niobate mid-infrared modulator
Pierre Didier, Prakhar Jain, Mathieu Bertrand, Jost Kellner, Oliver Pitz, Zhecheng Dai, Mathias Beck, Baile Chen, Jerome Faist, Rachel Grange
https://arxiv.org/abs/2505.23632

Integrated thin film lithium niobate mid-infrared modulator
The mid-infrared spectral range holds great promise for applications such as molecular spectroscopy and telecommunications. Many key molecules exhibit strong absorption features in this range, and free-space optical communication benefits from reduced atmospheric attenuation and low transmission losses in specific wavelength bands spanning from 3 to 14 μm. Recent progress in MIR photonics has been fuelled by the rapid development of efficient light sources and detectors. However, further advan…

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

Alchemical diastereomers from antisymmetric alchemical perturbations
The leading order Hellmann-Feynman term in the energy difference between any two iso-electronic systems is exact up to third order for the averaged reference Hamiltonian because even-order contributions cancel out. This finding holds for {any} iso-electronic compound pair (dubbed `alchemical diastereomers'), regardless of differences in configuration, composition, or energy. As a result, first order relative energy estimates for all possible iso-electronic alchemical diastereomer pairs, derived…

Commure, which provides ambient AI, revenue cycle management, and workflow automation tools for healthcare providers, raised $200M from General Catalyst (Erin Brodwin/Axios)
https://www.axios.com/pro/health-tech-deals/2025/06/19/commure-…

Commure raises $200M from GC's marketing fund
The company's CEO says it may also raise another round of capital later this year.

Kibble-Zurek mechanism for dissipative discrete time crystals
Roy D. Jara Jr., Jayson G. Cosme
https://arxiv.org/abs/2507.18950 https://arxiv.org/pdf/2507.…

Kibble-Zurek mechanism for dissipative discrete time crystals
We demonstrate that the Kibble-Zurek mechanism (KZM) holds for open systems transitioning from a disordered phase to a discrete time crystal (DTC). Specifically, we observe the main signatures of the KZM when the system is quenched into a DTC, which are the characteristic power-law scaling with quench time of the number of spatial defects and the transition delay measured from the time at which the system crosses the critical point. We show analytically that this universal behavior can be trace…