Tootfinder

Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
https://arxiv.org/abs/2506.09458

Syntactic Effectful Realizability in Higher-Order Logic
Realizability interprets propositions as specifications for computational entities in programming languages. Specifically, syntactic realizability is a powerful machinery that handles realizability as a syntactic translation of propositions into new propositions that describe what it means to realize the input proposition. This paper introduces EffHOL (Effectful Higher-Order Logic), a novel framework that expands syntactic realizability to uniformly support modern programming paradigms with sid…

Rydberg atom arrays as quantum simulators for molecular dynamics
Simon Euchner, Igor Lesanovsky
https://arxiv.org/abs/2506.09865 https://

Rydberg atom arrays as quantum simulators for molecular dynamics
Rydberg atoms held in optical tweezer arrays combine vibrational and electronic degrees of freedom which can be coupled and manipulated at a microscopic level. This opens opportunities for the quantum simulation of artificial molecular systems and offers in particular a platform for probing complex vibronic dynamics in controlled settings with increasing complexity. Tailored interatomic interactions and electron-phonon couplings yield handles for designing electronic state manifolds, for studyi…

Being autistic, sorry not sorry, I’m obsessed with this font Comic Mono (https://dtinth.github.io/comic-mono-font/) and I totally force it on my site! ♾️✨
Check it out at

Cloudflare open sourced an OAuth library mostly written by Claude, showing how AI handles mechanical implementation while humans guide with context and judgment (Max Mitchell)
https://www.maxemitchell.com/writings/i-read-all-of-cloudflares…

Max Mitchell's Personal Portfolio Website
Max Mitchell's personal portfolio website showcasing his photography, YouTube videos, coding projects, and work history.

'"[…] I had always assumed the shell used the shebang as a hint, but that’s incorrect! This functionality is actually handled directly by the #Linux #Kernel. […]"'

Technical Report for Egocentric Mistake Detection for the HoloAssist Challenge
Constantin Patsch, Marsil Zakour, Yuankai Wu, Eckehard Steinbach
https://arxiv.org/abs/2506.06174

Technical Report for Egocentric Mistake Detection for the HoloAssist Challenge
In this report, we address the task of online mistake detection, which is vital in domains like industrial automation and education, where real-time video analysis allows human operators to correct errors as they occur. While previous work focuses on procedural errors involving action order, broader error types must be addressed for real-world use. We introduce an online mistake detection framework that handles both procedural and execution errors (e.g., motor slips or tool misuse). Upon detect…

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

DnR-nonverbal: Cinematic Audio Source Separation Dataset Containing Non-Verbal Sounds
We propose a new dataset for cinematic audio source separation (CASS) that handles non-verbal sounds. Existing CASS datasets only contain reading-style sounds as a speech stem. These datasets differ from actual movie audio, which is more likely to include acted-out voices. Consequently, models trained on conventional datasets tend to have issues where emotionally heightened voices, such as laughter and screams, are more easily separated as an effect, not speech. To address this problem, we buil…

AgentPorn.ai - Where Developers get their fix
https://agentporn.ai/

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

MultiDLO: Simultaneous Shape Tracking of Multiple Deformable Linear Objects with Global-Local Topology Preservation
MultiDLO is a real-time algorithm for estimating the shapes of multiple, intertwining deformable linear objects (DLOs) from RGB-D image sequences. Unlike prior methods that track only a single DLO, MultiDLO simultaneously handles several objects. It uses the geodesic distance in the Global-Local Topology Preservation algorithm to define both inter-object identity and intra-object topology, ensuring entangled DLOs remain distinct with accurate local geometry. The MultiDLO algorithm is demonstrat…

DiOMP-Offloading: Toward Portable Distributed Heterogeneous OpenMP
Baodi Shan, Mauricio Arayr-Polo, Barbara Chapman
https://arxiv.org/abs/2506.02486 https:…

DiOMP-Offloading: Toward Portable Distributed Heterogeneous OpenMP
As core counts and heterogeneity rise in HPC, traditional hybrid programming models face challenges in managing distributed GPU memory and ensuring portability. This paper presents DiOMP, a distributed OpenMP framework that unifies OpenMP target offloading with the Partitioned Global Address Space (PGAS) model. Built atop LLVM/OpenMP and using GASNet-EX or GPI-2 for communication, DiOMP transparently handles global memory, supporting both symmetric and asymmetric GPU allocations. It leverages O…

A Tool for Generating Exceptional Behavior Tests With Large Language Models
Linghan Zhong, Samuel Yuan, Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
https://arxiv.org/abs/2505.22818

A Tool for Generating Exceptional Behavior Tests With Large Language Models
Exceptional behavior tests (EBTs) are crucial in software development for verifying that code correctly handles unwanted events and throws appropriate exceptions. However, prior research has shown that developers often prioritize testing "happy paths", e.g., paths without unwanted events over exceptional scenarios. We present exLong, a framework that automatically generates EBTs to address this gap. exLong leverages a large language model (LLM) fine-tuned from CodeLlama and incorporates reasoni…

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

Sparkling saddle loops of vector fields on surfaces
We study bifurcations of vector fields on 2-manifolds with handles in generic one-parameter families unfolding vector fields with a separatrix loop of a hyperbolic saddle. These bifurcations can differ drastically from the analogous bifurcations on the sphere. The reason is that, on a surface, a free separatrix of a hyperbolic saddle may wind toward the separatrix loop of the same saddle. When this loop is broken, sparkling saddle loops emerge. In the orientable case, the parameter values corre…

Make fancy tables: #rstats #tables

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

Corks, exotic 4-manifolds and genus functions
We prove that every 4-dimensional oriented handlebody without 3- and 4-handles can be modified to admit infinitely many exotic smooth structures, and further that their genus functions are pairwise equivalent. We furthermore show that, for any 4-manifold admitting an embedding into a symplectic 4-manifold with weakly convex boundary, its genus function is algebraically realized as those of infinitely many pairwise exotic 4-manifolds. We also prove that, for any two 4-manifolds with non-degenera…

Force-Dual Modes: Subspace Design from Stochastic Forces
Otman Benchekroun, Eitan Grinspun, Maurizio Chiaramonte, Philip Allen Etter
https://arxiv.org/abs/2505.23969

Force-Dual Modes: Subspace Design from Stochastic Forces
Designing subspaces for Reduced Order Modeling (ROM) is crucial for accelerating finite element simulations in graphics and engineering. Unfortunately, it's not always clear which subspace is optimal for arbitrary dynamic simulation. We propose to construct simulation subspaces from force distributions, allowing us to tailor such subspaces to common scene interactions involving constraint penalties, handles-based control, contact and musculoskeletal actuation. To achieve this we adopt a statist…

DnR-nonverbal: Cinematic Audio Source Separation Dataset Containing Non-Verbal Sounds
Takuya Hasumi, Yusuke Fujita
https://arxiv.org/abs/2506.02499 https:/…

DnR-nonverbal: Cinematic Audio Source Separation Dataset Containing Non-Verbal Sounds
We propose a new dataset for cinematic audio source separation (CASS) that handles non-verbal sounds. Existing CASS datasets only contain reading-style sounds as a speech stem. These datasets differ from actual movie audio, which is more likely to include acted-out voices. Consequently, models trained on conventional datasets tend to have issues where emotionally heightened voices, such as laughter and screams, are more easily separated as an effect, not speech. To address this problem, we buil…