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…

Liebe Community,
wir freuen uns sehr, Euch ab morgen auf unserem #NFDI4Culture Community Plenary in #Mainz begrüßen zu dürfen!
Ebenso freuen wir uns, einander persönlich wiederzusehen und gemeinsam mit Euch den erfolgreichen Abschluss unserer 1. Förderphase zu feiern. 🎊 💃 🕺
Findet mi…

Sources: Polymarket is in early talks with investors to raise funds at a $12B-$15B valuation, up from ~$8B pre-investment in a deal announced earlier this month (Kate Clark/Bloomberg)
https://www.bloomberg.com/news/articles/20

Ouwehand die Brekelmans laat zien waar het hier over gaat.
Directe link naar Debat Direct:
https://debatdirect.tweedekamer.nl/2025-08-22/overig/plenaire-zaal/twe…

Aligned, Multiple-transient Events in the First #PalomarSkySurvey / Transients in the Palomar Observatory Sky Survey (POSS-I) may be associated with nuclear testing and reports of unidentified anomalous phenomena: https://iopscience.iop.org/article/10.1088/1538-3873/ae0afe / https://www.nature.com/articles/s41598-025-21620-3 -> Unexpected patterns in historical astronomical observations: https://www.su.se/english/news/unexpected-patterns-in-historical-astronomical-observations-1.855042 -> summary of why these papers are doubtful: https://x.com/MickWest/status/1980690132543107204 - links to deep discussions.

The new Deftones record 'Private Music' is DAMN good and worth a listen
Edit - it's on Bandcamp: https://deftonesofficial.bandcamp.com/album/private-music
And YouTube too, if you just wanna do it there:

Planar Tur\'an number of disjoint union of $C_3$ and $C_5$
Luyi Li, Ping Li, Guiying Yan, Qiang Zhou
https://arxiv.org/abs/2507.16351 https://

Planar Turán number of disjoint union of $C_3$ and $C_5$
The planar Turán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. The planar Turán number of $k\geq 3$ vertex-disjoint union of cycles is the trivial value $3n-6$. Let $C_{\ell}$ denote the cycle of length $\ell$ and $C_{\ell}\cup C_t$ denote the union of disjoint cycles $C_{\ell}$ and $C_t$. The planar Turán number $ex_{\mathcal{P}}(n,H)$ is known if $H=C_{\ell}\cup C_k$, where $\ell,k\in \{3,4\}$. In this paper, we de…

3D Near-Field Beam Training for Uniform Planar Arrays through Beam Diverging
Ran Li, Ziyi Xu, Ying-Jun Angela Zhang
https://arxiv.org/abs/2509.16055 https://

3D Near-Field Beam Training for Uniform Planar Arrays through Beam Diverging
In future 6G communication systems, large-scale antenna arrays promise enhanced signal strength and spatial resolution, but they also increase the complexity of beam training. Moreover, as antenna counts grow and carrier wavelengths shrink, the channel model transits from far-field (FF) planar waves to near-field (NF) spherical waves, further complicating the beam training process. This paper focuses on millimeter-wave (mmWave) systems equipped with large-scale uniform planar arrays (UPAs), whi…

The NHL reaches multiyear licensing agreements with prediction market startups Kalshi and Polymarket, the first major US league to allow use of its trademarks (Alexander Osipovich/Wall Street Journal)
https://www.

Polymarket and Kalshi surpassed $2B in notional trading volume in the week ending Oct. 19, exceeding the previous peak during the 2024 US presidential election (Emily Nicolle/Bloomberg)
https://www.bloomberg.com/news/articles/20