Tootfinder

Finished Altered States (1980) and it's a cool movie, but I can't get over how ridiculous it is to suggest tripping and using a sensory deprivation tank would cause genetic changes 😂 Definitely has the feel of some almost paranormal type stuff. The worst part might be how badly he treats his wife 😒
https://boxd.it/1TBi

Altered States (1980)
A research scientist explores the boundaries and frontiers of consciousness. Using sensory deprivation and hallucinogenic mixtures from native American shamans, he explores these altered states of consciousness and finds that memory, time, and perhaps reality itself are states of mind.

Cut-elimination for the alternation-free modal mu-calculus
Bahareh Afshari, Johannes Kloibhofer
https://arxiv.org/abs/2510.11293 https://arxiv.org/pdf/2510…

Cut-elimination for the alternation-free modal mu-calculus
We present a syntactic cut-elimination procedure for the alternation-free fragment of the modal mu-calculus. Cut reduction is carried out within a cyclic proof system, where proofs are finitely branching but may be non-wellfounded. The structure of such proofs is exploited to directly transform a cyclic proof with cuts into a cut-free one, without detouring through other logics or relying on intermediate machinery for regularisation. Novel ingredients include the use of multicuts and results fr…

Dernier retour (je pense) de ma première phase d'exploration depuis l'installation de #Linux #LinuxMint sur mon ancien PC.
L'explorateur de fichier par défaut (Nemo basé sur Nautilus) qui propose pas d'aperçu quand on clique sur une image ou un doc.
J'alterne du coup avec…

Inpainting-Guided Policy Optimization for Diffusion Large Language Models
Siyan Zhao, Mengchen Liu, Jing Huang, Miao Liu, Chenyu Wang, Bo Liu, Yuandong Tian, Guan Pang, Sean Bell, Aditya Grover, Feiyu Chen
https://arxiv.org/abs/2509.10396

Inpainting-Guided Policy Optimization for Diffusion Large Language Models
Masked diffusion large language models (dLLMs) are emerging as promising alternatives to autoregressive LLMs, offering competitive performance while supporting unique generation capabilities such as inpainting. We explore how inpainting can inform RL algorithm design for dLLMs. Aligning LLMs with reinforcement learning faces an exploration challenge: sparse reward signals and sample waste when models fail to discover correct solutions. While this inefficiency affects LLMs broadly, dLLMs offer a…

Anybody know anyone on #Vancouver City Council? Because they’re talking about seeking alternatives to Xitter: https://bsky.app/profile/jmcelroy.bsky.social/post/3m7qmxxutss24

Justin McElroy 🇨🇦 (@jmcelroy.bsky.social)
An update on how the City of Vancouver provides real-time text updates and information about its council meetings. Currently, the only way you can get that information is by having an account on X, the very fun website that everyone loves. Yesterday, they passed a motion to explore alternatives.

An Efficient Algorithm for Exploring RNA Branching Conformations under the Nearest-Neighbor Thermodynamic Model
Svetlana Poznanovi\'c, Owen Cardwell, Christine Heitsch
https://arxiv.org/abs/2510.12059

An Efficient Algorithm for Exploring RNA Branching Conformations under the Nearest-Neighbor Thermodynamic Model
Background: In the Nearest-Neighbor Thermodynamic Model, a standard approach for RNA secondary structure prediction, the energy of the multiloops is modeled using a linear entropic penalty governed by three branching parameters. Although these parameters are typically fixed, recent work has shown that reparametrizing the multiloop score and considering alternative branching conformations can lead to significantly better structure predictions. However, prior approaches for exploring the alternat…

FAC-FACodec: Controllable Zero-Shot Foreign Accent Conversion with Factorized Speech Codec
Yurii Halychanskyi, Cameron Churchwell, Yutong Wen, Volodymyr Kindratenko
https://arxiv.org/abs/2510.10785

FAC-FACodec: Controllable Zero-Shot Foreign Accent Conversion with Factorized Speech Codec
Previous accent conversion (AC) methods, including foreign accent conversion (FAC), lack explicit control over the degree of modification. Because accent modification can alter the perceived speaker identity, balancing conversion strength and identity preservation is crucial. We present an AC framework that provides an explicit, user-controllable parameter for accent modification. The method targets pronunciation while preserving suprasegmental cues such as intonation and phoneme durations. Res…

ProtoSiTex: Learning Semi-Interpretable Prototypes for Multi-label Text Classification
Utsav Kumar Nareti, Suraj Kumar, Soumya Pandey, Soumi Chattopadhyay, Chandranath Adak
https://arxiv.org/abs/2510.12534

ProtoSiTex: Learning Semi-Interpretable Prototypes for Multi-label Text Classification
The surge in user-generated reviews has amplified the need for interpretable models that can provide fine-grained insights. Existing prototype-based models offer intuitive explanations but typically operate at coarse granularity (sentence or document level) and fail to address the multi-label nature of real-world text classification. We propose ProtoSiTex, a semi-interpretable framework designed for fine-grained multi-label text classification. ProtoSiTex employs a dual-phase alternating traini…

Zk-SNARK Marketplace with Proof of Useful Work
Samuel Oleksak, Richard Gazdik, Martin Peresini, Ivan Homoliak
https://arxiv.org/abs/2510.09729 https://arxi…

Zk-SNARK Marketplace with Proof of Useful Work
Proof of Work (PoW) is widely regarded as the most secure permissionless blockchain consensus protocol. However, its reliance on computationally intensive yet externally useless puzzles results in excessive electric energy wasting. To alleviate this, Proof of Useful Work (PoUW) has been explored as an alternative to secure blockchain platforms while also producing real-world value. Despite this promise, existing PoUW proposals often fail to embed the integrity of the chain and identity of the m…

A Unified Framework for Adaptive Waveform Processing in Next Generation Wireless Networks
Abdelali Arous, Hamza Haif, Arman Farhang, Huseyin Arslan
https://arxiv.org/abs/2510.12648

A Unified Framework for Adaptive Waveform Processing in Next Generation Wireless Networks
The emergence of alternative multiplexing domains to the time-frequency domains, e.g., the delay-Doppler and chirp domains, offers a promising approach for addressing the challenges posed by complex propagation environments and next-generation applications. Unlike the time and frequency domains, these domains offer unique channel representations which provide additional degrees of freedom (DoF) for modeling, characterizing, and exploiting wireless channel features. This article provides a compr…