Tootfinder

remember cool cool winter? yeah me either
#photography #mosstodon #lichenSubscribe

Caleb Williams reveals two specific 2025 goals with Chicago Bears

https://www.cbssports.com/nfl/news/caleb-williams-reveals-two-specific-2025-goals-with-chicago-bea…

#TGIQF: Spaceballs - Das Quiz
Spaceballs 2 kommt 2027 in die Kinos – Mel Brooks' Kultkomödie wird nach 40 Jahren endlich fortgesetzt. Wir feiern mit einem Spaceballs-Quiz. Machen Sie mit!

Our chapter on Urban #mobility is finally published, in the great Compendium of Urban Complexity!
https://link.springer.com/chapter/10.1007/978-3-031-82666-5_4…

Urban Mobility
In this chapter, we discuss urban mobility from a complexity science perspective. First, we give an overview of the datasets that enable this approach, such as mobile phone records, location-based social network traces, or GPS trajectories from sensors installed on...

Steering Conceptual Bias via Transformer Latent-Subspace Activation
Vansh Sharma, Venkat Raman
https://arxiv.org/abs/2506.18887 https://

Steering Conceptual Bias via Transformer Latent-Subspace Activation
This work examines whether activating latent subspaces in language models (LLMs) can steer scientific code generation toward a specific programming language. Five causal LLMs were first evaluated on scientific coding prompts to quantify their baseline bias among four programming languages. A static neuron-attribution method, perturbing the highest activated MLP weight for a C++ or CPP token, proved brittle and exhibited limited generalization across prompt styles and model scales. To address th…

Spectra and invariant subspaces of compressed shifts on nearly invariant subspaces
Y. Liang, J. R. Partington
https://arxiv.org/abs/2506.18646 https://

Spectra and invariant subspaces of compressed shifts on nearly invariant subspaces
While the spectral properties and invariant subspaces of compressed shifts on model spaces are well understood, their behaviour on nearly $S^*$-invariant subspaces, a natural generalization with weaker structural constraints, remains largely unexplored. In this paper, we completely characterize the point spectrum, whole spectrum and invariant subspace structure for such compressed shifts by unitary equivalence, using the Frostman shift, Crofoot transform, and Sz.-Nagy--Foias theory. Our results…

On June 4th, 2025, I will be speaking at @… in Berlin about open human mobility data in Spain and the EU, and its practical and scientific applications. #geomobBER . Attendance is free, just register at

June 4th, 2025 #geomobBER
Geomob - geoinnovation for fun or profit

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Marco Ciccal\`e, Daniel Jurjo-Rivas, Jose F. Morales, Pedro L\'opez-Garc\'ia, Manuel V. Hermenegildo
https://arxiv.org/abs/2507.17233

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Higher-order constructs enable more expressive and concise code by allowing procedures to be parameterized by other procedures. Assertions allow expressing partial program specifications, which can be verified either at compile time (statically) or run time (dynamically). In higher-order programs, assertions can also describe higher-order arguments. While in the context of (C)LP, run-time verification of higher-order assertions has received some attention, compile-time verification remains rela…

the wind splitting seconds again
#bloomscrolling #photography #tulips

My collaborator @… just gave a fantastic talk at #ic2s2 about our "urban highways" paper https://www.