Tootfinder

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

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…

🇺🇦 #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

🇺🇦 #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

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.…

Mate the new iPadOS pointer is UGLY
#WWDC

Point3R: Streaming 3D Reconstruction with Explicit Spatial Pointer Memory
Yuqi Wu, Wenzhao Zheng, Jie Zhou, Jiwen Lu
https://arxiv.org/abs/2507.02863 https…

Point3R: Streaming 3D Reconstruction with Explicit Spatial Pointer Memory
Dense 3D scene reconstruction from an ordered sequence or unordered image collections is a critical step when bringing research in computer vision into practical scenarios. Following the paradigm introduced by DUSt3R, which unifies an image pair densely into a shared coordinate system, subsequent methods maintain an implicit memory to achieve dense 3D reconstruction from more images. However, such implicit memory is limited in capacity and may suffer from information loss of earlier frames. We …

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…

i have a weird bug: https://godbolt.org/z/vo1qYed8c
doesn't compile for me on arm-none-eabi-gcc-15.1.0 (and probably also earlier versions) because the assembler complains: "Error: registers may not be the same" - line 64 in the godbolt output. godbolt does not complain however …

Compiler Explorer - C++ (ARM GCC 14.3.0 (unknown-eabi))
#define MALIGN(x) __attribute__((aligned(x))) #define MROUND(x) (((uint32_t)(x)+3) & (~((uint32_t)3))) void mem_init(void *mem_pool, uint16_t mem_size, uint16_t mem_count, void **mem_head) { *mem_head = mem_pool; /* Store free mem_count after the list's next pointer at an 32-bit * aligned memory location to ensure atomic read/write (in ARM for now). */ *((uint16_t *)MROUND((uint8_t *)mem_pool + sizeof(mem_pool))) = mem_count; /* Initialize next pointers to form a free list, …

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 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…

🇺🇦 #NowPlaying on KEXP's #MiddayShow
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

ok, so, you know how the standards (C/POSIX) allow malloc(0) to return NULL?
i went to refresh my memory after a discussion of a security issue today and as best as i can tell, no commonly used OS has ever had malloc(0) return NULL, including historical ones¹. windows, glibc, musl, BSDs, all return a non-NULL pointer to some object
¹…

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 …

Go there and touch the screen or move your mouse pointer
https://katia.ripe.net/

🇺🇦 #NowPlaying on KEXP's #Early
The Pointer Sisters:
🎵 Jump
#ThePointerSisters
https://magnoliahotstuff.bandcamp.com/track/the-pointer-sisters-jump-magnolia-re-edit
https://open.spotify.com/track/1kIu9zpYtWjgrLlsactlna

Tried Wayland Plasma 6 on openSUSE on a ThinkPad P14s G5 AMD last night:
-Firefox doesn't render properly
-TrackPoint is nearly unusably twitchy and doesn't respond to speed/acceleration settings
-Input latency makes it difficult to control the mouse pointer accurately
That was enough for me to log out and return to an X session. Once they finish deleting X11 from all distros and removing any X support from modern DEs, I guess I'll just get a Mac. We had a …

Golang makes up for the benefits of type aliases and generics and arbitrary key and value types for maps with nil pointer and zero value shenanigans.

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

A new quadrature for the generalized hydrodynamics equation and absence of shocks in the Lieb-Liniger model
In conventional fluids, it is well known that Euler-scale equations are plagued by ambiguities and instabilities. Smooth initial conditions may develop shocks, and weak solutions, such as for domain wall initial conditions (the paradigmatic Riemann problem of hydrodynamics), are not unique. The absence of shock formation experimentally observed in quasi-one-dimensional cold-atomic gases, which are described by the Lieb-Liniger model, provides perhaps the strongest pointer to a modification of t…

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…

Global Predecessor Indexing: Avoiding Binary Search in Weighted Job Scheduling
Amit Joshi
https://arxiv.org/abs/2506.22922 https://ar…

Global Predecessor Indexing: Avoiding Binary Search in Weighted Job Scheduling
We present an improved solution to the Weighted Job Scheduling (WJS) problem. While the classical dynamic programming (DP) solution runs in $O(n \log(n))$ time due to comparison-based sorting and per-job binary search, we eliminate the binary search bottleneck. In its place, we introduce a novel multi-phase preprocessing technique called Global Predecessor Indexing (GPI), which computes the latest non-overlapping job (i.e., the predecessor) for all jobs via a two-pointer linear-time pass. GPI e…

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…

Profile-Guided Temporal Prefetching
Mengming Li, Qijun Zhang, Yichuan Gao, Wenji Fang, Yao Lu, Yongqing Ren, Zhiyao Xie
https://arxiv.org/abs/2506.15985 ht…

Profile-Guided Temporal Prefetching
Temporal prefetching shows promise for handling irregular memory access patterns, which are common in data-dependent and pointer-based data structures. Recent studies introduced on-chip metadata storage to reduce the memory traffic caused by accessing metadata from off-chip DRAM. However, existing prefetching schemes struggle to efficiently utilize the limited on-chip storage. An alternative solution, software indirect access prefetching, remains ineffective for optimizing temporal prefetching.…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Pointer Sisters:
🎵 Automatic
#PointerSisters
https://liquidexperience.bandcamp.com/track/pointer-sisters-automatic-liquid-redrum
https://open.spotify.com/track/38TuEl4QqLM1VtJ5LK6FK0

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…

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 …