Tootfinder

"Printing Types: Their History, Forms & Use, A Study in Survivals" – First and second editions by Daniel Berkeley Updike, 1922, 1937, Digital edition by Nicholas Rougeux, 2025
https://www.c82.net/printing-types/
Making-of:

The #MobilityDB team just announced v1.3.0-alpha featuring
New temporal types:
🆕 tgeometry & tgeography that can represent the temporal evolution of any geometry type (polygon, multipoint, etc.)
🆕 temporal circular buffer (tcbuffer)
🆕 temporal pose (tpose) type, storing the evolution of a pose
(point position orientation)
and more ...

Release MobilityDB v1.3.0-alpha · MobilityDB/MobilityDB
This is the alpha release for MobilityDB 1.3. Major changes w.r.t. 1.2 New temporal types: New temporal geometry tgeometry and temporal geography tgeography types, which can represent the temporal...

The Mineralogical Connection between M- and K-type Asteroids as Indicated by Polarimetry: #asteroids may actually share same origin story: https://www.ipac.caltech.edu/news/two-different-types-of-asteroids-may-actually-share-same-origin-story

Introduction to AT Protocol – mackuba.eu https://mackuba.eu/2025/08/20/introduction-to-atproto/

Introduction to AT Protocol
Walkthrough of the various parts and concepts in Bluesky's AT Protocol (ATProto), the types of servers involved and how it all fits together

All-sky neutrino point-source search with #IceCube combined track and cascade data: https://arxiv.org/abs/2507.07275 -> IceCube’s first hunt for neutrino sources using two types of signals: https://icecube.wisc.edu/news/research/2025/07/icecubes-first-hunt-for-neutrino-sources-using-two-types-of-signals/

law_firm: Lazega law firm network
Multiplex network with 3 edge types representing relationships (coworkers, friendship, advice) between partners and associates of a corporate law firm. Data hosted by Manlio De Domenico.
This network has 71 nodes and 2571 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://net…

What is happening? Have I gone through the looking glass?? C-suite types are saying things about AI that…actually make sense?!?
AWS CEO Matt Garman: “My view is you absolutely want to keep hiring kids out of college and teaching them the right ways to go build software and decompose problems and think about it, just as much as you ever have.” https://mastodon.social/@fromjason/115067646625547469

Finally getting around to playing with Typescript. Initial thoughts, I'm not sure how much value it really has over plain Javascript. I want to think it adds value, but I'm not sure that it does for the little i want to do with either. It "feels" better having types assigned, but the rare times I'm writing Javascript I'm thinking in types anyway and not really using libraries, plus always trying to go as minimal as possible. So I kind of doubt I'm catching many …

wheee, today i taught myself to examine encrypted QUIC streams by extracting key material from a browser and then examining the wire protocol in wireshark :D
if you use wireshark >=4.4, it can unpack many types of custom compression QUIC uses

Towards a DSL to Formalize Multimodal Requirements
Marcos Gomez-Vazquez, Jordi Cabot
https://arxiv.org/abs/2508.14631 https://arxiv.org/pdf/2508.14631

Towards a DSL to Formalize Multimodal Requirements
Multimodal systems, which process multiple input types such as text, audio, and images, are becoming increasingly prevalent in software systems, enabled by the huge advancements in Machine Learning. This triggers the need to easily define the requirements linked to these new types of user interactions, potentially involving more than one modality at the same time. This remains an open challenge due to the lack of languages and methods adapted to the diverse nature of multimodal interactions, wi…

There are two types of Linux developers - those who can spell, and
those who can't. There is a constant pitched battle between the two.
(From one of the post-1.1.54 kernel update messages posted to c.o.l.a)

Homotopy types of S^{2k-1}-bundles over S^{2k}
Zhongjian Zhu, Jianzhong Pan
https://arxiv.org/abs/2508.13800 https://arxiv.org/pdf/2508.13800

Homotopy types of S^{2k-1}-bundles over S^{2k}
In this paper, we give the new necessary and sufficient conditions on the attaching map $f$ of the top cell of a CW-complex having the homotopy type of the total space of $S^{2k-1}$-fibration over $S^{2k}$ for any $k\geq 2$. As an application, we give the homotopy classification of the $S^{2k-1}$-bundles over $S^{2k}$ for some specific numbers $k\geq 2$ in our subsequent paper.

Weird flex, both @… and @… are mentioned on "Introduction to AT Protocol" https://

Introduction to AT Protocol
Walkthrough of the various parts and concepts in Bluesky's AT Protocol (ATProto), the types of servers involved and how it all fits together

It's been delightful to see all the imaginative responses to this cartoon, detailing various types of sabotage on the silo's ventilation, or how to properly seal the door forever.
For me, the amusing thing was that something so cheap and simple is used to defeat something so complicated and expensive. It's a lovely dig at the tech bros who think they're so smart. #humour

I have a definite love-hate relationship with vulkan-hpp. Not using raw C vulkan calls is super nice...
But sudden build failures with no warning due to them making breaking changes to function return types? Not so nice. They seem to feel they can make breaking changes freely at any time and don't do a great job of documenting said changes.

Refinement-Types Driven Development: A study
Facundo Dom\'inguez, Arnaud Spiwack
https://arxiv.org/abs/2509.15005 https://arxiv.org/pdf/2509.15005

Refinement-Types Driven Development: A study
This paper advocates for the broader application of SMT solvers in everyday programming, challenging the conventional wisdom that these tools are solely for formal methods and verification. We claim that SMT solvers, when seamlessly integrated into a compiler's static checks, significantly enhance the capabilities of ordinary type checkers in program composition. Specifically, we argue that refinement types, as embodied by Liquid Haskell, enable the use of SMT solvers in mundane programming tas…

A robust and compliant robotic assembly control strategy for batch precision assembly task with uncertain fit types and fit amounts
Bin Wang, Jiwen Zhang, Song Wang, Dan Wu
https://arxiv.org/abs/2508.12296

A robust and compliant robotic assembly control strategy for batch precision assembly task with uncertain fit types and fit amounts
In some high-precision industrial applications, robots are deployed to perform precision assembly tasks on mass batches of manufactured pegs and holes. If the peg and hole are designed with transition fit, machining errors may lead to either a clearance or an interference fit for a specific pair of components, with uncertain fit amounts. This paper focuses on the robotic batch precision assembly task involving components with uncertain fit types and fit amounts, and proposes an efficient method…

Hunting for new glitches in LIGO data using community science
E Mackenzie, C P L Berry, G Niklasch, B T\'egl\'as, C Unsworth, K Crowston, D Davis, A K Katsaggelos
https://arxiv.org/abs/2508.13923

Hunting for new glitches in LIGO data using community science
Data from ground-based gravitational-wave detectors like LIGO contain many types of noise. Glitches are short bursts of non-Gaussian noise that may hinder our ability to identify or analyse gravitational-wave signals. They may have instrumental or environmental origins, and new types of glitches may appear following detector changes. The Gravity Spy project studies glitches and their origins, combining insights from volunteers on the community-science Zooniverse platform with machine learning. …

A Near-Infrared Spectral Library of Very Young Brown Dwarfs and Planetary-Mass Objects in the Orion Nebula Cluster
Elena Manjavacas, Mario Gennaro, Sarah Betti, Laurent Pueyo, William Balmer, Massimo Robberto
https://arxiv.org/abs/2508.14035

A Near-Infrared Spectral Library of Very Young Brown Dwarfs and Planetary-Mass Objects in the Orion Nebula Cluster
Age-benchmark brown dwarfs' and planetary-mass objects' spectroscopy is key to characterize substellar evolution. In this paper we present the JHK medium resolution (R~3000) spectra of 25 7-75 M_Jup (spectral types L3.0-M6.0) brown dwarfs and planetary-mass objects in the Orion Nebula Cluster obtained with MOSFIRE installed at the W. M. Keck I telescope. We obtained the spectral types of the targets in our sample using template brown dwarf and planetary-mass objects' spectra. We confirmed their…

Traiterous scum.
https://mstdn.social/@GottaLaff/115237346204539624

Minimum Clustering of Matrices Based on Phase Alignment
Honghao Wu, Kemi Ding, Li Qiu
https://arxiv.org/abs/2507.13678 https://arxiv.…

Minimum Clustering of Matrices Based on Phase Alignment
Coordinating multi-agent systems requires balancing synchronization performance and controller implementation costs. To this end, we classify agents by their intrinsic properties, enabling each group to be controlled by a uniform controller and thus reducing the number of unique controller types required. Existing centralized control methods, despite their capability to achieve high synchronization performance with fewer types of controllers, suffer from critical drawbacks such as limited scala…

interesting discussion about algebraic types … all the examples of type subtraction are in a context that has subtyping
https://lobste.rs/s/jxprbr/algebraic_types_are_not_scary_actually#c_271guc

"La Fédération des entreprises de Belgique (FEB) et la Fédération de l’industrie alimentaire (Fevia) rejettent la taxe annuelle sur les déchets sauvages telle qu’envisagée par les Régions"
On doit être dans le bon, alors.
#déchets #plastique

Modular Multiparty Sessions with Mixed Choice
Franco Barbanera (DMI - University of Catania), Mariangiola Dezani-Ciancaglini (DI- University of Torino)
https://arxiv.org/abs/2508.13616

Modular Multiparty Sessions with Mixed Choice
MultiParty Session Types (MPST) provide a useful framework for safe concurrent systems. Mixed choice (enabling a participant to play at the same time the roles of sender and receiver) increases the expressive power of MPST as well as the difficulty in controlling safety of communications. Such a control is more viable when modular systems are considered and the power of mixed choice fully exploited only inside loosely coupled modules. We carry over such idea in a type assignment approach to mul…

TASER: Table Agents for Schema-guided Extraction and Recommendation
Nicole Cho, Kirsty Fielding, William Watson, Sumitra Ganesh, Manuela Veloso
https://arxiv.org/abs/2508.13404 …

TASER: Table Agents for Schema-guided Extraction and Recommendation
Real-world financial documents report essential information about an entity's financial holdings that can span millions of different financial instrument types. Yet, these details are often buried in messy, multi-page, fragmented tables - for example, 99.4% of the tables in our dataset have no bounding boxes with the maximum number of rows amounting to 426 per table across 44 pages. To tackle these unique challenges from real-world tables, we present a continuously learning, agentic table extra…

Convergent Reinforcement Learning Algorithms for Stochastic Shortest Path Problem
Soumyajit Guin, Shalabh Bhatnagar
https://arxiv.org/abs/2508.13963 https://

Convergent Reinforcement Learning Algorithms for Stochastic Shortest Path Problem
In this paper we propose two algorithms in the tabular setting and an algorithm for the function approximation setting for the Stochastic Shortest Path (SSP) problem. SSP problems form an important class of problems in Reinforcement Learning (RL), as other types of cost-criteria in RL can be formulated in the setting of SSP. We show asymptotic almost-sure convergence for all our algorithms. We observe superior performance of our tabular algorithms compared to other well-known convergent RL algo…

OmViD: Omni-supervised active learning for video action detection
Aayush Rana, Akash Kumar, Vibhav Vineet, Yogesh S Rawat
https://arxiv.org/abs/2508.13983 https://

OmViD: Omni-supervised active learning for video action detection
Video action detection requires dense spatio-temporal annotations, which are both challenging and expensive to obtain. However, real-world videos often vary in difficulty and may not require the same level of annotation. This paper analyzes the appropriate annotation types for each sample and their impact on spatio-temporal video action detection. It focuses on two key aspects: 1) how to obtain varying levels of annotation for videos, and 2) how to learn action detection from different annotati…

law_firm: Lazega law firm network
Multiplex network with 3 edge types representing relationships (coworkers, friendship, advice) between partners and associates of a corporate law firm. Data hosted by Manlio De Domenico.
This network has 71 nodes and 2571 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://net…

the Japanese Wikipedia page about the vertiginous question (なぜ私は私なのか) is kinda cute

AR-TMT: Investigating the Impact of Distraction Types on Attention and Behavior in AR-based Trail Making Test
Sihun Baek, Zhehan Qu, Maria Gorlatova
https://arxiv.org/abs/2509.13468

AR-TMT: Investigating the Impact of Distraction Types on Attention and Behavior in AR-based Trail Making Test
Despite the growing use of AR in safety-critical domains, the field lacks a systematic understanding of how different types of distraction affect user behavior in AR environments. To address this gap, we present AR-TMT, an AR adaptation of the Trail Making Test that spatially renders targets for sequential selection on the Magic Leap 2. We implemented distractions in three categories: top-down, bottom-up, and spatial distraction based on Wolfe's Guided Search model, and captured performance, ga…

Can Large Language Models (LLMs) Describe Pictures Like Children? A Comparative Corpus Study
Hanna Woloszyn, Benjamin Gagl
https://arxiv.org/abs/2508.13769 https://

Can Large Language Models (LLMs) Describe Pictures Like Children? A Comparative Corpus Study
The role of large language models (LLMs) in education is increasing, yet little attention has been paid to whether LLM-generated text resembles child language. This study evaluates how LLMs replicate child-like language by comparing LLM-generated texts to a collection of German children's descriptions of picture stories. We generated two LLM-based corpora using the same picture stories and two prompt types: zero-shot and few-shot prompts specifying a general age from the children corpus. We con…

Howe duality for the dual pair $SL_2(\mathbb R) \times F_{4,1}$: a ping-pong of $K$-types
Gordan Savin
https://arxiv.org/abs/2508.12534 https://arxiv.org/p…

Howe duality for the dual pair $SL_2(\mathbb R) \times F_{4,1}$: a ping-pong of $K$-types
We prove Howe duality for an exceptional theta correspondence. To that end we exploit a pair of see-saw identities and relate the $K$-types of corresponding representations.

The Uniform Functional Interpretation with Informative Types
Fernando Ferreira, Paulo Oliva
https://arxiv.org/abs/2508.12781 https://arxiv.org/pdf/2508.127…

The Uniform Functional Interpretation with Informative Types
We discuss a new approach to functional interpretations based on uniform quantification and relativization. The uniform quantification in the background permits a more penetrating analysis of principles related to collection and contra-collection. Relativization comes from a computationally informative notion of being an element of a given type. The approach is flexible. When the information takes the shape of bounds, we can recapture a form of the combination of Gödel's functional dialectica …

What’s truly embarrassing is not that Trump, pathological liar and lifelong con man, said this.
What’s embarrassing is how many people who should have known better — isolationists, business-first types, even some leftists— actually kind of believed it.
https://mstdn.social/@ElleGray/114724501680343975

A Guide to Stakeholder Analysis for Cybersecurity Researchers
James C Davis, Sophie Chen, Huiyun Peng, Paschal C Amusuo, Kelechi G Kalu
https://arxiv.org/abs/2508.14796 https://…

A Guide to Stakeholder Analysis for Cybersecurity Researchers
Stakeholder-based ethics analysis is now a formal requirement for submissions to top cybersecurity research venues. This requirement reflects a growing consensus that cybersecurity researchers must go beyond providing capabilities to anticipating and mitigating the potential harms thereof. However, many cybersecurity researchers may be uncertain about how to proceed in an ethics analysis. In this guide, we provide practical support for that requirement by enumerating stakeholder types and mappi…

Research on Conversational Recommender System Considering Consumer Types
Yaying Luo, Hui Fang, Zhu Sun
https://arxiv.org/abs/2508.13209 https://arxiv.org/p…

Research on Conversational Recommender System Considering Consumer Types
Conversational Recommender Systems (CRS) provide personalized services through multi-turn interactions, yet most existing methods overlook users' heterogeneous decision-making styles and knowledge levels, which constrains both accuracy and efficiency. To address this gap, we propose CT-CRS (Consumer Type-Enhanced Conversational Recommender System), a framework that integrates consumer type modeling into dialogue recommendation. Based on consumer type theory, we define four user categories--depe…

Food safety trends across Europe: insights from the 392-million-entry CompreHensive European Food Safety (CHEFS) database
Nehir Kizililsoley, Floor van Meer, Osman Mutlu, Wouter F Hoenderdaal, Rosan G. Hob\'e, Wenjuan Mu, Arjen Gerssen, H. J. van der Fels-Klerx, \'Akos J\'o\'zwiak, Ioannis Manikas, Ali H\"urriyeto\v{g}lu, Bas H. M. van der Velden

Food safety trends across Europe: insights from the 392-million-entry CompreHensive European Food Safety (CHEFS) database
In the European Union, official food safety monitoring data collected by member states are submitted to the European Food Safety Authority (EFSA) and published on Zenodo. This data includes 392 million analytical results derived from over 15.2 million samples covering more than 4,000 different types of food products, offering great opportunities for artificial intelligence to analyze trends, predict hazards, and support early warning systems. However, the current format with data distributed ac…

Nonvanishing results for K\"ahler varieties
Andreas H\"oring, Vladimir Lazi\'c, Christian Lehn
https://arxiv.org/abs/2508.14634 https://arxiv…

Nonvanishing results for Kähler varieties
Nonvanishing theorems play a central role in birational geometry, since they derive geometric consequences from numerical information and constitute a crucial step towards abundance and semiampleness problems. General nonvanishing statements remain rare, especially in the Kähler setting. We present two types of nonvanishing results for compact Kähler varieties. First, on non-uniruled varieties with nonzero Euler-Poincaré characteristic, we prove nonvanishing for adjoint bundles of numerica…

DDoS Attacks in Cloud Computing: Detection and Prevention
Zain Ahmad, Musab Ahmad, Bilal Ahmad
https://arxiv.org/abs/2508.13522 https://arxiv.org/pdf/2508.…

DDoS Attacks in Cloud Computing: Detection and Prevention
DDoS attacks are one of the most prevalent and harmful cybersecurity threats faced by organizations and individuals today. In recent years, the complexity and frequency of DDoS attacks have increased significantly, making it challenging to detect and mitigate them effectively. The study analyzes various types of DDoS attacks, including volumetric, protocol, and application layer attacks, and discusses the characteristics, impact, and potential targets of each type. It also examines the existing…

Analog computation with transcriptional networks
David Doty, Mina Latifi, David Soloveichick
https://arxiv.org/abs/2508.14017 https://arxiv.org/pdf/2508.14…

Analog computation with transcriptional networks
Transcriptional networks represent one of the most extensively studied types of systems in synthetic biology. Although the completeness of transcriptional networks for digital logic is well-established, *analog* computation plays a crucial role in biological systems and offers significant potential for synthetic biology applications. While transcriptional circuits typically rely on cooperativity and highly non-linear behavior of transcription factors to regulate *production* of proteins, they a…

Friends Don't Let Friends Make Bad Graphs! Do you agree with the examples of bad graphs and the alternatives Chenxin Li (@chenxinli2.bsky.social) lists at #RStats

GitHub - cxli233/FriendsDontLetFriends: Friends don't let friends make certain types of data visualization - What are they and why are they bad.
Friends don't let friends make certain types of data visualization - What are they and why are they bad. - GitHub - cxli233/FriendsDontLetFriends: Friends don't let friends make certain ty...

DeepTelecom: A Digital-Twin Deep Learning Dataset for Channel and MIMO Applications
Bohao Wang, Zehua Jiang, Zhenyu Yang, Chongwen Huang, Yongliang Shen, Siming Jiang, Chen Zhu, Zhaohui Yang, Richeng Jin, Zhaoyang Zhang, Sami Muhaidat, Merouane Debbah
https://arxiv.org/abs/2508.14507

DeepTelecom: A Digital-Twin Deep Learning Dataset for Channel and MIMO Applications
Domain-specific datasets are the foundation for unleashing artificial intelligence (AI)-driven wireless innovation. Yet existing wireless AI corpora are slow to produce, offer limited modeling fidelity, and cover only narrow scenario types. To address the challenges, we create DeepTelecom, a three-dimension (3D) digital-twin channel dataset. Specifically, a large language model (LLM)-assisted pipeline first builds the third level of details (LoD3) outdoor and indoor scenes with segmentable mate…

DegDiT: Controllable Audio Generation with Dynamic Event Graph Guided Diffusion Transformer
Yisu Liu, Chenxing Li, Wanqian Zhang, Wenfu Wang, Meng Yu, Ruibo Fu, Zheng Lin, Weiping Wang, Dong Yu
https://arxiv.org/abs/2508.13786

DegDiT: Controllable Audio Generation with Dynamic Event Graph Guided Diffusion Transformer
Controllable text-to-audio generation aims to synthesize audio from textual descriptions while satisfying user-specified constraints, including event types, temporal sequences, and onset and offset timestamps. This enables precise control over both the content and temporal structure of the generated audio. Despite recent progress, existing methods still face inherent trade-offs among accurate temporal localization, open-vocabulary scalability, and practical efficiency. To address these challeng…

Solar wind bremsstrahlung in our Solar System at 21cm, 3mm, and 12microns Wavelengths
Gilles Couture
https://arxiv.org/abs/2508.14792 https://arxiv.org/pdf…

Solar wind bremsstrahlung in our Solar System at 21cm, 3mm, and 12microns Wavelengths
Using Monte Carlo techniques, we calculate the bremsstrahlung spectrum that protons and electrons in the solar wind would produce when encountering dark matter (DM) particles within the solar system. We consider two types of interactions for the DM: one where a spin-1/2 neutral DM particle interacts with matter through the exchange of a lighter neutral scalar DM particle and one where a scalar neutral DM particle interacts directly with the matter particle. We consider three wavelengths: 21 cm,…

Joint AP Selection and Power Allocation for Unicast-Multicast Cell-Free Massive MIMO
Mustafa S. Abbas, Zahra Mobini, Hien Quoc Ngo, Hyundong Shin, Michail Matthaiou
https://arxiv.org/abs/2508.13771

Joint AP Selection and Power Allocation for Unicast-Multicast Cell-Free Massive MIMO
Joint unicast and multicast transmissions are becoming increasingly important in practical wireless systems, such as Internet of Things networks. This paper investigates a cell-free massive multiple-input multiple-output system that simultaneously supports both transmission types, with multicast serving multiple groups. Exact closed-form expressions for the achievable downlink spectral efficiency (SE) of both unicast and multicast users are derived for zero-forcing and maximum ratio precoding d…

Novel Knockoff Generation and Importance Measures with Heterogeneous Data via Conditional Residuals and Local Gradients
Evan Mason, Zhe Fei
https://arxiv.org/abs/2508.14882 http…

Novel Knockoff Generation and Importance Measures with Heterogeneous Data via Conditional Residuals and Local Gradients
Knockoff variable selection is a powerful framework that creates synthetic knockoff variables to mirror the correlation structure of the observed features, enabling principled control of the false discovery rate in variable selection. However, existing methods often assume homogeneous data types or known distributions, limiting their applicability in real-world settings with heterogeneous, distribution-free data. Moreover, common variable importance measures rely on linear outcome models, hinde…

Enabling Efficient Hardware Acceleration of Hybrid Vision Transformer (ViT) Networks at the Edge
Joren Dumoulin, Pouya Houshmand, Vikram Jain, Marian Verhelst
https://arxiv.org/abs/2507.14651

Enabling Efficient Hardware Acceleration of Hybrid Vision Transformer (ViT) Networks at the Edge
Hybrid vision transformers combine the elements of conventional neural networks (NN) and vision transformers (ViT) to enable lightweight and accurate detection. However, several challenges remain for their efficient deployment on resource-constrained edge devices. The hybrid models suffer from a widely diverse set of NN layer types and large intermediate data tensors, hampering efficient hardware acceleration. To enable their execution at the edge, this paper proposes innovations across the har…

Algorithms for Stable Roommate with Externalities
Jing Leng, Sanjukta Roy
https://arxiv.org/abs/2508.14194 https://arxiv.org/pdf/2508.14194

Algorithms for Stable Roommate with Externalities
In the roommate matching model, given a set of 2n agents and n rooms, we find an assignment of a pair of agents to a room. Although the roommate matching problem is well studied, the study of the model when agents have preference over both rooms and roommates was recently initiated by Chan et al. [11]. We study two types of stable roommate assignments, namely, 4-person stable (4PS) and 2-person stable (2PS) in conjunction with efficiency and strategy-proofness. We design a simple serial dictato…

Constrained Flips in Plane Spanning Trees
Oswin Aichholzer, Joseph Dorfer, Birgit Vogtenhuber
https://arxiv.org/abs/2508.15520 https://arxiv.org/pdf/2508.1…

Constrained Flips in Plane Spanning Trees
A flip in a plane spanning tree $T$ is the operation of removing one edge from $T$ and adding another edge such that the resulting structure is again a plane spanning tree. For trees on a set of points in convex position we study two classic types of constrained flips: (1)~Compatible flips are flips in which the removed and inserted edge do not cross each other. We relevantly improve the previous upper bound of $2n-O(\sqrt{n})$ on the diameter of the compatible flip graph to~$\frac{5n}{3}-O(1)$…

eu_airlines: European airline network
A multiplex network of airline routes among European airports, where each of the 37 edge types represents routes by a different airline.
This network has 450 nodes and 3588 edges.
Tags: Transportation, Airport, Multilayer, Unweighted
https://networks.skewed.de/net/eu_airl…

Crosslisted article(s) found for cs.SI. https://arxiv.org/list/cs.SI/new
[1/1]:
- Research on Conversational Recommender System Considering Consumer Types
Yaying Luo, Hui Fang, Zhu Sun

Good Morning #Canada
It's a slow news day, historically speaking, so I'll share some local, very cool history related to my small community of Belle Ewart. As parts of our country experience heat waves, perhaps this post will remind you that it will get cold again. For you corporate types, a new definition of frozen assets. For everyone else, think about how far we've come as you rattle the ice cubes in your favourite drink.
#CanadaIsAwesome #iceIceBaby
https://www.orilliamatters.com/local-news/lake-simcoe-ice-company-thrived-in-late-19th-century-6192112

Replaced article(s) found for cs.DL. https://arxiv.org/list/cs.DL/new
[1/1]:
- Analysis of the Publication and Document Types in OpenAlex, Web of Science, Scopus, PubMed and Se...
Nick Haupka, Jack H. Culbert, Alexander Schniedermann, Najko Jahn, Philipp Mayr

Molecular Dynamics Study of Rayleigh-Plateau Instability at Liquid-Liquid Interfaces
Shunta Kikuchi, Hiroshi Watanabe
https://arxiv.org/abs/2507.13786 http…

Molecular Dynamics Study of Rayleigh-Plateau Instability at Liquid-Liquid Interfaces
We investigated the Rayleigh-Plateau instability at the interface between two immiscible liquids of equal viscosity using molecular dynamics simulations. We examined two types of initial conditions: one involving a single-mode perturbation at the interface and the other without any imposed perturbation. The growth rate under single-mode perturbation showed strong agreement with classical theory, particularly for large cylinder radii.However, for smaller radii, the growth rate deviated significa…

On the Ordering of Exoplanet Systems
Michael Lozovsky, Hagai B. Perets
https://arxiv.org/abs/2508.13274 https://arxiv.org/pdf/2508.13274

On the Ordering of Exoplanet Systems
We present a comprehensive analysis of planetary radii ordering within multi-planet systems, namely their ordinal position with respect to their size in a given system, utilizing data from the NASA Exoplanet Archive. In addition, we consider not only the ordinal positions but also the specific period ratios and radius ratios of planetary pairs in multi-planet systems. We explore various dependencies on stellar host type and metallicity, as well as planetary types, and explore the differences be…

reLAISS: A Python Package for Flexible Similarity Searches of Supernovae and Their Host Galaxies
E. Reynolds, A. Gagliano, V. A. Villar
https://arxiv.org/abs/2507.13449

reLAISS: A Python Package for Flexible Similarity Searches of Supernovae and Their Host Galaxies
Discovery rates of supernovae are expected to surpass one million events annually with the Vera C. Rubin Observatory. With unprecedented sample sizes of both common and rare transient types, photometric classification alone will be insufficient for finding one-in-a-million events and prioritizing the 1% of events for spectroscopic follow-up observations. Here, we present reLAISS, a modified framework for similarity searches of supernovae using extracted features of ZTF light curves and Pan-STAR…

Student explanation in middle and secondary mathematics and statistics: A scoping literature review
Huixin Gao, Tanya Evans, Anna Fergusson
https://arxiv.org/abs/2508.14417 http…

Student explanation in middle and secondary mathematics and statistics: A scoping literature review
This scoping review examines the literature on student explanation strategies in middle and secondary mathematics and statistics education from 2014 to 2024. Following the PRISMA protocol, we analyzed 41 studies that met the inclusion criteria. The findings classify student explanations into two types: self-explanation (SE) and peer explanation (PE). Both approaches enhance conceptual understanding and procedural knowledge, though each offers distinct benefits and challenges. SE is particularly…

Impact of homophily in adherence to anti-epidemic measures on the spread of infectious diseases in social networks
Piotr Bentkowski, Tomasz Gubiec
https://arxiv.org/abs/2507.13848

Impact of homophily in adherence to anti-epidemic measures on the spread of infectious diseases in social networks
We investigate how homophily in adherence to anti-epidemic measures affects the final size of epidemics in social networks. Using a modified SIR model, we divide agents into two behavioral groups-compliant and non-compliant-and introduce transmission probabilities that depend asymmetrically on the behavior of both the infected and susceptible individuals. We simulate epidemic dynamics on two types of synthetic networks with tunable inter-group connection probability: stochastic block models (SB…

I want the Micro Processor to order my Pulsar(Level 2 special operations unit) to mine coal and deposit it into the core...
I'll let you know about my progress...
So "mlog" is the "Mindustry Logic" 'language'.
mindustrygame.github.io/wiki/logic/0-introduction/
but I first started here:

Guide: Logic Basics
Logic is a mechanic introduced in Version 6.0 of Mindustry, which allows you to override the default behaviour of blocks and units through a customised block code programming language called MLog that can be edited in text editors when pasted into one. Logic is run through Processors in conjunction with accessory blocks such as the Memory Cell, Switch and Logic Display. It is recommended to have some form of prior programming experience in order to be familiar with data types. The way...

Quantitative Wavefront sensing with static Foucault and pyramid tests
Francois H\'enault, Yan Feng, Alain Spang, Laura Schreiber
https://arxiv.org/abs/2507.14104

Quantitative Wavefront sensing with static Foucault and pyramid tests
Wavefront sensors (WFS) are now core components in the fields of metrology of optical systems, biomedical optics and adaptive optics systems for astronomy. Nowadays, the most popular WFS is the Shack-Hartmann, which is fully static but suffers from a limited spatial resolution in the pupil plane of the tested optical system. Higher spatial resolutions are achievable with other types of sensors, e.g. the pyramid WFS that requires temporal modulation of the recorded signals and implies high mecha…

AdapTT: Functoriality for Dependent Type Casts
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
https://arxiv.org/abs/2507.13774 http…

AdapTT: Functoriality for Dependent Type Casts
The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradual typing. These casts all exhibit a common structural behavior that boils down to the pervasive functoriality of type formers. We propose and extensively study a type theory, called AdapTT, which makes systematic and precise this idea of functorial type formers, with respect to an abstract notion of adapters relating …

Multi-Metric Algorithmic Complexity: Beyond Asymptotic Analysis
Sergii Kavun
https://arxiv.org/abs/2508.13249 https://arxiv.org/pdf/2508.13249

Multi-Metric Algorithmic Complexity: Beyond Asymptotic Analysis
Traditional algorithm analysis treats all basic operations as equally costly, which hides significant differences in time, energy consumption, and cost between different types of computations on modern processors. We propose a weighted-operation complexity model that assigns realistic cost values to different instruction types across multiple dimensions: computational effort, energy usage, carbon footprint, and monetary cost. The model computes overall efficiency scores based on user-defined pr…

do you really need choice to extract a 2-cocycle from a central extension

Typed Topological Structures Of Datasets
Wanjun Hu
https://arxiv.org/abs/2508.14008 https://arxiv.org/pdf/2508.14008

Typed Topological Structures Of Datasets
A datatset $X$ on $R^2$ is a finite topological space. Current research of a dataset focuses on statistical methods and the algebraic topological method \cite{carlsson}. In \cite{hu}, the concept of typed topological space was introduced and showed to have the potential for studying finite topological spaces, such as a dataset. It is a new method from the general topology perspective. A typed topological space is a topological space whose open sets are assigned types. Topological concepts and m…

fao_trade: FAO Multiplex Trade Network
Multiplex network representing trade relationships between countries from the Food and Agricultural Organization of the United Nations. Countries are nodes and edge types represent import/export of varying products. Data hosted by Manlio De Domenico.
This network has 214 nodes and 318346 edges.
Tags: Economic, Trade, Weighted, Multilayer

Spectra of Corona Products of Digraphs
Michael Cavers, Farzad Maghsoudi, Babak Miraftab
https://arxiv.org/abs/2509.14481 https://arxiv.org/pdf/2509.14481…

Spectra of Corona Products of Digraphs
Two types of corona products for simple directed graphs are introduced, extending the classical notions from the undirected setting: the vertex-corona and the arc-corona. Their structural and spectral properties are investigated through the use of digraph coronals, with particular emphasis on the adjacency, Laplacian, and signless Laplacian spectra. Finally, the coronals corresponding to these three matrices are computed for several families of digraphs.

Seen on the NordVPN Linux page. All links but one work. "How to disable IPv6 on Linux" is 404. Couldn't have said it better myself.
#IPv6

Addressing Side-Channel Threats in Quantum Key Distribution via Deep Anomaly Detection
Junxuan Liu, Bingcheng Huang, Jialei Su, Qingquan Peng, Anqi Huang
https://arxiv.org/abs/2508.12749

Addressing Side-Channel Threats in Quantum Key Distribution via Deep Anomaly Detection
Traditional countermeasures against security side channels in quantum key distribution (QKD) systems often suffer from poor compatibility with deployed infrastructure, the risk of introducing new vulnerabilities, and limited applicability to specific types of attacks. In this work, we propose an anomaly detection (AD) model based on one-class machine learning algorithms to address these limitations. By constructing a dataset from the QKD system's operational states, the AD model learns the char…

Blast Hole Seeking and Dipping -- The Navigation and Perception Framework in a Mine Site Inspection Robot
Liyang Liu, Ehsan Mihankhah, Nathan Wallace, Javier Martinez, Andrew J. Hill
https://arxiv.org/abs/2508.13785

Blast Hole Seeking and Dipping -- The Navigation and Perception Framework in a Mine Site Inspection Robot
In open-pit mining, holes are drilled into the surface of the excavation site and detonated with explosives to facilitate digging. These blast holes need to be inspected internally for investigation of downhole material types and properties. Knowing these properties can lead to significant savings in material handling costs in downstream processes. Manual hole inspection is slow and expensive, with major limitations in revealing the geometric and geological properties of the holes and their con…

It's 2025. If your library still doesn't have types in it (parameter, return, and property), I assume it's abandoned and I should not use it.
There are no exceptions to this statement. Not typing your PHP code in 2025 is irresponsible. No, docblocks are not good enough.
#PHP

MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols
Yixuan Yang, Daoyuan Wu, Yufan Chen
https://arxiv.org/abs/2508.13220 https://

MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols
Large Language Models (LLMs) are increasingly integrated into real-world applications via the Model Context Protocol (MCP), a universal, open standard for connecting AI agents with data sources and external tools. While MCP enhances the capabilities of LLM-based agents, it also introduces new security risks and expands their attack surfaces. In this paper, we present the first systematic taxonomy of MCP security, identifying 17 attack types across 4 primary attack surfaces. We introduce MCPSecB…

Homotopy classification of $S^{2k-1}$-bundles over $S^{2k}$
Zhongjian Zhu, Jianzhong Pan
https://arxiv.org/abs/2508.14341 https://arxiv.org/pdf/2508.14341

Homotopy classification of $S^{2k-1}$-bundles over $S^{2k}$
In this paper, we classify the homotopy types of the total spaces of $S^{2k-1}$-bundles (or fibrations) over $S^{2k}$ for $2\leq k\leq 6$ by listing the attaching map of the top cell of these as CW-complexes. The method is using the new necessary and sufficient conditions we gave in our previous work to determine whether a CW complex has the homotopy type of total space of these sphere bundles.

from my link log —
The two dualities of computation: negative and fractional (subtraction and division) types.
https://ia800204.us.archive.org/0/items/djoyner-papers/SHA256E-s568323--ecf5da2ef2…

» @… reported that in the aftermath of Charlie Kirk’s murder, Trump’s Justice Department deleted a study from its website stating that right-wing violence ›continues to outpace all other types of terrorism and domestic violent extremism‹ in the United States. This comes as the Trump administration and Republicans generally blame political violence solely o…

Benefiting from Negative yet Informative Feedback by Contrasting Opposing Sequential Patterns
Veronika Ivanova, Evgeny Frolov, Alexey Vasilev
https://arxiv.org/abs/2508.14786 ht…

Benefiting from Negative yet Informative Feedback by Contrasting Opposing Sequential Patterns
We consider the task of learning from both positive and negative feedback in a sequential recommendation scenario, as both types of feedback are often present in user interactions. Meanwhile, conventional sequential learning models usually focus on considering and predicting positive interactions, ignoring that reducing items with negative feedback in recommendations improves user satisfaction with the service. Moreover, the negative feedback can potentially provide a useful signal for more acc…

The Emperor's New Chain-of-Thought: Probing Reasoning Theater Bias in Large Reasoning Models
Qian Wang, Yubo Fan, Zhenheng Tang, Nuo Chen, Wenxuan Wang, Bingsheng He
https://arxiv.org/abs/2507.13758

The Emperor's New Chain-of-Thought: Probing Reasoning Theater Bias in Large Reasoning Models
Large Reasoning Models (LRMs) like DeepSeek-R1 and o1 are increasingly used as automated evaluators, raising critical questions about their vulnerability to the aesthetics of reasoning in LLM-as-a-judge settings. We introduce THEATER, a comprehensive benchmark to systematically evaluate this vulnerability-termed Reasoning Theater Bias (RTB)-by comparing LLMs and LRMs across subjective preference and objective factual datasets. Through investigation of six bias types including Simple Cues and Fa…

twitter_higgs: Twitter, Higgs boson (2012)
Data on tweets related to the announcement of the discovery of a new fundamental particle with the features of the Higgs boson on 4th July 2012. Data covers 1-7 July 2012, and includes four types of networks: followers, retweets, replies, and mentions.
This network has 38918 nodes and 32523 edges.
Tags: Social, Online, Weighted, Multilayer

First detection of acoustic-like flux in the middle solar corona
V. Andretta (INAF - Osservatorio Astronomico di Capodimonte, Naples, Italy), L. Abbo (INAF - Osservatorio Astrofisico di Torino, Turin, Italy), G. Jerse (INAF - Osservatorio Astronomico di Trieste, Trieste, Italy), R. Lionello (Predictive Science Inc., San Diego, USA), G. Naletto (Universit\`a di Padova - Dip. Fisica e Astronomia "Galileo Galilei", Padua, Italy, CNR - Istituto di Fotonica e Nanotecnologie, Padua…

First detection of acoustic-like flux in the middle solar corona
Waves are thought to play a significant role in the heating of the solar atmosphere and the acceleration of the wind. Among the many types of waves observed in the Sun, the so-called p-modes with a 3 mHz frequency peak dominate the lower atmosphere. In the presence of magnetic fields, these waves can be converted into magnetohydrodynamic modes, which then leak into the corona through magnetic conduits. High-resolution off-limb observations have indeed revealed signatures of ubiquitous and globa…

Aha, example 2.17 here

The Groupoid-syntax of Type Theory is a Set
Thorsten Altenkirch, Ambrus Kaposi, Szumi Xie
https://arxiv.org/abs/2509.14988 https://arxiv.org/pdf/2509.14988…

The Groupoid-syntax of Type Theory is a Set
Categories with families (CwFs) have been used to define the semantics of type theory in type theory. In the setting of Homotopy Type Theory (HoTT), one of the limitations of the traditional notion of CwFs is the requirement to set-truncate types, which excludes models based on univalent categories, such as the standard set model. To address this limitation, we introduce the concept of a Groupoid Category with Families (GCwF). This framework truncates types at the groupoid level and incorporate…

I keep seeing posts from @… that explore the details of what LLMs can and can’t do for developers. Refreshingly detailed and open-minded. For example https://lucumr.pocoo.org/2025/8/4/sh…

malaria_genes: Malaria var DBLa HVR networks
Networks of recombinant antigen genes from the human malaria parasite P. falciparum. Each of the 9 networks shares the same set of vertices but has different edges, corresponding to the 9 highly variable regions (HVRs) in the DBLa domain of the var protein. Nodes are var genes, and two genes are connected if they share a substring whose length is statistically significant. Metadata includes two types of node labels, both based on sequence st…

Linking Multi-Site Sex Ad Data at the Individual Level to Aid Counter-Trafficking Efforts
Nickolas K. Freeman, Gregory J. Bott, Burcu B. Keskin, Jason M. Parton, James J. Cochran
https://arxiv.org/abs/2507.13477

Linking Multi-Site Sex Ad Data at the Individual Level to Aid Counter-Trafficking Efforts
The Internet facilitates sex trafficking through adult service websites (ASWs) that host online advertisements for sexual services (sex ads). Since the closure of the popular site Backpage.com, the ecosystem of ASWs has expanded to include multiple competing sites that are hosted outside US jurisdiction. Gaining intelligence for counter-trafficking efforts requires collecting, linking, and cleaning the data from multiple sites. However, high ad volumes, disparate data types, and the existence o…

from my link log —
Types of types in Lean: common − exotic.
https://www.stephendiehl.com/posts/types_of_types/
saved 2025-07-01

malaria_genes: Malaria var DBLa HVR networks
Networks of recombinant antigen genes from the human malaria parasite P. falciparum. Each of the 9 networks shares the same set of vertices but has different edges, corresponding to the 9 highly variable regions (HVRs) in the DBLa domain of the var protein. Nodes are var genes, and two genes are connected if they share a substring whose length is statistically significant. Metadata includes two types of node labels, both based on sequence st…

The meaning of prompts and the prompts of meaning: Semiotic reflections and modelling
Martin Thellefsen, Amalia Nurma Dewi, Bent Sorensen
https://arxiv.org/abs/2509.14250 https:…

The meaning of prompts and the prompts of meaning: Semiotic reflections and modelling
This paper explores prompts and prompting in large language models (LLMs) as dynamic semiotic phenomena, drawing on Peirce's triadic model of signs, his nine sign types, and the Dynacom model of communication. The aim is to reconceptualize prompting not as a technical input mechanism but as a communicative and epistemic act involving an iterative process of sign formation, interpretation, and refinement. The theoretical foundation rests on Peirce's semiotics, particularly the interplay between …

For any categories C and D, there's an orthogonal factorisation system on C × D formed by the maps that only affect the left component (formally, L is the class of maps whose right component is invertible) and those that only affect the right component (R is the class of maps whose left component is invertible). You can also swap the two classes.
Does this have a name? It feels kind of important... Am I just reinventing double categories?

Separable integer partition classes with restrictions on consecutive parts
Y. Q. Chen, Thomas Y. He, X. M. Huang, T. T. Zou
https://arxiv.org/abs/2508.11766 https://

Separable integer partition classes with restrictions on consecutive parts
Recently, Andrews introduced separable integer partition classes and studied some well-known theorems. In this article, we will consider the types of partitions with restrictions on consecutive parts. We will show that such partitions are separable integer partition classes and then give the generating functions for such partitions.

From Hitchin Systems to Rational Elliptic Surfaces with C*-actions via Orbifold Hilbert Schemes
Yonghong Huang
https://arxiv.org/abs/2509.14812 https://arx…

From Hitchin Systems to Rational Elliptic Surfaces with C*-actions via Orbifold Hilbert Schemes
Using orbifold Hilbert schemes, we compactify all two-dimensional Hitchin systems corresponding to types A0-tilde, D4-tilde, E6-tilde, E7-tilde, and E8-tilde, thereby obtaining four rational elliptic surfaces with C*-actions. Their singular fibers and relative minimal models are listed in the main table. To this end, we prove that Hilbert schemes of orbifold surfaces are connected smooth projective schemes under suitable conditions, and we use the Hilbert-Chow morphism to construct the minimal …

Behavioral and Symbolic Fillers as Delay Mitigation for Embodied Conversational Agents in Virtual Reality
Denmar Mojan Gonzales, Snehanjali Kalamkar, Sophie J\"org, Jens Grubert
https://arxiv.org/abs/2508.11781

Behavioral and Symbolic Fillers as Delay Mitigation for Embodied Conversational Agents in Virtual Reality
When communicating with embodied conversational agents (ECAs) in virtual reality, there might be delays in the responses of the agents lasting several seconds, for example, due to more extensive computations of the answers when large language models are used. Such delays might lead to unnatural or frustrating interactions. In this paper, we investigate filler types to mitigate these effects and lead to a more positive experience and perception of the agent. In a within-subject study, we asked 2…

Semantic Subtyping for Maps in Erlang
Erdem Yildirim, Albert Schimpf, Stefan Wehr, Annette Bieniusa
https://arxiv.org/abs/2508.00482 https://arxiv.org/pdf/…

Semantic Subtyping for Maps in Erlang
In this paper we will construct a set-theoretic model of types featuring type variables, base types, set-theoretic types and map types. Syntax of map types spans all the map types available in Erlang. The model of types is used to define a semantic subtyping relation based on set containment. The novelty of this work is the definition of subtyping over parameteric map types.

Hierarchical Planning and Scheduling for Reconfigurable Multi-Robot Disassembly Systems under Structural Constraints
Takuya Kiyokawa, Tomoki Ishikura, Shingo Hamada, Genichiro Matsuda, Kensuke Harada
https://arxiv.org/abs/2509.14564

Hierarchical Planning and Scheduling for Reconfigurable Multi-Robot Disassembly Systems under Structural Constraints
This study presents a system integration approach for planning schedules, sequences, tasks, and motions for reconfigurable robots to automatically disassemble constrained structures in a non-destructive manner. Such systems must adapt their configuration and coordination to the target structure, but the large and complex search space makes them prone to local optima. To address this, we integrate multiple robot arms equipped with different types of tools, together with a rotary stage, into a re…

high_tech_company: Krackhardt high tech company network
Multiplex network of 3 edge types representing relationships (advice, friendship, and “reports to”) between managers of a high-tech company. Data hosted by Manlio De Domenico.
This network has 21 nodes and 312 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

tfw you're acknowledged in the same sentence as Thierry Coquand

eu_airlines: European airline network
A multiplex network of airline routes among European airports, where each of the 37 edge types represents routes by a different airline.
This network has 450 nodes and 3588 edges.
Tags: Transportation, Airport, Multilayer, Unweighted
https://networks.skewed.de/net/eu_airl…

law_firm: Lazega law firm network
Multiplex network with 3 edge types representing relationships (coworkers, friendship, advice) between partners and associates of a corporate law firm. Data hosted by Manlio De Domenico.
This network has 71 nodes and 2571 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://net…

high_tech_company: Krackhardt high tech company network
Multiplex network of 3 edge types representing relationships (advice, friendship, and “reports to”) between managers of a high-tech company. Data hosted by Manlio De Domenico.
This network has 21 nodes and 312 edges.
Tags: Social, Offline, Multilayer, Unweighted
https://

malaria_genes: Malaria var DBLa HVR networks
Networks of recombinant antigen genes from the human malaria parasite P. falciparum. Each of the 9 networks shares the same set of vertices but has different edges, corresponding to the 9 highly variable regions (HVRs) in the DBLa domain of the var protein. Nodes are var genes, and two genes are connected if they share a substring whose length is statistically significant. Metadata includes two types of node labels, both based on sequence st…