Tootfinder

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
Max Barth, Marie-Christine Jakobs
https://arxiv.org/abs/2509.13699 https://

My friend just told me she had a "truth abstraction". I think it's just the drugs talking.

OpenHA: A Series of Open-Source Hierarchical Agentic Models in Minecraft
Zihao Wang, Muyao Li, Kaichen He, Xiangyu Wang, Zhancun Mu, Anji Liu, Yitao Liang
https://arxiv.org/abs/2509.13347

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
Max Barth, Marie-Christine Jakobs

InterKey: Cross-modal Intersection Keypoints for Global Localization on OpenStreetMap
Nguyen Hoang Khoi Tran, Julie Stephany Berrio, Mao Shan, Stewart Worrall
https://arxiv.org/abs/2509.13857

I love the abstraction of the "AI" bubble popping. But the very probable effects haunt me.
(Original title: Desire to Pop)
https://tante.cc/2025/11/23/desire-to-pop/

The utopias of yesterday – GfZK Leipzig presents the history of Robotron...
(Robotron was East Germany's largest computer manufacturer and they also made the machine I first got to use on my way to becoming a "computer toucher"... Almost exactly 10 years ago, I wrote about those early experiences and the lessons learned already back then in this long read article here:

Dependently Sorted Nominal Signatures
Maribel Fern\'andez (King s College London, UK), Miguel Pagano (FAMAF - Universidad Nacional de C\'ordoba, Argentina), Nora Szasz (Universidad ORT Uruguay), \'Alvaro Tasistro (Universidad ORT Uruguay)
https://arxiv.org/abs/2510.12305

@… a much tighter abstraction, surely!

Causal Abstractions, Categorically Unified
Markus Englberger, Devendra Singh Dhami
https://arxiv.org/abs/2510.05033 https://arxiv.org/pdf/2510.05033…

"What color is your function?" is a wonderful title. It's so good, the title alone could win the Sundance Festival.
But that post is about a JavaScript-specific limitation (not applicable to other languages), and some wishful bikeshedding about syntax (which turns out to be a leaky abstraction that makes locking ambiguous, very problematic in low-level languages).
But *color* is so catchy. It's not well defined that post, but you can't have "color"…

Easy-to-Implement One-Step Schemes for Stochastic Integration
J. Woodfield, A. Lobbe
https://arxiv.org/abs/2510.12583 https://arxiv.org/pdf/2510.12583

Many people are cheering for the popping of the "AI" bubble. Maybe it's not that simple though
https://tante.cc/2025/11/23/desire-to-pop/

SDGraph: Multi-Level Sketch Representation Learning by Sparse-Dense Graph Architecture
Xi Cheng, Pingfa Feng, Zhichao Liao, Mingyu Fan, Long Zeng
https://arxiv.org/abs/2510.12192

Software Engineering Data Analytics: A Framework Based on a Multi-Layered Abstraction Mechanism
Chaman Wijesiriwardana, Prasad Wimalaratne
https://arxiv.org/abs/2509.21881 https…

Accuracy vs Performance: An abstraction model for deadline constrained offloading at the mobile-edge
Jamie Cotter, Ignacio Castineiras, Victor Cionca
https://arxiv.org/abs/2510.01885

MaskSQL: Safeguarding Privacy for LLM-Based Text-to-SQL via Abstraction
Sepideh Abedini (University of Waterloo, Vector Institute), Shubhankar Mohapatra (University of Waterloo), D. B. Emerson (Vector Institute), Masoumeh Shafieinejad (Vector Institute), Jesse C. Cresswell (Layer 6 AI), Xi He (University of Waterloo, Vector Institute)
https://

CoLF Logic Programming as Infinitary Proof Exploration
Zhibo Chen (Carnegie Mellon University), Frank Pfenning (Carnegie Mellon University)
https://arxiv.org/abs/2510.12302 http…

On Powerful Ways to Generate: Autoregression, Diffusion, and Beyond
Chenxiao Yang, Cai Zhou, David Wipf, Zhiyuan Li
https://arxiv.org/abs/2510.06190 https://

GraphMERT: Efficient and Scalable Distillation of Reliable Knowledge Graphs from Unstructured Data
Margarita Belova, Jiaxin Xiao, Shikhar Tuli, Niraj K. Jha
https://arxiv.org/abs/2510.09580

Investigating Students' Preferences for AI Roles in Mathematical Modelling: Evidence from a Randomized Controlled Trial
Wangda Zhu, Guang Chen, Yumeng Zhu, Lei Cai, Xiangen Hu
https://arxiv.org/abs/2510.06617

Analog and Symbolic Computation through the Koopman Framework
Francesco Caravelli, Jean-Charles Delvenne
https://arxiv.org/abs/2510.05863 https://arxiv.org…

Time To Replace Your Filter: How Maplets Simplify System Design
Michael A. Bender, Alex Conway, Mart\'in Farach-Colton, Rob Johnson, Prashant Pandey
https://arxiv.org/abs/2510.05518

Light-SQ: Structure-aware Shape Abstraction with Superquadrics for Generated Meshes
Yuhan Wang, Weikai Chen, Zeyu Hu, Runze Zhang, Yingda Yin, Ruoyu Wu, Keyang Luo, Shengju Qian, Yiyan Ma, Hongyi Li, Yuan Gao, Yuhuan Zhou, Hao Luo, Wan Wang, Xiaobin Shen, Zhaowei Li, Kuixin Zhu, Chuanlang Hong, Yueyue Wang, Lijie Feng, Xin Wang, Chen Change Loy
https://

Investigating solid-state CH3OH formation with chemical modelling
K. -Y. Huang, E. M\'endez-Robayo, S. Viti, Mario -A. Higuera -G
https://arxiv.org/abs/2509.22203 https://…

CircInspect: Integrating Visual Circuit Analysis, Abstraction, and Real-Time Development in Quantum Debugging
Mushahid Khan, Prashant J. Nair, Olivia Di Matteo
https://arxiv.org/abs/2509.25199

A Case for Declarative LLM-friendly Interfaces for Improved Efficiency of Computer-Use Agents
Yuan Wang, Mingyu Li, Haibo Chen
https://arxiv.org/abs/2510.04607 https://

Tried to take a picture of something from a moving bus and missed completely but then got this awesome bit of random abstraction
#AbstractPhotography #BlackAndWhite #Monochrome

UML-CoT: Structured Reasoning and Planning with Unified Modeling Language for Robotic Room Cleaning
Hongyu Chen, Guangrun Wang
https://arxiv.org/abs/2509.22628 https://

Controls Abstraction Towards Accelerator Physics: A Middle Layer Python Package for Particle Accelerator Control
M. King, A. D. Brynes, F. Jackson, K. Baker, D. J. Scott, E. Yang, T. Kabana, C. Garnier, S. Chowdhury, N. Neveu
https://arxiv.org/abs/2509.19794

Active Semantic Perception
Huayi Tang, Pratik Chaudhari
https://arxiv.org/abs/2510.05430 https://arxiv.org/pdf/2510.05430

"The US is the richest country in the world!"
Oh yeah? What does its balance sheet look like?
Obviously it's absurd to ask that question, as any economist will happily explain why national debts shouldn't be treated like real money.
But it's also absurd that it's absurd to ask that question, and there's a thread to pull here: is the US "rich" because many billionaires live here? That doesn't seem to improve the lives of most of the population. Is it because our median income is so much larger than many other countries? That's in large part a product of exchange rates, since costs of living are also higher here, so is the real reason the fact that the dollar has so much purchasing power? Why does it?
Well, at some level of abstraction, exchange rates boil down to: "How much confidence do the ultra-rich place in the stability of the country" which is intimately related to: "How much military/diplomatic power does the country have?"
So... The US is the "richest" country in the world because it uses its military dominance to bully other countries and keep them down, and it also uses the resulting economic dominance to do the same. We can see this happening via US-sponsored coups, International Monetary Fund bullying, and attendant multinational corporate looting of countries with little economic power (rampant in Africa and Central America, for example).

@… Ah, I was switching from Hugo, because I wanted for my clients something more commonly found - I knew React, so I was able to apply same concepts, but with some simplified abstraction :)

But I totally get it - without knowing react/vue/svelte it can have quite steep learning curve.

A Target-Agnostic Protocol-Independent Interface for the Transport Layer
Pedro Mizuno, Kimiya Mohammadtaheri, Linfan Qian, Joshua Johnson, Danny Akbarzadeh, Chris Neely, Mario Baldi, Nacihket Kapre, Mina Tahmasbi Arashloo
https://arxiv.org/abs/2509.21550

Developing signal processing skills: A proposal for the teaching of filters
Fernanda Zapata Bascu\~n\'an, Daniel Col\'on, Marcelo Ar\'aoz
https://arxiv.org/abs/2509.25355

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
Ratnangshu Das, Shubham Sawarkar, Pushpak Jagtap
https://arxiv.org/abs/2509.19859 https://

Benefits and Pitfalls of Reinforcement Learning for Language Model Planning: A Theoretical Perspective
Siwei Wang, Yifei Shen, Haoran Sun, Shi Feng, Shang-Hua Teng, Li Dong, Yaru Hao, Wei Chen
https://arxiv.org/abs/2509.22613

# Get Off My Lawn Manifesto
## For Technologists Who Still Care
We remember when computers were tools, not subscription funnels.
When “open” meant source code, not APIs with rate limits.
When you could fix things yourself, not just blindly hope that a reboot of the service in the cloud would magically solve the issue.
We still believe in:
* Understanding over abstraction.
* Control over convenience.
* Craftsmanship over compliance.
* Text…

Desiderata for a biomedical knowledge network: opportunities, challenges and future Directions
Chunlei Wu, Hongfang Liu, Jason Flannick, Mark A. Musen, Andrew I. Su, Lawrence Hunter, Thomas M. Powers, Cathy H. Wu
https://arxiv.org/abs/2509.22424

# Get Off My Lawn Manifesto
## For Technologists Who Still Care
We remember when computers were tools, not subscription funnels.
When “open” meant source code, not APIs with rate limits.
When you could fix things yourself, not just blindly hope that a reboot of the service in the cloud would magically solve the issue.
We still believe in:
* Understanding over abstraction.
* Control over convenience.
* Craftsmanship over compliance.
* Text…