Tootfinder

@… #HC24S — Over the past few days, I made and improved a PR adding Field Day support to the Open Source #MorseWalker #CW …

“I’m usually fine with surveillance capitalism but this is too much, even for me.”
#surveillance #capitalism #BigTech

Filippo Valsorda :go: (@filippo@abyssdomain.expert)
Attached: 1 image I usually get where big tech is coming from, but this is just malicious tracking. If you're an engineer and you're asked to implement something like this, it's time to whistleblow. I hope the IE DPA will look into it. Anyway, Local Network Access (https://github.com/explainers-by-googlers/local-network-access) can't come soon enough. https://localmess.github.io

from my link log —
Implement your programming language twice.
https://futhark-lang.org/blog/2025-05-07-implement-your-language-twice.html
saved 2025-05-08

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

A Red Teaming Roadmap Towards System-Level Safety
Large Language Model (LLM) safeguards, which implement request refusals, have become a widely adopted mitigation strategy against misuse. At the intersection of adversarial machine learning and AI safety, safeguard red teaming has effectively identified critical vulnerabilities in state-of-the-art refusal-trained LLMs. However, in our view the many conference submissions on LLM red teaming do not, in aggregate, prioritize the right research problems. First, testing against clear product safety …

Raiders to Implement $16 Million ‘Swiss Army Knife’ in a Huge Way https://heavy.com/sports/nfl/las-vegas-raiders/jeremy-chinn-swiss-army-knife/?adt_ei=[email]

When Tukey meets Chauvenet: a new boxplot criterion for outlier detection
Hongmei Lin, Riquan Zhang, Tiejun Tong
https://arxiv.org/abs/2506.06491 https://

When Tukey meets Chauvenet: a new boxplot criterion for outlier detection
The box-and-whisker plot, introduced by Tukey (1977), is one of the most popular graphical methods in descriptive statistics. On the other hand, however, Tukey's boxplot is free of sample size, yielding the so-called "one-size-fits-all" fences for outlier detection. Although improvements on the sample size adjusted boxplots do exist in the literature, most of them are either not easy to implement or lack justification. As another common rule for outlier detection, Chauvenet's criterion uses the…

In Xogot, I first tried a sheet to display my MCP chat window, but popups from the app would conflict with it and auto dismiss.
A dedicated tab works, but when the UI switches tabs, it can get confusing
Started to implement a floating window instead

From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem
Li Jingyuan
https://arxiv.org/abs/2506.07066 https://arxiv.or…

From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem
This paper presents a comprehensive formalization of the von Neumann-Morgenstern (vNM) expected utility theorem using the Lean 4 interactive theorem prover. We implement the classical axioms of preference-completeness, transitivity, continuity, and independence-enabling machine-verified proofs of both the existence and uniqueness of utility representations. Our formalization captures the mathematical structure of preference relations over lotteries, verifying that preferences satisfying the vNM…

Pathfinding Quantum Simulations of Neutrinoless Double-$\beta$ Decay
Ivan A. Chernyshev, Roland C. Farrell, Marc Illa, Martin J. Savage, Andrii Maksymov, Felix Tripier, Miguel Angel Lopez-Ruiz, Andrew Arrasmith, Yvette de Sereville, Aharon Brodutch, Claudio Girotto, Ananth Kaushik, Martin Roetteler
https://arxiv.org/abs/2506.057…

Pathfinding Quantum Simulations of Neutrinoless Double-$β$ Decay
We present results from co-designed quantum simulations of the neutrinoless double-$β$ decay of a simple nucleus in 1+1D quantum chromodynamics using IonQ's Forte-generation trapped-ion quantum computers. Electrons, neutrinos, and up and down quarks are distributed across two lattice sites and mapped to 32 qubits, with an additional 4 qubits used for flag-based error mitigation. A four-fermion interaction is used to implement weak interactions, and lepton-number violation is induced by a neutr…

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

Black-Box Forgery Attacks on Semantic Watermarks for Diffusion Models
Integrating watermarking into the generation process of latent diffusion models (LDMs) simplifies detection and attribution of generated content. Semantic watermarks, such as Tree-Rings and Gaussian Shading, represent a novel class of watermarking techniques that are easy to implement and highly robust against various perturbations. However, our work demonstrates a fundamental security vulnerability of semantic watermarks. We show that attackers can leverage unrelated models, even with differen…

Simulating nationwide coupled disease and fear spread in an agent-based model
Joy Kitson, Prescott C. Alexander, Joseph Tuccillo, Abhinav Bhatele, Sara Y. Del Valle, Timothy C. Germann
https://arxiv.org/abs/2506.07842

Simulating nationwide coupled disease and fear spread in an agent-based model
Human behavior and disease spread evolve together over the course of any disease outbreak. We present a dynamic model of that relationship based on the coupled spread of a disease and fear of that disease, and implement this model in a simulator, EpiCast, that simulates disease spread between individuals in a realistic synthetic population. In our model, fear of the disease spreads through both in-person contact and broadcast media, driving people to adopt behaviors that reduce disease spread. …

Emulating compact binary population synthesis simulations with robust uncertainty quantification and model comparison: Bayesian normalizing flows
Anarya Ray
https://arxiv.org/abs/2506.05657

Emulating compact binary population synthesis simulations with robust uncertainty quantification and model comparison: Bayesian normalizing flows
Population synthesis simulations of compact binary coalescences~(CBCs) play a crucial role in extracting astrophysical insights from an ensemble of gravitational wave~(GW) observations. However, realistic simulations are costly to implement for a dense grid of initial conditions. Normalizing flows can emulate the distribution functions of a simulated population of binary parameters and thereby enable empirical constraints on the astrophysical initial conditions and branching fractions of variou…

Je viens de poster : « Would it be possible to implement remote web control of SMS messages in #FossifyMessage, like https://messages.google.com/? »

#Musk 's record at DOGE seen from French newspaper #LeMonde - pretty good summary..
Musk's questionable record at DOGE
Some quote…

Musk's questionable record at DOGE
Inexperience and a lack of understanding of how government operates led the teams at the Department of Government Efficiency to implement a cost-cutting drive that was primarily ideological and produced only superficial results.

Stochastic Gradient-Descent Calibration of Pyragas Delayed-Feedback Control for Chaos Suppression in the Sprott Circuit
Adib Kabir, Onil Morshed, Oishi Kabir
https://arxiv.org/abs/2506.06639

Stochastic Gradient-Descent Calibration of Pyragas Delayed-Feedback Control for Chaos Suppression in the Sprott Circuit
This paper investigates chaos control in the Sprott circuit, a minimal electronic system exhibiting complex nonlinear dynamics. Using the third-order nonlinear differential equation from Kaveh Merat paper, we model the circuit and implement delayed feedback control to suppress chaos. Experimental voltage data were extracted from published figures via WebPlotDigitizer. Then we explore two calibration techniques: Minimizing sum of squared errors (SSE), and stochastic gradient descent (SGD) with f…

Rust's Stable MIR project is being slept on. It's pitched as a tool for formal verification, but it's more general than that. Once stabilized, it will almost be a stable compiler plugin API!
It doesn't just include what you get from `--emit=mir` (IR for each function), but also has full type and trait information, and will likely even support interactive queries like "does type implement trait”.
In short, it'll be perfect for metaprogramming!
[1/2]…

Conclusions from the excellent #AlternativeDefenceReview
https://cnduk.org/wp-content/uploads/2025/05/ADR-digital.pdf

Reviewriter: AI-Generated Instructions For Peer Review Writing
Xiaotian Su, Thiemo Wambsganss, Roman Rietsche, Seyed Parsa Neshaei, Tanja K\"aser
https://arxiv.org/abs/2506.04423

Reviewriter: AI-Generated Instructions For Peer Review Writing
Large Language Models (LLMs) offer novel opportunities for educational applications that have the potential to transform traditional learning for students. Despite AI-enhanced applications having the potential to provide personalized learning experiences, more studies are needed on the design of generative AI systems and evidence for using them in real educational settings. In this paper, we design, implement and evaluate \texttt{Reviewriter}, a novel tool to provide students with AI-generated …

Here's a more positive challenge for the "AI scientists": reproduce a paper. From the PDF alone, implement and re-run the experiments as written, filling in the gaps as necessary and get the same results.
That's a lot more meaningful than passing peer review and it would actually be quite useful to automate. It could become a required check on any accepted paper.

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

How Do Transformers Learn Variable Binding in Symbolic Programs?
Variable binding -- the ability to associate variables with values -- is fundamental to symbolic computation and cognition. Although classical architectures typically implement variable binding via addressable memory, it is not well understood how modern neural networks lacking built-in binding operations may acquire this capacity. We investigate this by training a Transformer to dereference queried variables in symbolic programs where variables are assigned either numerical constants or other …

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

Multi-Event Triggers for Serverless Computing
Function-as-a-Service (FaaS) is an event-driven serverless cloud computing model in which small, stateless functions are invoked in response to events, such as HTTP requests, new database entries, or messages. Current FaaS platform assume that each function invocation corresponds to a single event. However, from an application perspective, it is desirable to invoke functions in response to a collection of events of different types or only with every n\textsuperscript{th} event. To implement thi…

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

Type-II Seesaw Mechanism for Dirac Neutrinos and its Implications on $N_{\text{eff}}$ and Lepton Flavor Violation in a 3-3-1 model
In this study, we implement the type-II seesaw mechanism for Dirac neutrino masses within the framework of a 3-3-1 model. To this end, we introduce a scalar sextet and impose both lepton number conservation and invariance under a discrete $Z_2$ symmetry in the Lagrangian. This mechanism naturally generates small Dirac neutrino masses by allowing the soft breaking of the $Z_2$ symmetry through a unique term in the scalar potential, while preserving lepton number. Specifically, we explore the rea…

Students around the world who were gearing up to study in the United States this fall face growing uncertainty
after the Trump administration temporarily halted student visa appointments this week.
On Tuesday, a state department directive ordered US embassies globally to immediately stop scheduling visa interviews for foreign students
while it prepares to implement expanded social media screening for all international visa applicants.
While interview appointments that …

Electromagnetism: an intrinsic approach to Hadamard's method of descent
Giuliano Angelone, Elisa Ercolessi, Paolo Facchi, Rocco Maggi, Giuseppe Marmo, Saverio Pascazio, Francesco V. Pepe
https://arxiv.org/abs/2506.05255

Electromagnetism: an intrinsic approach to Hadamard's method of descent
We present a systematic geometric framework for the dimensional reduction of classical electromagnetism based on the concept of descent along vector fields of invariance. By exploring the interplay between the Lie derivative and the Hodge star operator, we implement descent conditions on differential forms that reduce Maxwell's equations in four-dimensional spacetime to electromagnetic theories in lower dimensions. We also consider multiple descent along pairwise commuting vector fields of inva…

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

EXP-Bench: Can AI Conduct AI Research Experiments?
Automating AI research holds immense potential for accelerating scientific progress, yet current AI agents struggle with the complexities of rigorous, end-to-end experimentation. We introduce EXP-Bench, a novel benchmark designed to systematically evaluate AI agents on complete research experiments sourced from influential AI publications. Given a research question and incomplete starter code, EXP-Bench challenges AI agents to formulate hypotheses, design and implement experimental procedures, …

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

Charon: An Analysis Framework for Rust
With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosystem remains relatively young, meaning that every one of these tools has had to re-implement difficult, time-consuming machinery to interface with the Rust compiler and its cargo build system, to hook into the Rust compiler's internal representation, and to expose an abstract syntax tree (AST) that is suitable for analy…

I found that a good exercise to get a deep understanding/ refreshing of datastructures is to implement them using Lua tables
#Lua #programming #DataStructures

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

NoCodeGPT: A No-Code Interface for Building Web Apps with Language Models
In this paper, we first report an exploratory study where three participants were instructed to use ChatGPT to implement a simple Web-based application. A key finding of this study revealed that ChatGPT does not offer a user-friendly interface for building applications, even small web systems. For example, one participant with limited experience in software development was unable to complete any of the proposed user stories. Then, and as the primary contribution of this work, we decided to desi…

Propose or Vote: A simple Democratic Procedure
Hans Gersbach
https://arxiv.org/abs/2506.05998 https://arxiv.org/pdf/2506.05998…

Propose or Vote: A simple Democratic Procedure
This paper introduces a simple democratic procedure. In a first stage, all members of a polity decide whether to apply for proposal-making or later vote on proposals made in the second stage. This procedure is called Propose or Vote (PoV). With appropriate default points and majority voting over two randomly selected proposals, the PoV procedure can implement the Condorcet winner with only one round of voting if a Condorcet winner exists. We explore ways to establish uniqueness, alternative vot…

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

Exact predicates, exact constructions and combinatorics for mesh CSG
This article introduces a general mesh intersection algorithm that exactly computes the so-called Weiler model (also called an arrangement) and that uses it to implement boolean operations with arbitrary multi-operand expressions, CSG (constructive solid geometry) and some mesh repair operations. From an input polygon soup, the algorithm first computes the co-refinement, with an exact representation of the intersection points. Then, the decomposition of 3D space into volumetric regions (Weiler …

A high-sensitivity frequency counter for free-induction-decay signals
Tong Gong, Ming-Rui Shu, Jiang He, Kai Liu, Yi-Ren Li, Xin-Jun Hao, Dong Sheng, Yu-Ming Wang, Yu-Kun Feng
https://arxiv.org/abs/2506.04780

A high-sensitivity frequency counter for free-induction-decay signals
Real-time frequency readout of time-dependent pulsed signals with a high sensitivity are key elements in many applications using atomic devices, such as FID atomic magnetometers. In this paper, we propose a frequency measurement algorithm based on the Hilbert transform and implement such a scheme in a FPGA-based frequency counter. By testing pulsed exponential-decay oscillation signals in the frequency range of 10 to 500 kHz, this frequency counter shows a frequency sensitivity better than 0.1 …

#5 🧾 Validate file uploads with proper size, type and filename sanitization
🍪 Configure secure cookie settings with httpOnly and sameSite attributes
📈 Implement rate limiting to prevent brute force and #DDoS attacks

Random thought: if browsers are going to implement AI and all the agent stuff, might as well use it to block ads, skip video ads, cookie banners, pop-ups, trackers, and all those annoyances? 🤔

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

Analysis of the MICCAI Brain Tumor Segmentation - Metastases (BraTS-METS) 2025 Lighthouse Challenge: Brain Metastasis Segmentation on Pre- and Post-treatment MRI
Despite continuous advancements in cancer treatment, brain metastatic disease remains a significant complication of primary cancer and is associated with an unfavorable prognosis. One approach for improving diagnosis, management, and outcomes is to implement algorithms based on artificial intelligence for the automated segmentation of both pre- and post-treatment MRI brain images. Such algorithms rely on volumetric criteria for lesion identification and treatment response assessment, which are …

Minimal Neuron Circuits -- Part I: Resonators
Amr Nabil, T. Nandha Kumar, Haider Abbas F. Almurib
https://arxiv.org/abs/2506.02341 https://

Minimal Neuron Circuits -- Part I: Resonators
Spiking Neural Networks have earned increased recognition in recent years owing to their biological plausibility and event-driven computation. Spiking neurons are the fundamental building components of Spiking Neural Networks. Those neurons act as computational units that determine the decision to fire an action potential. This work presents a methodology to implement biologically plausible yet scalable spiking neurons in hardware. We show that it is more efficient to design neurons that mimic …

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

Modelling power-law ultrasound absorption using a time-fractional, static memory, Fourier pseudo-spectral method
We describe and implement a numerical method for modelling the frequency-dependent power-law absorption of ultrasound in tissue, as governed by the first order linear wave equations with a loss taking the form of a fractional time derivative. The (Caputo) fractional time derivative requires the full problem history which is contained within an iterative procedure. The resulting numerical method requires a fixed (static) memory cost irrespective of the number of time steps. The spatial domain is…

Welfare Reform: Consequences for the Children
Marianne Simonsen, Lars Skipper, Jeffrey A. Smith
https://arxiv.org/abs/2506.03927 https://

Welfare Reform: Consequences for the Children
This paper uses register-based data to analyze the consequences of a recent major Danish welfare reform for children's academic performance and well-being. In addition to work requirements, the reform brought about considerable reductions in welfare transfers. We implement a comparative event study that contrasts outcomes for individuals on welfare at the time of reform announcement before and after the implementation of the reform with the parallel development in outcomes for an uncontaminated…

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

DFPL: Decentralized Federated Prototype Learning Across Heterogeneous Data Distributions
Federated learning is a distributed machine learning paradigm through centralized model aggregation. However, standard federated learning relies on a centralized server, making it vulnerable to server failures. While existing solutions utilize blockchain technology to implement Decentralized Federated Learning (DFL), the statistical heterogeneity of data distributions among clients severely degrades the performance of DFL. Driven by this issue, this paper proposes a decentralized federated prot…

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.

Cavity QED with molecular defects coupled to to a photonic crystal cavity
Christian M. Lange, Arya D. Keni, Ishita Agarwal, Emma Daggett, Adhyyan S. Mansukhani, Ankit Kundu, Benjamin Cerjan, Libai Huang, Jonathan D. Hood
https://arxiv.org/abs/2506.01917

Cavity QED with molecular defects coupled to to a photonic crystal cavity
We implement permanent spectral tuning to bring lifetime-limited emitters into collective resonance within an integrated photonic cavity. This addresses a fundamental challenge in solid-state cavity QED: combining multiple coherent quantum emitters with scalable nanophotonics. Our hybrid approach decouples emitter synthesis from nanophotonic fabrication using straightforward techniques that make cavity QED broadly accessible. High doping densities allow us to couple several coherent emitters to…

Hyperspherical Analysis of Dimer-Dimer Scattering in One-Dimensional Systems
Jia Wang, Hui Hu, Xia-Ji Liu
https://arxiv.org/abs/2506.01233 https://

Hyperspherical Analysis of Dimer-Dimer Scattering in One-Dimensional Systems
We present a comprehensive analysis of four-body scattering in one-dimensional (1D) quantum systems using the adiabatic hyperspherical representation (AHR). Focusing on dimer-dimer collisions between two species of fermions interacting via the sinh-cosh potential, we implement the slow variable discretization (SVD) method to overcome numerical challenges posed by sharp avoided crossings in the potential curves. Our numerical approach is benchmarked against exact analytical results available in …

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
Chanuka Wijayakoon, Hai Dong, H. M. N. Dilum Bandara, Zahir Tari, Anurag Soin
https://arxiv.org/abs/2506.00943

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
Smart contracts can implement and automate parts of legal contracts, but ensuring their legal compliance remains challenging. Existing approaches such as formal specification, verification, and model-based development require expertise in both legal and software development domains, as well as extensive manual effort. Given the recent advances of Large Language Models (LLMs) in code generation, we investigate their ability to generate legally compliant smart contracts directly from natural lang…

Real-World Modeling of Computation Offloading for Neural Networks with Early Exits and Splits
Jan Danek, Zdenek Becvar, Adam Janes
https://arxiv.org/abs/2505.22149

Real-World Modeling of Computation Offloading for Neural Networks with Early Exits and Splits
We focus on computation offloading of applications based on convolutional neural network (CNN) from moving devices, such as mobile robots or autonomous vehicles, to MultiAccess Edge Computing (MEC) servers via a mobile network. In order to reduce overall CNN inference time, we design and implement CNN with early exits and splits, allowing a flexible partial or full offloading of CNN inference. Through real-world experiments, we analyze an impact of the CNN inference offloading on the total CNN …

Random thought: if browsers are going to implement AI and all the agent stuff, might as well use it to block ads, skip video ads, cookie banners, pop-ups, trackers, and all those annoyances? 🤔

When Blockchain Meets Crawlers: Real-time Market Analytics in Solana NFT Markets
Chengxin Shen, Zhongwen Li, Xiaoqi Li, Zongwei Li
https://arxiv.org/abs/2506.02892

When Blockchain Meets Crawlers: Real-time Market Analytics in Solana NFT Markets
In this paper, we design and implement a web crawler system based on the Solana blockchain for the automated collection and analysis of market data for popular non-fungible tokens (NFTs) on the chain. Firstly, the basic information and transaction data of popular NFTs on the Solana chain are collected using the Selenium tool. Secondly, the transaction records of the Magic Eden trading market are thoroughly analyzed by combining them with the Scrapy framework to examine the price fluctuations an…

Trainable dynamical masking for readout-free optical computing
S. Bogdanov, E. Manuylovich, S. K. Turitsyn
https://arxiv.org/abs/2505.23464 https://…

Trainable dynamical masking for readout-free optical computing
Nonlinear systems, transforming an input signal into a high-dimensional output feature space, can be used for non-conventional computing. This approach, however, requires a change of system parameters during training rather than coefficients in a software program. We propose here to use available off-the-shelf high-speed optical communication devices and technologies to implement a trainable dynamical mask in addition to or even instead of the traditional readout layer for extreme learning mach…

LRScheduler: A Layer-aware and Resource-adaptive Container Scheduler in Edge Computing
Zhiqing Tang, Wentao Peng, Jianxiong Guo, Jiong Lou, Hanshuai Cui, Tian Wang, Yuan Wu, Weijia Jia
https://arxiv.org/abs/2506.03694

LRScheduler: A Layer-aware and Resource-adaptive Container Scheduler in Edge Computing
Lightweight containers provide an efficient approach for deploying computation-intensive applications in network edge. The layered storage structure of container images can further reduce the deployment cost and container startup time. Existing researches discuss layer sharing scheduling theoretically but with little attention paid to the practical implementation. To fill in this gap, we propose and implement a Layer-aware and Resource-adaptive container Scheduler (LRScheduler) in edge computin…

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

Performance Portable Monte Carlo Neutron Transport in MCDC via Numba
Finding a software engineering approach that allows for portability, rapid development, and open collaboration for high-performance computing on GPUs and CPUs is a challenge. We implement a portability scheme using the Numba compiler for Python in Monte Carlo / Dynamic Code (MC/DC), a new neutron transport application for rapidly developing Monte Carlo. Using this scheme, we have built MC/DC as an application that can run as a pure Python, compiled CPU, or compiled GPU solver. In GPU mode, we u…

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
Shuoming Zhang, Jiacheng Zhao, Chunwei Xia, Zheng Wang, Yunji Chen, Xiaobing Feng, Huimin Cui
https://arxiv.org/abs/2505.20356

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
Large language models (LLMs) have the potential to revolutionize how we design and implement compilers and code translation tools. However, existing LLMs struggle to handle long and complex programs. We introduce LEGO-Compiler, a novel neural compilation system that leverages LLMs to translate high-level languages into assembly code. Our approach centers on three key innovations: LEGO translation, which decomposes the input program into manageable blocks; breaking down the complex compilation p…

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

A Review of Design Concerns in Superconducting Quantum Circuits
In this short review we describe the process of designing a superconducting circuit device for quantum information applications. We discuss the factors that must be considered to implement a desired effective Hamiltonian on a device. We describe the translation between a device's physical layout, the circuit graph, and the effective Hamiltonian. We go over the process of electromagnetic simulation of a device layout to predict its behavior. We also discuss concerns such as connectivity, crossta…

Modeling the Monty Hall Decision Problem with Reaction Kinetics
Oliver Steinbock, Wen Zhu
https://arxiv.org/abs/2505.15824 https://ar…

Modeling the Monty Hall Decision Problem with Reaction Kinetics
Using the Monty Hall probability problem as a model system, we ask whether simple chemical reaction mechanisms can implement optimal strategies for non-trivial decision making. In this puzzle, a contestant chooses one of three doors (only one hides a prize), the host, knowing the content, opens another door revealing no prize, and finally the contestant must decide whether to stay with the original choice or switch to the remaining closed door. Assigning distinct molecular species to the player…

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

Zerrow: True Zero-Copy Arrow Pipelines in Bauplan
Bauplan is a FaaS-based lakehouse specifically built for data pipelines: its execution engine uses Apache Arrow for data passing between the nodes in the DAG. While Arrow is known as the "zero copy format", in practice, limited Linux kernel support for shared memory makes it difficult to avoid copying entirely. In this work, we introduce several new techniques to eliminate nearly all copying from pipelines: in particular, we implement a new kernel module that performs de-anonymization, thus eli…

A #Python package that can't be installed on Python 3.14, because the author had to implement a 200 line custom AST parser in `setup.py`? Yeah, why not.
#Gentoo #packaging #setuptools

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

Optical Spintronics: Towards Optical Communication Without Energy Transfer
Energy, momentum, and angular momentum are fundamental properties tied to the symmetries of space and time, with photons and other elementary particles acting as carriers of these quantities. In most optical and optoelectronic devices, energy transfer is crucial, but it often results in undesirable energy absorption. Moreover, non-reciprocal elements such as optical diodes and circulators are difficult to implement in photonics, as they typically require time-dependent perturbations, nonlinear …

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

Trade among moral agents with information asymmetries
I study a sequential bilateral trade setting with asymmetric information, where one side has all the bargaining power and makes a take-it-or-leave-it price offer. Both agents hold a certain degree of Kantian morality and thus care about what would have happened had their actions been adopted by their counterpart. In order to capture this, I implement a Veil-of-Ignorance approach, whereby players are uncertain about their role and are thus forced to submit strategies for both the case where they…

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

Investigations of electron removal processes in slow He$^{2+}$ and He$^{+}$-Ne$_2$ collisions indicate high Interatomic Coulombic Decay yield
We implement an independent-atom and independent-electron model to investigate the collision systems of He$^{2+}$ and He$^{+}$ ion projectiles impinging on a neon dimer target. The dimer is set to be stationary at its equilibrium bond length with the projectile traveling parallel to the dimer axis at a speed corresponding to the collision energy of 10 keV/amu. Two approaches called multinomial and determinantal are used as an analysis of these collisions. Each of the analyses is broken down int…

Trade among moral agents with information asymmetries
Jos\'e Ignacio Rivero-Wildemauwe
https://arxiv.org/abs/2505.20551 https://a…

Trade among moral agents with information asymmetries
I study a sequential bilateral trade setting with asymmetric information, where one side has all the bargaining power and makes a take-it-or-leave-it price offer. Both agents hold a certain degree of Kantian morality and thus care about what would have happened had their actions been adopted by their counterpart. In order to capture this, I implement a Veil-of-Ignorance approach, whereby players are uncertain about their role and are thus forced to submit strategies for both the case where they…