Tootfinder

from my link log —
Row polymorphic programming.
https://www.stranger.systems/posts/by-slug/row-polymorphic-programming.html
saved 2025-07-14

Row Polymorphic Programming
Sometimes, especially when dealing with business logic, we have to deal with data that comes in from the real world, or elsewhere, naturally very messily typed, leading to nasty type signatures and messes of macros or code generation to build data structures from a schema. Row polymorphism can help us by abstracting over the fields contained in a record type in the type signature, letting us define records based on data, concatenate records together, and define functions that are generic across…

Been working on n-dimensional sampling/filtering functions for https://thi.ng/tensors and created an interactive Desmos graph to illustrate 1D Lanczos filtering/interpolation:
http…

1D/2D/3D/4D tensors with extensible polymorphic operations and customizable storage

Competing Length Scales and Symmetry Frustration Govern Non-Universal Melting in 2D Core-softened Colloidal Crystals
Thiago Puccinelli, Alexandre V. Ilha, Jos\'e Rafael Bordin
https://arxiv.org/abs/2507.13573

Competing Length Scales and Symmetry Frustration Govern Non-Universal Melting in 2D Core-softened Colloidal Crystals
We investigate the melting behavior of two-dimensional colloidal crystals stabilized by a core-softened potential featuring two competing interaction length scales. Using molecular dynamics simulations, we analyze three polymorphic solid phases -- low-density triangular, stripe, and kagome -- and uncover distinct melting pathways. The triangular and kagome crystals undergo abrupt first-order transitions, driven by the interplay between energetic frustration and structural reorganization. In par…

Data-Driven Topological Analysis of Polymorphic Crystal Structures
Sourin Dey, Nicholas Miklaucic, Sadman Sadeed Omee, Rongzhi Dong, Lai Wei, Qinyang Li, Nihang Fu, Jianjun Hu
https://arxiv.org/abs/2508.10270

Data-Driven Topological Analysis of Polymorphic Crystal Structures
Polymorphism, the ability of a compound to crystallize in multiple distinct structures, plays a vital role in determining the physical, chemical, and functional properties of materials. Accurate identification and prediction of polymorphic structures are critical for materials design, drug development, and device optimization, as unknown or overlooked polymorphs may lead to unexpected performance or stability issues. Despite its significance, predicting polymorphism directly from a chemical com…

Towards Efficient Hash Maps in Functional Array Languages
William Henrich Due, Martin Elsman, Troels Henriksen
https://arxiv.org/abs/2508.11443 https://arx…

Towards Efficient Hash Maps in Functional Array Languages
We present a systematic derivation of a data-parallel implementation of two-level, static and collision-free hash maps, by giving a functional formulation of the Fredman et al. construction, and then flattening it. We discuss the challenges of providing a flexible, polymorphic, and abstract interface to hash maps in a functional array language, with particular attention paid to the problem of dynamically sized keys, which we address by associating each hash map with an arbitrary context. The al…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
Silei Ren, Co\c{s}ku Acay, Andrew C. Myers

Oxide Interface-Based Polymorphic Electronic Devices for Neuromorphic Computing
Soumen Pradhan (Julius-Maximilians-Universit\"at W\"urzburg, Physikalisches Institut and W\"urzburg-Dresden Cluster of Excellence ct.qmat, Lehrstuhl f\"urTechnische Physik, Germany), Kirill Miller (Julius-Maximilians-Universit\"at W\"urzburg, Physikalisches Institut and W\"urzburg-Dresden Cluster of Excellence ct.qmat, Lehrstuhl f\"urTechnische Physik, Germany), Fabia…

Oxide Interface-Based Polymorphic Electronic Devices for Neuromorphic Computing
Aside from recent advances in artificial intelligence (AI) models, specialized AI hardware is crucial to address large volumes of unstructured and dynamic data. Hardware-based AI, built on conventional complementary metal-oxidesemiconductor (CMOS)-technology, faces several critical challenges including scaling limitation of devices [1, 2], separation of computation and memory units [3] and most importantly, overall system energy efficiency [4]. While numerous materials with emergent functionali…

Conformal maps and critical points of Eisenstein series
Mario Bonk
https://arxiv.org/abs/2506.21471 https://arxiv.org/pdf/2506.21471

Conformal maps and critical points of Eisenstein series
We investigate the critical points of the basic (quasi-)modular forms $E_2$, $E_4$, and $E_6$. They occur where some associated polymorphic functions have poles. By an explicit description of these polymorphic functions as conformal maps, one can give an accurate qualitative analysis of the locations of the critical points of $E_2$, $E_4$, and $E_6$.

Diverse polymorphs and phase transitions in van der Waals In$_2$Se$_3$
Mingfeng Liu, Jiantao Wang, Peitao Liu, Qiang Wang, Zhibo Liu, Yan Sun, Xing-Qiu Chen
https://arxiv.org/abs/2506.21248

Diverse polymorphs and phase transitions in van der Waals In$_2$Se$_3$
Van der Waals In$_2$Se$_3$ has garnered significant attention due to its unique properties and wide applications associated with its rich polymorphs and polymorphic phase transitions. Despite extensive studies, the vast complex polymorphic phase space remains largely unexplored, and the underlying microscopic mechanism for their phase transformations remains elusive. Here, we develop a highly accurate, efficient, and reliable machine-learning potential (MLP), which not only facilitates accurate…

Droplet growth, Ostwald's rule, and emergence of order in Fused in Sarcoma
Farkhad Maksudov (Department of Chemistry, The University of Texas at Austin), Mauro L. Mugnai (Institute of Soft Matter Synthesis and Metrology, Georgetown University, Washington), Laura Dominguez (Department of Chemistry, The University of Texas at Austin, Departamento de Fisicoquimica, Facultad de Quimica, Universidad Nacional Autonoma de Mexico, Coyoacan, CDMX, Mexico), Dmitrii Makarov (Department of Che…

Droplet growth, Ostwald's rule, and emergence of order in Fused in Sarcoma
The low complexity domain of Fused in Sarcoma (FUS-LC consisting of 214 residues) undergoes phase separation, resulting in a dense liquid-like phase that forms early and slowly matures to reach ordered gel-like state on long time scales. Upon maturation, core-1, comprising of the 57 residues (39-95) in the N-terminus become structured, resulting in the formation of a non-polymorphic fibril. The truncated FUS-LC-C (residues 110-214) construct forms a fibril in which core-2 (residues 112-150) ado…

Phase Competition and Rutile Phase Stabilization of Growing GeO2 Films by MOCVD
Imteaz Rahaman, Botong Li, Hunter D. Ellis, Kathy Anderson, Feng Liu, Michael A. Scarpulla, Kai Fu
https://arxiv.org/abs/2507.22430

Phase Competition and Rutile Phase Stabilization of Growing GeO2 Films by MOCVD
Rutile germanium dioxide (r-GeO2) is an ultra-wide bandgap semiconductor with potential for ambipolar doping, making it a promising candidate for next-generation power electronics and optoelectronics. Growth of phase-pure r-GeO2 films by vapor phase techniques like metalorganic chemical vapor deposition (MOCVD) is challenging because of polymorphic competition from amorphous and quartz GeO2. Here, we introduce seed-driven stepwise crystallization (SDSC) as a segmented growth strategy for obtain…