Tootfinder

from my link log —
What does pointer provenance have to do with RCU?
https://people.kernel.org/paulmck/what-on-earth-does-lifetime-end-pointer-zap-have-to-do-with-rcu
saved 2025-10-03

What on Earth Does Pointer Provenance Have to do With RCU?
TL;DR: Unless you are doing very strange things with RCU (read-copy update), not much!!! So why has the guy most responsible for Linux-k...

Related to my last boost, still annoyed this DID NOT make it into WCAG 2.2:
3.2.7 Hidden Controls (Level AA): Controls needed to progress or complete a process are visible at the time they are needed without requiring pointer hover or keyboard focus, or a mechanism is available to make them persistently visible.
https://www.…

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
Jiahao Zhang, Xiao Cheng, Yuxiang Lei
https://arxiv.org/abs/2508.01974 h…

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
Flow-sensitive pointer analysis constitutes an essential component of precise program analysis for accurately modeling pointer behaviors by incorporating control flows. Flow-sensitive pointer analysis is extensively used in alias analysis, taint analysis, program understanding, compiler optimization, etc. Existing flow-sensitive pointer analysis approaches, which are conducted based on control flow graphs, have significantly advanced the precision of pointer analysis via sophisticated technique…

I ran into my very first "it runs as long as you do it the app's way" kind of bug. My guess is, by assigning a different variable here, the pointer's address is aligned "just right" for my code to work.
This comment is from my #GitRaven project.
```
// FIXME: Use `amendCommitOid` instead
// Note: The app seg faults when this variable is del…

Okay... laptop on the podium w/ power, got my slides up, remote pointer good to go, HDMI & audio working, mic check one two - solid, phone ringer off in presenter clock mode, bottle of water. Yep, 30 sec to showtim---- wait, what's this?
Oh, you've gotta be kidding with me.
#truestory #murphyslaw

IMO the Fall Apart desktop effect in #KDE (Apps & Windows -> Window Management -> Desktop Effects) should be enabled by default. Looks even more cool when an app, or a game, crashes. Save and Open dialog boxes? So satisfying - feels like you are getting work done at an explosive rate 😄

Really nice writeup @… :)
https://people.kernel.org/paulmck/what-on-earth-does-lifetime-end-pointe…

What on Earth Does Pointer Provenance Have to do With RCU?
TL;DR: Unless you are doing very strange things with RCU, not much!!! So why has the guy most responsible for Linux-kernel spent so much...

Rule Encoding and Compliance in Large Language Models: An Information-Theoretic Analysis
Joachim Diederich
https://arxiv.org/abs/2510.05106 https://arxiv.o…

Rule Encoding and Compliance in Large Language Models: An Information-Theoretic Analysis
The design of safety-critical agents based on large language models (LLMs) requires more than simple prompt engineering. This paper presents a comprehensive information-theoretic analysis of how rule encodings in system prompts influence attention mechanisms and compliance behaviour. We demonstrate that rule formats with low syntactic entropy and highly concentrated anchors reduce attention entropy and improve pointer fidelity, but reveal a fundamental trade-off between anchor redundancy and at…

Separation Logic of Generic Resources via Sheafeology
Berend van Starkenburg, Henning Basold, Chase Ford
https://arxiv.org/abs/2508.01866 https://arxiv.org…

Separation Logic of Generic Resources via Sheafeology
Separation logic was conceived in order to make the verification of pointer programs scalable to large systems and it has proven extremely effective. The key idea is that programs typically access only small parts of memory, allowing for local reasoning. This idea is implemented in separation logic by extending first-order logic with separating connectives, which inspect local regions of memory. It turns that this approach not only applies to pointer programs, but also to programs involving oth…

Joint momenta-coordinates states as pointer states in quantum decoherence
Nomenjanahary Tanjonirina Manampisoa, Ravo Tokiniaina Ranaivoson, Roland Raboanary, Raoelina Andriambololona, Rivo Herivola Manjakamanana Ravelonjato
https://arxiv.org/abs/2509.18206

Joint momenta-coordinates states as pointer states in quantum decoherence
Quantum decoherence provides a framework to study the emergence of classicality from quantum system by showing how interactions with the environments suppress interferences and select robust states known as pointer states. Earlier studies have linked Gaussian coherent states with pointer states. More recently, it was conjectured that more general quantum states called joint momenta-coordinates states could also be considered as more suitable candidates to be pointer states. These states are ass…

Best comment ever below this post:
"You know what else is unsafe? Life, yet we do it all the time.
I don’t care about rust and it’s artistic fanatics doing artistic screeching every time some C programmer uses a pointer."
👏🏻😂🙏😬🫣😳
https://hackaday.com/2025/08/04/a-gent

A Gentle Introduction To Fortran
Originally known as FORTRAN, but written in lower case since the 1990s with Fortran 90, this language was developed initially by John Backus as a way to make writing programs for the IBM 704 mainfr…

I had not noticed this until someone sent me a pointer...
"Justice Department requests access to Dominion voting equipment used in Missouri in 2020"
https://www.cnn.com/2025/09/04/politics/doj-voting-equipment-states

Justice Department requests access to Dominion voting equipment used in Missouri in 2020
The US Department of Justice has requested access to voting equipment used in the 2020 election in two Missouri counties in what appears to be a wide-ranging effort to more closely monitor election processes around the country.

Enhancing Semantic Understanding in Pointer Analysis using Large Language Models
Baijun Cheng, Kailong Wang, Ling Shi, Haoyu Wang, Yao Guo, Ding Li, Xiangqun Chen
https://arxiv.org/abs/2508.21454

Enhancing Semantic Understanding in Pointer Analysis using Large Language Models
Pointer analysis has been studied for over four decades. However, existing frameworks continue to suffer from the propagation of incorrect facts. A major limitation stems from their insufficient semantic understanding of code, resulting in overly conservative treatment of user-defined functions. Recent advances in large language models (LLMs) present new opportunities to bridge this gap. In this paper, we propose LMPA (LLM-enhanced Pointer Analysis), a vision that integrates LLMs into pointer a…

🇺🇦 Auf radioeins läuft...
The Pointer Sisters:
🎵 I'm So Excited
#NowPlaying #ThePointerSisters
#radioeins gespielten Titel als #Spotify Playliste: https://open.spotify.com/playlist/3hdH98B6uyXilhcWxCA6nv

Jets-Cowboys Highlight | Josh Reynolds Reels In Two-Point Conversion in the Fourth Quarter https://www.newyorkjets.com/video/jets-cowboys-highlight-josh-reynolds-two-point-conversion-10-05-2025

Pointer Chasing with Unlimited Interaction
Orr Fischer, Rotem Oshman, Adi Rosen, Tal Roth
https://arxiv.org/abs/2508.19158 https://arxiv.org/pdf/2508.19158…

Pointer Chasing with Unlimited Interaction
Pointer-chasing is a central problem in two-party communication complexity: given input size $n$ and a parameter $k$, the two players Alice and Bob are given functions $N_A, N_B: [n] \rightarrow [n]$, respectively, and their goal is to compute the value of $p_k$, where $p_0 = 1$, $p_1 = N_A(p_0)$, $p_2 = N_B(p_1) = N_B(N_A(p_0))$, $p_3 = N_A(p_2) = N_A(N_B(N_A(p_0)))$ and so on, applying $N_A$ in even steps and $N_B$ in odd steps, for a total of $k$ steps. It is trivial to solve the problem usi…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
The Pointer Sisters:
🎵 Neutron Dance
#ThePointerSisters
https://loveforthegoodsouls.bandcamp.com/track/a-place-to-bury-strangers-neutron-dance-the-pointer-sisters-cover
https://open.spotify.com/track/3Uyxe1fbF4zWSEwy38qgMw

Fun fact from France:
The Arc<Triomphe> is thread-safe and immutable.
For reference (hehe):
https://doc.rust-lang.org/std/sync/struct.Arc.html

Boosting Pointer Analysis With Large Language Model-Enhanced Allocation Function Detection
Baijun Cheng, Kailong Wang, Ling Shi, Haoyu Wang, Peng Di, Yao Guo, Ding Li, Xiangqun Chen
https://arxiv.org/abs/2509.22530

Boosting Pointer Analysis With Large Language Model-Enhanced Allocation Function Detection
Pointer analysis is foundational for many static analysis tasks, yet its effectiveness is often hindered by imprecise modeling of heap allocations, particularly in C/C++ programs where user-defined allocation functions (AFs) are pervasive. Existing approaches largely overlook these custom allocators, leading to coarse aliasing and reduced analysis precision. In this paper, we present AFD, a novel technique that enhances pointer analysis by automatically identifying and modeling custom allocatio…

Qubit-optimal quantum phase estimation of block-encoded Hamiltonians
S. E. Skelton
https://arxiv.org/abs/2509.04246 https://arxiv.org/pdf/2509.04246…

Qubit-optimal quantum phase estimation of block-encoded Hamiltonians
Block-encodings have become one of the most common oracle assumptions in the circuit model. I present an algorithm that uses von Neumann's measurement procedure to measure a phase, using time evolution on a block-encoded Hamiltonian as a subroutine. This produces an extremely simple algorithm for quantum phase estimation, which can be performed with a pointer system of $\mathcal{O}(1)$ qubits. I then use recent results for block-encoding implementations, showing that one can efficiently prepa…

Why'd he let Steve Nash go?
Why'd he sell the #DallasMavericks?
What happened with #LukaDoncic?
Thoughts on 3 pointer mania?
Being fined $2M as a new NBA owner?
Next biggest challenges for the NBA?
▶️

Kinda disappointed that the resize cursor doesn't smoothly rotate around the curves of the window edges.

Inside a recording dial #clock
International Time Recording Co Ltd
Later became IBM

Beyond Tag Collision: Cluster-based Memory Management for Tag-based Sanitizers
Mengfei Xie, Yan Lin, Hongtao Wu, Jianming Fu, Chenke Luo, Guojun Peng
https://arxiv.org/abs/2509.09089

Beyond Tag Collision: Cluster-based Memory Management for Tag-based Sanitizers
Tag-based sanitizers attach a small "key" to each pointer and a matching "lock" tag to its target memory object, enabling runtime verification of pointer-object consistency and helping developers to detect potential memory violations. However, the limited tag encoding space challenges existing studies in assigning distinct tags to memory objects across temporal and spatial dimensions, leading to potential tag collisions. In this paper, we present ClusterTag, a novel cluster-based memory allocat…

The Effect of Pointer Analysis on Semantic Conflict Detection
Matheus Barbosa, Paulo Borba, Rodrigo Bonif\'acio, Victor Lira, Galileu Santos
https://arxiv.org/abs/2507.20081

The Effect of Pointer Analysis on Semantic Conflict Detection
Current merge tools don't detect semantic conflicts, which occur when changes from different developers are textually integrated but semantically interfere with each other. Although researchers have proposed static analyses for detecting semantic conflicts, these analyses suffer from significant false positive rates. To understand whether such false positives could be reduced by using pointer analysis in the implementation of semantic conflict static analyses, we conduct an empirical study. We …

Another day, another instance of trying to use some #golang code I found on the Internet throwing a nil pointer dereference panic, another moment spent wondering why you would design a language where that is possible in the 21st century

ForcePinch: Force-Responsive Spatial Interaction for Tracking Speed Control in XR
Chenyang Zhang, Tiffany S Ma, John Andrews, Eric J Gonzalez, Mar Gonzalez-Franco, Yalong Yang
https://arxiv.org/abs/2507.18510

ForcePinch: Force-Responsive Spatial Interaction for Tracking Speed Control in XR
Spatial interaction in 3D environments requires balancing efficiency and precision, which requires dynamic tracking speed adjustments. However, existing techniques often couple tracking speed adjustments directly with hand movements, reducing interaction flexibility. Inspired by the natural friction control inherent in the physical world, we introduce ForcePinch, a novel force-responsive spatial interaction method that enables users to intuitively modulate pointer tracking speed and smoothly tr…

DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning
Wyatt Petula, Anushcka Joshi, Peggy Tu, Amrutha Somasundar, Suman Saha
https://arxiv.org/abs/2509.14496 htt…

DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning
While game-based learning is widely used in programming education, few tools offer adaptive, real-time support for complex topics, such as C pointers. We present DeliverC, a GenAI-enhanced game that integrates GPT-4-mini to provide personalized hints and generate pointer-related challenges on the fly. In a pilot study involving 25 undergraduate students, we investigated the impact of the system on learning through gameplay data and a 15-item survey that covered constructs such as motivation, se…

🇺🇦 #NowPlaying on #BBC6Music's #CraigCharles
The Pointer Sisters:
🎵 Yes We Can Can
#ThePointerSisters
https://superjockrecords.bandcamp.com/track/the-pointer-sisters-yes-we-can-can-professor-shorthair-remix
https://open.spotify.com/track/7FpGAivMuzzBcnOlHZnouD

Thermodynamic Constraints on the Emergence of Intersubjectivity in Quantum Systems
Alessandro Candeloro, Tiago Debarba, Felix C. Binder
https://arxiv.org/abs/2507.20736 https://…

Thermodynamic Constraints on the Emergence of Intersubjectivity in Quantum Systems
Ideal quantum measurement requires divergent thermodynamic resources. This is a consequence of the third law of thermodynamics, which prohibits the preparation of the measurement pointer in a fully erased, pure state required for the acquisition of perfect, noiseless measurement information. In this work, we investigate the consequences of finite resources in the emergence of intersubjectivity as a model for measurement processes with multiple observers. Here, intersubjectivity refers to a cond…

🇺🇦 #NowPlaying on KEXP's #Early
Pointer Sisters:
🎵 Sesame Street Pinball Remix
#PointerSisters

Inverse Weak measurement in SERF magnetometer
Qian Cao, Liang Xu, Ziqian Yue, Jianqi Yang, Yueyang Zhai
https://arxiv.org/abs/2508.12306 https://arxiv.org/…

Inverse Weak measurement in SERF magnetometer
Weak measurement techniques have been extensively applied in the field of quantum precision measurement to detect ultra-small signals due to the amplification effect. In this work, we propose an optical detection system for a spin-exchange relaxation-free (SERF) magnetometer based on the inverse weak measurement (IWM) framework. By using the spatial pattern of a probe laser as the measurement pointer, we successfully detect ultra-weak magnetic fields. In our model, the spatial pattern of the pr…

Human-Like Trajectories Generation via Receding Horizon Tracking Applied to the TickTacking Interface
Daniele Masti, Stefano Menchetti, \c{C}a\u{g}r{\i} Erdem, Giorgio Gnecco, Davide Rocchesso
https://arxiv.org/abs/2507.13528

Human-Like Trajectories Generation via Receding Horizon Tracking Applied to the TickTacking Interface
TickTacking is a rhythm-based interface that allows users to control a pointer in a two-dimensional space through dual-button tapping. This paper investigates the generation of human-like trajectories using a receding horizon approach applied to the TickTacking interface in a target-tracking task. By analyzing user-generated trajectories, we identify key human behavioral features and incorporate them in a controller that mimics these behaviors. The performance of this human-inspired controller …

LLM-Based Repair of Static Nullability Errors
Nima Karimipour, Michael Pradel, Martin Kellogg, Manu Sridharan
https://arxiv.org/abs/2507.20674 https://arxi…

LLM-Based Repair of Static Nullability Errors
Modern Java projects increasingly adopt static analysis tools that prevent null-pointer exceptions by treating nullness as a type property. However, integrating such tools into large, existing codebases remains a significant challenge. While annotation inference can eliminate many errors automatically, a subset of residual errors -- typically a mix of real bugs and false positives -- often persist and can only be resolved via code changes. Manually addressing these errors is tedious and error-p…

🇺🇦 #NowPlaying on KEXP's #Early
Pointer Sisters:
🎵 Pinball Number Count
#PointerSisters
https://muzzleflashradio.bandcamp.com/track/pinball-number-count
https://open.spotify.com/track/3Xyg9xN6RMzpcM95KVO7t8

Decoherent histories with(out) objectivity in a (broken) apparatus
Beno\^it Fert\'e, Davide Farci, Xiangyu Cao
https://arxiv.org/abs/2508.16482 https://

Decoherent histories with(out) objectivity in a (broken) apparatus
We characterize monitored quantum dynamics in a solvable model exhibiting a phase transition between a measurement apparatus and a scrambler. We show that approximate decoherent histories emerge in both phases with respect to a coarse-grained extensive observable. However, the apparatus phase, where quantum Darwinism emerges, is distinguished by the non-ergodicity of the histories and their correlation with the measured qubit, which selects an ensemble of preferred pointer states. Our results d…

Investigating Seamless Transitions Between Immersive Computational Notebooks and Embodied Data Interactions
Sungwon In, Eric Krokos, Kirsten Whitley, Chris North, Yalong Yang
https://arxiv.org/abs/2509.13295

Investigating Seamless Transitions Between Immersive Computational Notebooks and Embodied Data Interactions
A growing interest in Immersive Analytics (IA) has led to the extension of computational notebooks (e.g., Jupyter Notebook) into an immersive environment to enhance analytical workflows. However, existing solutions rely on the WIMP (windows, icons, menus, pointer) metaphor, which remains impractical for complex data exploration. Although embodied interaction offers a more intuitive alternative, immersive computational notebooks and embodied data exploration systems are implemented as standalone…