Tootfinder

Solsmith: Solidity Random Program Generator for Compiler Testing
Lantian Li, Zhihao Liu, Zhongxing Yu
https://arxiv.org/abs/2506.03909 https://

Solsmith: Solidity Random Program Generator for Compiler Testing
Smart contracts are computer programs that run on blockchain platforms, with Solidity being the most widely used language for their development. As blockchain technology advances, smart contracts have become increasingly important across various fields. In order for smart contracts to operate correctly, the correctness of the compiler is particularly crucial. Although some research efforts have been devoted to testing Solidity compilers, they primarily focus on testing methods and do not addres…

Just tried putting one of our open source repos thru Devin's DeepWiki document generator and its pretty amazing https://deepwiki.com/tc-functors/tc

Cascade Relaxation of the Gravitating Vacuum as a Generator of the Evolving Universe
V. N. Lukash (Astro Space Center, P. N. Lebedev Physical Institute, Russian Academy of Sciences, Russia), E. V. Mikheeva (Astro Space Center, P. N. Lebedev Physical Institute, Russian Academy of Sciences)
https://arxiv.org/abs/2506.03226

Cascade Relaxation of the Gravitating Vacuum as a Generator of the Evolving Universe
The cascade relaxation of a polarized vacuum in the expanding Universe is a chain of evolutionary epochs of decreasing its density with the exit of dominant fields (each in its own time) from the initial zero states to nonzero values, from the dominant scalar field in the early Universe to subsequent ones, including the $Λ$-term in the modern Universe. The cascade vacuum relaxation creates the entire observable cosmology from the Friedmann model with small perturbations of the metric with non-…

@… @… Right! My goal with mentoring a human is to get them to the point where they don’t need me any more.
Not so with a word generator.

By the way, a few years ago I made this thingy to easily make pride avatars. Putting it out there just in case anyone would find it useful :neofox_happy_blep:
https://www.demirramon.com/generators/pride_avatar_generator

Pride avatar generator - Demirramon's hideout
Add a LGBT+ pride flag of your choice to your avatar.

Generator Based Inference (GBI)
Chi Lung Cheng, Ranit Das, Runze Li, Radha Mastandrea, Vinicius Mikuni, Benjamin Nachman, David Shih, Gup Singh
https://arxiv.org/abs/2506.00119

Generator Based Inference (GBI)
Statistical inference in physics is often based on samples from a generator (sometimes referred to as a ``forward model") that emulate experimental data and depend on parameters of the underlying theory. Modern machine learning has supercharged this workflow to enable high-dimensional and unbinned analyses to utilize much more information than ever before. We propose a general framework for describing the integration of machine learning with generators called Generator Based Inference (GBI). A …

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

GKLS Vector Field Dynamics for Gaussian States
We construct the vector field associated to the GKLS generator for systems described by Gaussian states. This vector field is defined on the dual space of the algebra of operators, restricted to operators quadratic in position and momentum. It is shown that the GKLS dynamics accepts a decomposition principle, that is, this vector field can be decomposed in three parts, a conservative Hamiltonian component, a gradient-like, and a Choi-Kraus or jump vector field. The two last terms are considered…

@… hello! What plays as frequency source in your power backup setup with the battery of you EV as primary energy source?
I'm no electrician. From my understanding we have something like diesel generator that does not work in sync with the grid, and DC/AC converters that we want to be able to run in sync with the grid and off the grid. And as far a…

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

Generalized GM-MDS: Polynomial Codes are Higher Order MDS
The GM-MDS theorem, conjectured by Dau-Song-Dong-Yuen and proved by Lovett and Yildiz-Hassibi, shows that the generator matrices of Reed-Solomon codes can attain every possible configuration of zeros for an MDS code. The recently emerging theory of higher order MDS codes has connected the GM-MDS theorem to other important properties of Reed-Solomon codes, including showing that Reed-Solomon codes can achieve list decoding capacity, even over fields of size linear in the message length. A few …

Quantitative Language Automata
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Sara\c{c}
https://arxiv.org/abs/2506.05158 https://

Quantitative Language Automata
A quantitative word automaton (QWA) defines a function from infinite words to values. For example, every infinite run of a limit-average QWA A obtains a mean payoff, and every word w is assigned the maximal mean payoff obtained by nondeterministic runs of A over w. We introduce quantitative language automata (QLAs) that define functions from language generators (i.e., implementations) to values, where a language generator can be nonprobabilistic, defining a set of infinite words, or probabilist…

from my link log —
A non-uniform quasirandom number generator for games.
https://taylorpetrick.com/blog/post/quasi-random-dist
saved 2024-08-15

A Quasi-Random Number Generator
I decided to implement a non-uniform random number generator for use in video games. The purpose of the technique is produce random events that are more consistent than a uniform distribution, similar to stratified sampling.

A Reward-driven Automated Webshell Malicious-code Generator for Red-teaming
Yizhong Ding
https://arxiv.org/abs/2505.24252 https://arx…

A Reward-driven Automated Webshell Malicious-code Generator for Red-teaming
Frequent cyber-attacks have elevated WebShell exploitation and defense to a critical research focus within network security. However, there remains a significant shortage of publicly available, well-categorized malicious-code datasets organized by obfuscation method. Existing malicious-code generation methods, which primarily rely on prompt engineering, often suffer from limited diversity and high redundancy in the payloads they produce. To address these limitations, we propose \textbf{RAWG}, a…

After the whole "I asked ChatGPT" as talk opener I've recently seen a lot of "Look, my kids are using AI to build their own games and that's beautiful" stuff in presentations.
Makes me sad that instead of wanting kids to learn how to build something they get taught to accept what the kinda-passable code generator craps out. What they learn is not how to conceptualize or build something, what they learn is that shit comes from nowhere if you just match your e…

@… hello! What plays as frequency source in your power backup setup with the battery of you EV as primary energy source?
I'm no electrician. From my understanding we have something like diesel generator that does not work in sync with the grid, and DC/AC converters that we want to be able to run in sync with the grid and off the grid. And as far a…

Just bought a lifetime license for Atmos because it is just sooo good for creating perceptually uniform color palettes – including a shade generator, a contrast checker, OKLCH support, CSS export, a Figma plugin, online sharing, and, and… 😍 👉 https://atmos.style
(No affiliation, just genuine excitement! 😁)

How to Favicon in 2025: Three files that fit most needs
It’s time to rethink how we cook a set of favicons for modern browsers and stop the icon generator madness. Frontend developers currently have to deal with 20 static PNG files just to display a tiny website logo in a browser tab or on a touchscreen. Read on to see how to take a smarter approach and adopt a minimal set of icons that fits most modern needs.
🖌️

How to Favicon in 2025: Three files that fit most needs—Martian Chronicles, Evil Martians’ team blog
Prefer SVG over PNG, trust browsers to downscale, drop obscure formats—the ultimate, exhaustive guide to favicons for modern web. Includes steps for static HTML and Webpack.

Geometric Visual Servo Via Optimal Transport
Ethan Canzini, Simon Pope, Ashutosh Tiwari
https://arxiv.org/abs/2506.02768 https://arxi…

Geometric Visual Servo Via Optimal Transport
When developing control laws for robotic systems, the principle factor when examining their performance is choosing inputs that allow smooth tracking to a reference input. In the context of robotic manipulation, this involves translating an object or end-effector from an initial pose to a target pose. Robotic manipulation control laws frequently use vision systems as an error generator to track features and produce control inputs. However, current control algorithms don't take into account the …

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

AG Codes Achieve List-decoding Capacity over Constant-sized Fields
The recently-emerging field of higher order MDS codes has sought to unify a number of concepts in coding theory. Such areas captured by higher order MDS codes include maximally recoverable (MR) tensor codes, codes with optimal list-decoding guarantees, and codes with constrained generator matrices (as in the GM-MDS theorem). By proving these equivalences, Brakensiek-Gopi-Makam showed the existence of optimally list-decodable Reed-Solomon codes over exponential sized fields. Building on this, …

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

Patterns of Geodesics, Shearing, and Anosov Representations of the Modular Group
Let $X=SL_3(\R)/SO(3)$. Let $\cal DFR$ be the space of discrete faithful representations of the modular group into ${\rm Isom\/}(X)$ which map the order $2$ generator to an isometry with a unique fixed point. I prove many things about the component $\cal B$ of $\cal DFR$ known as the Barbot component: It is homeomorphic to $\R^2 \times [0,\infty)$. The boundary parametrizes the Pappus representations from [{\bf S0\/}]. The interior parametrizes the complete extension of the family of Anosov rep…

Robust Distribution Network Reconfiguration Using Mapping-based Column-and-Constraint Generation
Runjie Zhang, Kaiping Qu, Changhong Zhao, Wanjun Huang
https://arxiv.org/abs/2505.24677

Robust Distribution Network Reconfiguration Using Mapping-based Column-and-Constraint Generation
The integration of intermittent renewable energy sources into distribution networks introduces significant uncertainties and fluctuations, challenging their operational security, stability, and efficiency. This paper considers robust distribution network reconfiguration (RDNR) with renewable generator resizing, modeled as a two-stage robust optimization (RO) problem with decision-dependent uncertainty (DDU). Our model optimizes resizing decisions as the upper bounds of renewable generator outpu…

ugandan_village: Ugandan village networks (2013)
Complete friendship and health advice social networks among households in 17 rural villages bordering Lake Victoria in Mayuge District, Uganda in 2013. Nodes are households and edges represent either a close friendship or a trusted health advisor connection, obtained via a name generator questionnaire.
This network has 173 nodes and 678 edges.
Tags: Social, Offline, Unweighted, Multilayer

Learning to crawl: benefits and limits of centralized vs distributed control
Luca Gagliardi, Agnese Seminara
https://arxiv.org/abs/2506.02766 https://

Learning to crawl: benefits and limits of centralized vs distributed control
We present a model of a crawler consisting of several suckers distributed along a straight line and connected by springs. Both proprioception and control are binary: the system responds to the elongation vs compression of its springs and the suckers can either adhere or remain idle. A central pattern generator delivers a traveling wave of compression, and the crawler is tasked to learn how to control adhesion to effectively ride the wave in order to crawl. We ask what are the benefits and limit…

Improving LLM Agents with Reinforcement Learning on Cryptographic CTF Challenges
Lajos Muzsai, David Imolai, Andr\'as Luk\'acs
https://arxiv.org/abs/2506.02048

Improving LLM Agents with Reinforcement Learning on Cryptographic CTF Challenges
Large Language Models (LLMs) still struggle with the structured reasoning and tool-assisted computation needed for problem solving in cybersecurity applications. In this work, we introduce "random-crypto", a cryptographic Capture-the-Flag (CTF) challenge generator framework that we use to fine-tune a tool-augmented Llama-3.1-8B with Guided Reinforcement Prompt Optimisation (GRPO), allowing the agent to iteratively write and execute Python inside an isolated REPL. GRPO yields a +53% absolute jum…

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

Commuting Conjugacy Class Graphs of Finite Groups and the Hansen-Vukičević Conjecture
In this work, we compute the first and second Zagreb indices for the commuting conjugacy class graphs associated with finite groups. We identify multiple classes of finite groups whose commuting conjugacy class graphs are shown to satisfy the Hansen-Vuki{č}evi{ć} conjecture. Specifically, we prove that the conjecture holds for the commuting conjugacy class graphs of dihedral groups ($D_{2m}$), dicyclic groups, semidihedral groups, and various other two-generator groups. Moreover, we examine t…

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

Anticipated backward stochastic Volterra integral equations and their applications to nonzero-sum stochastic differential games
In [J. Wen, Y. Shi, Stat. Probab. Lett. 156 (2020) 108599] the authors first introduced a kind of anticipated backward stochastic Volterra integral equations (anticipated BSVIEs, for short). By virtue of the duality principle, it is found in this paper that the anticipated BSVIEs can be applied to the study of stochastic differential games. For this, in this paper we deeply investigate a more general class of anticipated BSVIEs whose generator includes both pointwise time-advanced functions and…

I did some experiments measuring propagation delay in a simple chain of 3 digital inverters (NOT gates) (74LS04).
I'm honestly not sure my entry-level scope is fast enough to accurately measure this, but it's fun to try.
It's also interesting to watch the signals completely freak out when you change the input voltage too slowly, but I didn't make a screenshot of that.
#electronics

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

On the distances between conjugates of an element
The depth of a simple algebraic extension $(L/K,v)$ of valued fields is the minimal length of the Mac Lane-Vaquié chains of the valuations on $K[x]$ determined by the choice of different generators of the extension. In a previous work, we studied the depth of towers of Artin-Schreier defect extensions. In this paper, we compare the depth to the number of values of the difference between the generator of $L/K$ and its conjugates. We also show that some classic results from number theory cannot …

ADEPT: Adaptive Diffusion Environment for Policy Transfer Sim-to-Real
Youwei Yu, Junhong Xu, Lantao Liu
https://arxiv.org/abs/2506.01759 https://

ADEPT: Adaptive Diffusion Environment for Policy Transfer Sim-to-Real
Model-free reinforcement learning has emerged as a powerful method for developing robust robot control policies capable of navigating through complex and unstructured environments. The effectiveness of these methods hinges on two essential elements: (1) the use of massively parallel physics simulations to expedite policy training, and (2) an environment generator tasked with crafting sufficiently challenging yet attainable environments to facilitate continuous policy improvement. Existing metho…

ugandan_village: Ugandan village networks (2013)
Complete friendship and health advice social networks among households in 17 rural villages bordering Lake Victoria in Mayuge District, Uganda in 2013. Nodes are households and edges represent either a close friendship or a trusted health advisor connection, obtained via a name generator questionnaire.
This network has 173 nodes and 678 edges.
Tags: Social, Offline, Unweighted, Multilayer

TPDE: A Fast Adaptable Compiler Back-End Framework
Tobias Schwarz (Technical University of Munich), Tobias Kamm (Technical University of Munich), Alexis Engelke (Technical University of Munich)
https://arxiv.org/abs/2505.22610

TPDE: A Fast Adaptable Compiler Back-End Framework
Fast machine code generation is especially important for fast start-up just-in-time compilation, where the compilation time is part of the end-to-end latency. However, widely used compiler frameworks like LLVM do not prioritize fast compilation and require an extra IR translation step increasing latency even further; and rolling a custom code generator is a substantial engineering effort, especially when targeting multiple architectures. Therefore, in this paper, we present TPDE, a compiler b…

from my link log —
LALRPOP: a parser generator for Rust.
https://smallcultfollowing.com/babysteps/blog/2015/09/14/lalrpop/
saved 2025-03-31

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

Constraints and Variables Reduction for Optimal Power Flow Using Hierarchical Graph Neural Networks with Virtual Node-Splitting
Power system networks are often modeled as homogeneous graphs, which limits the ability of graph neural network (GNN) to capture individual generator features at the same nodes. By introducing the proposed virtual node-splitting strategy, generator-level attributes like costs, limits, and ramp rates can be fully captured by GNN models, improving GNN's learning capacity and prediction accuracy. Optimal power flow (OPF) problem is used for real-time grid operations. Limited timeframe motivates st…

Hmmm, interbestuurlijke co-creatie.
https://tegelizr.nl/tegeltje/hmmm-interbestuurlijke-co-creatie/

Hmmm, interbestuurlijke co-creatie - Online tegeltjes bakken
Online generator voor plaatjes van tegeltjes. Een geintje van Paul van Buuren, van WBVB Rotterdam.

The Wave Equation in the Context of Reduced Groups $C^*$-Algebras
Fan Huang
https://arxiv.org/abs/2505.22930 https://arxiv.org/pdf/25…

The Wave Equation in the Context of Reduced Groups $C^*$-Algebras
Motivated by the identification $C(\mathbb{T})\cong C_r^*(\mathbb{Z})$ and the wave equation on the circle, we explore the wave equation in the context of reduced group $C^*$-algebras $C_r^*(G)$ for countably infinite, possibly non-abelian groups $G$. Using a one-parameter group of $*$-automorphisms whose infinitesimal generator paves the way to an analogue of the Laplacian, we establish the existence and uniqueness of solutions to the wave equation within this framework.

This https://arxiv.org/abs/2206.08820 has been replaced.
link: https://scholar.google.com/scholar?q=a

Resolvent estimates for the one-dimensional damped wave equation with unbounded damping
We study the generator $G$ of the one-dimensional damped wave equation with unbounded damping. We show that the norm of the corresponding resolvent operator, $\| (G - λ)^{-1} \|$, is approximately constant as $|λ| \to +\infty$ on vertical strips of bounded width contained in the closure of the left-hand side complex semi-plane, $\overline{\mathbb{C}}_{-} := \{λ\in \mathbb{C}: \operatorname{Re} λ\le 0\}$. Our proof rests on a precise asymptotic analysis of the norm of the…

Will Sora, the AI image generator crush the meme?
Now that anybody can make a convincing political cartoon, what's the future for memes? Or is there a future for memes? Second and third are by me. The first is not.

A Causation-Based Framework for Pricing and Cost Allocation of Energy, Reserves, and Transmission in Modern Power Systems
Luiza Ribeiro, Alexandre Street, Jose Manuel Arroyo, Rodrigo Moreno
https://arxiv.org/abs/2505.24159

A Causation-Based Framework for Pricing and Cost Allocation of Energy, Reserves, and Transmission in Modern Power Systems
The increasing vulnerability of power systems has heightened the need for operating reserves to manage contingencies such as generator outages, line failures, and sudden load variations. Unlike energy costs, driven by consumer demand, operating reserve costs arise from addressing the most critical credible contingencies - prompting the question: how should these costs be allocated through efficient pricing mechanisms? As an alternative to previously reported schemes, this paper presents a new c…

I had an idea the other day. I couldn't decide if it was a terrible idea or a decent idea. I decided to search the web today, and it turns out its a thing. So while my idea isn't unique by any means, its not terrible! https://wordpress.org/plugins/simply-static/

Joint Data Hiding and Partial Encryption of Compressive Sensed Streams
Cristina-Elena Popa, Cristian Damian, Daniela Coltuc
https://arxiv.org/abs/2505.23357

Joint Data Hiding and Partial Encryption of Compressive Sensed Streams
The paper proposes a method to secure the Compressive Sensing (CS) streams. It consists in protecting part of the measurements by a secret key and inserting the code into the rest. The secret key is generated via a cryptographically secure pseudo-random number generator (CSPRNG) and XORed with the measurements to be inserted. For insertion, we use a reversible data hiding (RDH) scheme, which is a prediction error expansion algorithm, modified to match the statistics of CS measurements. The reco…

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

Time Evolution of Prompt Gamma-Ray Emission in $^{252}$Cf(sf) and $^{233,235}$U($n$,f) Reactions
We investigate the time evolution of prompt fission $γ$ emission due to the presence of ns to ms isomers in the fragments produced in the neutron-induced fission of $^{233,235}$U and in the spontaneous fission of $^{252}$Cf. Calculations performed with the CGMF fission event generator are compared with recent experimental data on $^{252}$Cf(sf) and $^{235}$U($n$,f) obtained with the DANCE+NEUANCE setup at the Los Alamos Neutron Science Center. Of particular interest are the average $γ$-ray en…

Very, very useful:
https://abyssdomain.expert/@filippo/114496179105976467

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

Kuramoto meets Koopman: Constants of motion, symmetries, and network motifs
The partial integrability of the Kuramoto model is often thought to be restricted to identically connected oscillators or groups thereof. Yet, the exact connectivity prerequisites for having constants of motion on more general graphs have remained elusive. Using spectral properties of the Koopman generator, we derive necessary and sufficient conditions for the existence of distinct constants of motion in the Kuramoto model with heterogeneous phase lags on any weighted, directed, signed graph. T…

#AI poses a threat... that you trust in it too much, use it incorrectly and mess up your company, career or life. You're better off thinking of it as an artificial content generator than anything #intelligent.

#AI poses a threat... that you trust in it too much, use it incorrectly and mess up your company, career or life. You're better off thinking of it as an artificial content generator than anything #intelligent.