Tootfinder

No sum types at Studierendenwerk Berlin.
https://chaos.social/@dpk/115253048174407250

A Unified and Predictive Measure of Functional Diversity
Adji Bousso Dieng, Amey Pasarkar
https://arxiv.org/abs/2509.16133 https://arxiv.org/pdf/2509.16133…

A Unified and Predictive Measure of Functional Diversity
Despite the critical role of functional diversity (FD) in understanding ecological systems and processes, its robust quantification remains a significant challenge. A long-held view in the field is that it is not possible to capture its three facets -- functional richness, functional divergence, and functional evenness -- in a single index. This perspective has prompted recent proposals for FD measurement to use three separate indices, one for each aspect. Here, we challenge this paradigm by de…

Optimal Transceiver Design in Over-the-Air Federated Distillation
Zihao Hu (The Chinese University of Hong Kong), Jia Yan (The Hong Kong University of Science and Technology), Ying-Jun Angela Zhang (The Chinese University of Hong Kong), Jun Zhang (The Hong Kong University of Science and Technology), Khaled B. Letaief (The Hong Kong University of Science and Technology)

Optimal Transceiver Design in Over-the-Air Federated Distillation
The rapid proliferation and growth of artificial intelligence (AI) has led to the development of federated learning (FL). FL allows wireless devices (WDs) to cooperatively learn by sharing only local model parameters, without needing to share the entire dataset. However, the emergence of large AI models has made existing FL approaches inefficient, due to the significant communication overhead required. In this paper, we propose a novel over-the-air federated distillation (FD) framework by syner…

Revisiting the Effect of Grid-Following Converter on Frequency Dynamics -- Part II: Spatial Variation
Jiahao Liu, Cheng Wang, Tianshu Bi
https://arxiv.org/abs/2507.15362

Revisiting the Effect of Grid-Following Converter on Frequency Dynamics -- Part II: Spatial Variation
Besides the center of inertia (COI) frequency dynamics addressed in Part I, the spatial frequency variation in power systems with grid-following (GFL) converters is also crucial. Part II revisits the effect of GFLs on frequency spatial variation. Leveraging the interfacing state variables and equivalent frequency defined in Part I, an extended frequency divider (FD) formula is proposed. The linearized mapping relationship between network node frequency and synchronous generator (SG) rotor frequ…

The Ahlfors-Weill reflection on convex domains and Nehari quasidisks
Martin Chuaqui
https://arxiv.org/abs/2507.14291 https://arxiv.or…

The Ahlfors-Weill reflection on convex domains and Nehari quasidisks
The estimate $$\RR\{a_2f\}>-\frac12$$ derived for convex mappings in \cite{FMR}, is interpreted here in terms of the Ahlfors-Weill reflection to show that for such domains $\Om$, the mediatrix of the segment $[w, \mR_w]$ joining a point $w\in\Om$ and its reflection $\mR_w$ lies always outside $\Om$. In particular, the midpoint of the segment is also outside $\Om$. We determine the extremal cases when such a midpoint can lie of the boundary $\partial\Om$. The normalization $\fd=\frac{f}{1+a_2f}$…

Opeens ontbrak één titel in de zoekresultaten van databank LexisNexis: Het Financieele Dagblad. Opzet of een technische fout, vroeg ik me af. Op Villamedia.nl lees je vandaag mijn bevindingen in een notendop. Meer achtergronden en details voor vakgenoten én studenten op Reporters Online
https://re…

Great post by @… on the “tragic deprivation of sum types”, and about what's missing from much of modern software development.
https://graydon2.dreamwidth.org/318788.html…

Probing Flavour Deconstruction via Primordial Gravitational Waves
Noemi Fabri, Gino Isidori, Davide Racco
https://arxiv.org/abs/2509.12414 https://arxiv.or…

Probing Flavour Deconstruction via Primordial Gravitational Waves
We study the production of primordial gravitational waves (GWs) from first-order phase transitions (FOPTs) in extensions of the Standard Model based on Flavour Deconstruction (FD). The link fields inherent to FD generically form a rich scalar sector, with sizeable couplings at the TeV scale, providing natural conditions for strong FOPTs and correspondingly large GW emission. We identify the key parameters controlling the GW spectrum and enabling its detection at future GW observatories. In part…

Full-Duplex Beamforming Optimization for Near-Field ISAC
Ahsan Nazar, Zhambyl Shaikhanov, Sennur Ulukus
https://arxiv.org/abs/2508.14753 https://arxiv.org/…

Full-Duplex Beamforming Optimization for Near-Field ISAC
Integrated Sensing and Communications (ISAC) is a promising technology for future wireless networks, enabling simultaneous communication and sensing using shared resources. This paper investigates the performance of full-duplex (FD) communication in near-field ISAC systems, where spherical-wave propagation introduces unique beam-focusing capabilities. We propose a joint optimization framework for transmit and receive beamforming at the base station to minimize transmit power while satisfying ra…

Spanning Factorizations in Vertex-Transitive Digraphs of Degree 2
Vance Faber
https://arxiv.org/abs/2509.13432 https://arxiv.org/pdf/2509.13432

Spanning Factorizations in Vertex-Transitive Digraphs of Degree 2
We investigate spanning 1-factorizations in vertex-transitive digraphs of arbitrary out-degree d. The guiding question is whether every such digraph admits a spanning 1-factorization that includes, for each vertex v, all d out-edges (v, F1(v)) from v. Equivalently, does there always exist a spanning factorization containing the empty word together with the full set of generators {F1, ..., Fd}? This paper addresses the case d = 2. Using the structure of alternating cycles and block systems, we…

Only two nights to go - if you're in Edinburgh, see us at the Fringe at Paradise in Augustines today or tomorrow at 19:05!
https://www.theater-u34.de/quartet/

JA21 grossiert in domheid op vrijwel alle gebieden, ze gaan voor de duurste energie (kernenergie) en willen stoppen met de rest.
""Kernenergie kost volgens die studie $180 per megawattuur, windenergie op land $61 per megawattuur en zonne-energie $58 per megawattuur. Niet voor niets zien voorstanders van kerncentrales ze vaak vooral als goede aanvulling op zon of wind, niet als vervanging."

🎁 Enkel kernenergie is vooral heel duur
JA21 wil zoveel mogelijk stoppen met wind- en zonne-energie. Een kernenergieoffensief moet energie weer betaalbaar en betrouwbaar maken.

Communication-Learning Co-Design for Differentially Private Over-the-Air Federated Distillation
Zihao Hu (The Chinese University of Hong Kong), Jia Yan (The Hong Kong University of Science and Technology), Ying-Jun Angela Zhang (The Chinese University of Hong Kong)
https://arxiv.org/abs/2508.06557 …

Communication-Learning Co-Design for Differentially Private Over-the-Air Federated Distillation
The ever-growing learning model size nowadays challenges the communication efficiency and privacy preservation of the traditional federated learning (FL). In this paper, we propose a novel differentially private (DP) over-the-air federated distillation (FD) framework, where wireless devices (WDs) periodically share noise-perturbed model outputs with the parameter server by harnessing the superposition property of multi-access channels. Accordingly, over-the-air FD enables the shared responsibil…

FD-DiT: Frequency Domain-Directed Diffusion Transformer for Low-Dose CT Reconstruction
Qiqing Liu, Guoquan Wei, Zekun Zhou, Yiyang Wen, Liu Shi, Qiegen Liu
https://arxiv.org/abs/2506.23466

FD-DiT: Frequency Domain-Directed Diffusion Transformer for Low-Dose CT Reconstruction
Low-dose computed tomography (LDCT) reduces radiation exposure but suffers from image artifacts and loss of detail due to quantum and electronic noise, potentially impacting diagnostic accuracy. Transformer combined with diffusion models has been a promising approach for image generation. Nevertheless, existing methods exhibit limitations in preserving finegrained image details. To address this issue, frequency domain-directed diffusion transformer (FD-DiT) is proposed for LDCT reconstruction. …

On my way to Stuttgart to #jfs2025, where I'll give a talk with @… on where all those shiny new toys in Java come from.

Java gestern, heute und morgen - Java Forum Stuttgart
Java ist inzwischen 30 Jahre alt, und hat seit der Geburt viele Features dazubekommen. Die meisten davon wurden nicht vom JDK-Team erfunden, sondern aus anderen Programmiersprachen und Forschungsarbeiten angepasst übernommen. Durch die mittlerweile halbjährlichen Releases gibt es aktuell viel Bewegung im Java Ökosystem. Und die nächste tolle Funktion gibt es höchstwahrscheinlich schon irgendwo da draußen. Aber wisst Ihr eigentlich, woher die Features der Vergangenheit kommen? Und können …

Just heard some sirens, checked local FD/EMS dispatch, and...
A motor vehicle accident not far from me was paged out as *three* battallion chiefs, *two* engines, and *one* medic unit.
I can't imagine that's a standard response for a MVA, I wonder what kind of crash would dictate such a top-heavy response.

Simultaneous observations of multiple ELVES and SPRITES at the Pierre Auger Observatory
Roberto Mussa (for the Pierre Auger Collaboration)
https://arxiv.org/abs/2507.11641

Simultaneous observations of multiple ELVES and SPRITES at the Pierre Auger Observatory
Since 2014, the Pierre Auger Observatory has exploited a dedicated trigger and its very high time resolution to study ELVES and harvest record samples of multiple ELVES using the Fluorescence Detector (FD). In 2017, after extending the readout of trace lengths to 0.9 ms, we started observing other types of light transients from the base of the ionosphere, such as HALOS, which deserved further investigation. In December 2023 and April 2024, we installed two additional cameras (TLECAMs), which al…

Simultaneous observations of multiple ELVES and SPRITES at the Pierre #Auger Observatory: https://arxiv.org/abs/2507.11641 -> "the Pierre Auger Observatory has exploited a dedicated trigger and its very high time resolution to study ELVES and harvest record samples of multiple ELVES using the Fluorescence Detector (FD). In 2017, after extending the readout of trace lengths to 0.9 ms, we started observing other types of light transients from the base of the ionosphere, such as HALOS, which deserved further investigation. In December 2023 and April 2024, we installed two additional cameras (TLECAMs), which allow us to perform simultaneous detection of these transients with higher space resolution and longer integration times. Here, we present our first simultaneous observations of SPRITES and ELVES by both TLECAMs and FD."

So, ich muss einfach mal schlechtes Wetter posten. Stellplatz. Peter Ording [2024]

Are Fourier Neural Operators Really Faster for Time-Domain Wave Propagation?
Dimitri Voytan, Litan Li
https://arxiv.org/abs/2508.11119 https://arxiv.org/pd…

Are Fourier Neural Operators Really Faster for Time-Domain Wave Propagation?
Fourier Neural Operators (FNOs) have been promoted as fast, mesh-invariant surrogates for partial-differential equation solvers, with seismic studies reporting orders-of-magnitude speedup over classical methods. We revisit those claims by benchmarking a state-of-the-art Tucker-tensorized FNO (TFNO) against highly optimized, GPU-accelerated finite-difference (FD) codes for four wave-physics formulations: isotropic acoustic, TTI-acoustic, isotropic elastic, and VTI-elastic. To isolate inference c…

Presentations for semigroups of full-domain partitions
Luka Carroll, James East, Matthias Fresacher
https://arxiv.org/abs/2507.05497 https://

Presentations for semigroups of full-domain partitions
The full-domain partition monoid $P_n^{fd}$ has been discovered independently in two recent studies on connections between diagram monoids and category theory. It is a right restriction Ehresmann monoid, and contains both the full transformation monoid and the join semilattice of equivalence relations. In this paper we give presentations (by generators and relations) for $P_n^{fd}$, its singular ideal, and its planar submonoid. The latter is not an Ehresmann submonoid, but it is a so-called grr…

Arrived in Edinburgh - hello Fringe!

The largest Forbush decrease in 20 years: Preliminary analysis of SEVAN network observations
A. Chilingarian, T. Karapetyan, B. Sargsyan
https://arxiv.org/abs/2506.17917

The largest Forbush decrease in 20 years: Preliminary analysis of SEVAN network observations
We present a preliminary analysis of the largest Forbush Decrease (FD) observed in solar cycle 25 using SEVAN network data. Triggered by consecutive Earth-directed CMEs on May 30 and 31, 2025, this event produced two distinct FD minima and a prolonged recovery, with significant anisotropies in cosmic ray response across the network. The timing of interplanetary shock arrivals was confirmed by SSC signatures at 05:22 UTC on June 1 and 10:19 UTC on June 2, marking the onset of each FD phase. The …

Recent Highlights from the Auger Engineering Radio Array
Marvin Gottowik (for the Pierre Auger Collaboration)
https://arxiv.org/abs/2507.08510 https://

Recent Highlights from the Auger Engineering Radio Array
The Auger Engineering Radio Array (AERA) consists of 153 autonomous antenna stations deployed over 17 km^2 to measure the radio emission from extensive air showers initiated by cosmic rays with energies between 0.1 and 10 EeV in the 30 to 80 MHz frequency band. It operates in coincidence with the other detectors of the Pierre Auger Observatory particularly the Surface Detector (SD) and the Fluorescence Detector (FD). As the largest cosmic-ray radio detector worldwide before the recent Observato…

Learning Latent Representations for Image Translation using Frequency Distributed CycleGAN
Shivangi Nigam, Adarsh Prasad Behera, Shekhar Verma, P. Nagabhushan
https://arxiv.org/abs/2508.03415

Learning Latent Representations for Image Translation using Frequency Distributed CycleGAN
This paper presents Fd-CycleGAN, an image-to-image (I2I) translation framework that enhances latent representation learning to approximate real data distributions. Building upon the foundation of CycleGAN, our approach integrates Local Neighborhood Encoding (LNE) and frequency-aware supervision to capture fine-grained local pixel semantics while preserving structural coherence from the source domain. We employ distribution-based loss metrics, including KL/JS divergence and log-based similarity …

FD-Bench: A Full-Duplex Benchmarking Pipeline Designed for Full Duplex Spoken Dialogue Systems
Yizhou Peng, Yi-Wen Chao, Dianwen Ng, Yukun Ma, Chongjia Ni, Bin Ma, Eng Siong Chng
https://arxiv.org/abs/2507.19040

FD-Bench: A Full-Duplex Benchmarking Pipeline Designed for Full Duplex Spoken Dialogue Systems
Full-duplex spoken dialogue systems (FDSDS) enable more natural human-machine interactions by allowing real-time user interruptions and backchanneling, compared to traditional SDS that rely on turn-taking. However, existing benchmarks lack metrics for FD scenes, e.g., evaluating model performance during user interruptions. In this paper, we present a comprehensive FD benchmarking pipeline utilizing LLMs, TTS, and ASR to address this gap. It assesses FDSDS's ability to handle user interruptions,…

Goed samengevat,
"Dat alles met dank aan de VVD. De zogenaamde ‘bestuurderspartij’ ging uit puur opportunisme regeren met drie amateuristische partijen, aan de hand van een hoofdlijnenakkoord waarin cruciale keuzes vooruit werden geschoven en onder leiding van een politiek onervaren procesbegeleider als premier."
https://

🎁 Onbestuurbaar 
Iedereen zag vanaf de eerste dag dat dit experiment zou mislukken. Maar die mislukking was het doel.

Sources: the US FDA's AI tool Elsa has fabricated nonexistent studies, misrepresented research, and cannot access relevant documents to assist with review work (Sarah Owermohle/CNN)
https://cnn.com/2025/07/23/politics/fda-ai-elsa-drug-regulation-makary

FDA’s artificial intelligence is supposed to revolutionize drug approvals. It’s making up studies
Insiders tell CNN the FDA’s AI is “hallucinating” studies and can’t access key documents. Agency leaders insist the AI is getting better, and use is not mandatory.

It seems that the #jfs2025 talk I gave with @… was well-received - on programming-language history, of all things.

A new window into the sub-parsec scale magnetic field in the Milky Way? Unveiling small-scale magneto-ionic structures with Faraday complexity
Yik Ki Ma, Amit Seta, N. M. McClure-Griffiths, C. L. Van Eck, S. A. Mao, A. Ordog, J. C. Brown, T. O. Kovacs, Takuya Akahori, K. Kurahara, L. Oberhelman, C. S. Anderson
https://arxiv.org/…

A new window into the sub-parsec scale magnetic field in the Milky Way? Unveiling small-scale magneto-ionic structures with Faraday complexity
Radio broadband spectro-polarimetric observations are sensitive to the spatial fluctuations of the Faraday depth (FD) within the telescope beam. Such FD fluctuations are referred to as "Faraday complexity", and can unveil small-scale magneto-ionic structures in both the synchrotron-emitting and the foreground volumes. We explore the astrophysical origin of the Faraday complexity exhibited by 191 polarised extragalactic radio sources (EGSs) within 5 deg from the Galactic plane in the longitude r…

The good folks at #MuniHac have already put up the video of my keynote “Six Years of FUNAR – Teaching Software Architecture and Haskell to the Uninitiated”!
https://www.youtube.com/watch?v=WRoYKBXWJes…

Template-Based Schema Matching of Multi-Layout Tenancy Schedules:A Comparative Study of a Template-Based Hybrid Matcher and the ALITE Full Disjunction Model
Tim Uilkema, Yao Ma, Seyed Sahand Mohammadi Ziabari, Joep van Vliet
https://arxiv.org/abs/2507.02020

Template-Based Schema Matching of Multi-Layout Tenancy Schedules:A Comparative Study of a Template-Based Hybrid Matcher and the ALITE Full Disjunction Model
The lack of standardized tabular formats for tenancy schedules across real estate firms creates significant inefficiencies in data integration. Existing automated integration methods, such as Full Disjunction (FD)-based models like ALITE, prioritize completeness but result in schema bloat, sparse attributes and limited business usability. We propose a novel hybrid, template-based schema matcher that aligns multi-layout tenancy schedules to a predefined target schema. The matcher combines schema…

One week to go until our Fringe premiere of Heiner Müller's "Quartet".
Join us in the bunker Aug 4-9 19:05 at Paradise in Augustines!
https://www.theater-u34.de/quartet/

Finite dimensional amenable groups
Anna Erschler, Ivan Mitrofanov
https://arxiv.org/abs/2508.20296 https://arxiv.org/pdf/2508.20296

Finite dimensional amenable groups
We show that an amenable group of finite Assouad-Nagata dimension satisfies the property $H_{FD}$ of Shalom. Such infinite groups are known to admit a virtual homomorphism onto $\mathbb{Z}$, and thus our result implies that an amenable group of finite $AN$-dimension cannot be a simple group. We can also conclude that an amenable group of finite $AN$-dimension cannot be a torsion group. Our proof is based on new estimates of diameters of Følner couples. We prove that any amenable group of fin…

Finally approaching #MuniHac, where I will talk about teaching Functional Software Architecture on Sunday.
https://munihac.de/2025.htm

Genauso habe ich Palmer im Kontakt auch erlebt: Wohlwollend könnte man sagen "keinerlei Interesse an Fakten”, aber angesichts Position, Bildungshintergrund und intendierter Wirkung darf man von Lüge sprechen.
https://reporter.social/@pikarl/114812281613451170

This was so much fun - Alex has lots to say about art, programming, creativity, learning, and Haskell, of course!
https://functional.cafe/@HaskellInterlude/114816498470214539

Connections between hyperlinearity, stability and character rigidity for higher rank lattices
Alon Dogon, Itamar Vigdorovich
https://arxiv.org/abs/2506.20843

Connections between hyperlinearity, stability and character rigidity for higher rank lattices
Let $Γ$ be an irreducible lattice in a semisimple Lie group of real rank at least $2$. Suppose that $Γ$ has property (T;FD), that is, its finite dimensional representations have a uniform spectral gap. We show that if $Γ$ is (flexibly) Hilbert--Schmidt stable then: $(a)$ infinite central extensions $\widetildeΓ$ of $Γ$ are not hyperlinear, and $(b)$ every character of $Γ$ is either finite-dimensional or induced from the center (character rigidity). As a consequence, a positive answer to t…

Today in Edinburgh, talk at LFCS, then performance at Edinburgh Fringe.
https://informatics.ed.ac.uk/lfcs/lfcs-seminar-tuesday-5th-august-michael-sperber

Dredging up recollections of my experience as R6RS editor for my PLSS talk tomorrow.
https://2025.ecoop.org/details/plss-2025-papers/8/Do-Programming-Languages-Fulfill-Requirements-Should-They-

Shocked that PLDI 2026 will be in the US - I thought it would be blindingly obvious that the US are not a viable place for an international academic conference anymore. Just wrote an e-mail to the ICFP SC to that effect, just in case.

Pinching Antenna System for Integrated Sensing and Communications
Haochen Li, Ruikang Zhong, Jiayi Lei, Yuanwei Liu
https://arxiv.org/abs/2508.19540 https://

Pinching Antenna System for Integrated Sensing and Communications
Recently, the pinching antenna system (PASS) has attracted considerable attention due to their advantages in flexible deployment and reduction of signal propagation loss. In this work, a multiple waveguide PASS assisted integrated sensing and communication (ISAC) system is proposed, where the base station (BS) is equipped with transmitting pinching antennas (PAs) and receiving uniform linear array (ULA) antennas. The full-duplex (FD) BS transmits the communication and sensing signals through th…

Video of my SPLSS 2025 talk “Do Programming Languages Fulfill Requirements? Should They?” is online.
https://www.youtube.com/watch?v=rhC6bBa8Rf8

Our trip down Müller's play started over a decade ago, with rehearsals finally starting a year before the pandemic. The script has so many facets, it's imperative to give a production a unique focus. It took us until 2024 to find ours: Amidst all the brutality and perversion, it's a love story.
https://chao…

I'll be in Edinburgh next week, mainly for the Fringe, but I'll also give a talk at LFS/U Edinburgh on Tuesday:
https://informatics.ed.ac.uk/lfcs/lfcs-seminar-tuesday-5th-august-michael-sperber

Jeez, year after year after year, and the @… registration is still an absolute shitshow.

So much this.
https://mastodon.social/@wingo/114771559700542464

I've put preprints of our FUNARCH papers on my home page (“Six Years of FUNAR - Functional Training for Software Architects”, “Evolution of Functional UI Paradigms”).
https://www.deinprogramm.de/sperber/papers/

Failing at keeping apart Niklas Luhmann, Marshall McLuhan, and Baz Luhrmann.

The Call for the 2026 International Symposium on Functional and Logic Programming (FLOPS) is open - the symposium itself will be May 26-28 in Akita, Japan. Deadline for the CfP is Dec 8 (abstracts) / Dec 16 (submissions).
Send us your best on the best of both worlds! (Also check out the new logo.)
https://function…

So far, the fix for every musculoskeletal problem I've had seems to basically be "get better at ballet”.

English-language trailer for "Quartet" just dropped!
https://chaos.social/@theateru34/114742812225916947