Tootfinder

from my link log —
Row polymorphic programming.
https://www.stranger.systems/posts/by-slug/row-polymorphic-programming.html
saved 2025-07-14

Row Polymorphic Programming
Sometimes, especially when dealing with business logic, we have to deal with data that comes in from the real world, or elsewhere, naturally very messily typed, leading to nasty type signatures and messes of macros or code generation to build data structures from a schema. Row polymorphism can help us by abstracting over the fields contained in a record type in the type signature, letting us define records based on data, concatenate records together, and define functions that are generic across…

Polymarket says it is buying little-known derivatives exchange QCX, in a move to legally re-enter the US market; a source says Polymarket will pay $112M (Bloomberg)
https://www.bloomberg.com/news/articles/2025-07-21/cr…

The new Deftones record 'Private Music' is DAMN good and worth a listen
Edit - it's on Bandcamp: https://deftonesofficial.bandcamp.com/album/private-music
And YouTube too, if you just wanna do it there:

"President Trump’s recent economic moves have accidentally created the very socialist system his supporters claim to despise. Through a series of interventions that would make any central planner proud, the champion of free enterprise has become America’s most effective socialist leader."
‘Marxism-Trumpism?’ Trump’s try at a planned economy is still socialism.
https://thehill.com/opinion/5512143-marxism-trumpism-trumps-try-at-a-planned-economy-is-still-socialism/

SLAM-based Safe Indoor Exploration Strategy
Omar Mostafa, Nikolaos Evangeliou, Anthony Tzes
https://arxiv.org/abs/2508.14235 https://arxiv.org/pdf/2508.142…

SLAM-based Safe Indoor Exploration Strategy
This paper suggests a 2D exploration strategy for a planar space cluttered with obstacles. Rather than using point robots capable of adjusting their position and altitude instantly, this research is tailored to classical agents with circular footprints that cannot control instantly their pose. Inhere, a self-balanced dual-wheeled differential drive system is used to explore the place. The system is equipped with linear accelerometers and angular gyroscopes, a 3D-LiDAR, and a forward-facing RGB-…

Colour Codes Reach Surface Code Performance using Vibe Decoding
Stergios Koutsioumpas, Tamas Noszko, Hasan Sayginel, Mark Webster, Joschka Roffe
https://arxiv.org/abs/2508.15743

Colour Codes Reach Surface Code Performance using Vibe Decoding
Two-dimensional quantum colour codes hold significant promise for quantum error correction, offering advantages such as planar connectivity and low overhead logical gates. Despite their theoretical appeal, the practical deployment of these codes faces challenges due to complex decoding requirements compared to surface codes. This paper introduces vibe decoding which, for the first time, brings colour code performance on par with the surface code under practical decoding. Our approach leverages …

Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility
Nicole Fronda, Phil Smith, Bardh Hoxha, Yash Pant, Houssam Abbas
https://arxiv.org/abs/2508.14380

Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility
Urban Air Mobility (UAM) is an emerging transportation paradigm in which Uncrewed Aerial Systems (UAS) autonomously transport passengers and goods in cities. The UAS have different operators with different, sometimes competing goals, yet must share the airspace. We propose a negotiated, semi-distributed flight planner that optimizes UAS' flight lengths {\em in a fair manner}. Current flight planners might result in some UAS being given disproportionately shorter flight paths at the expense of o…

FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs
Nicole Fronda, Bardh Hoxha, Houssam Abbas
https://arxiv.org/abs/2508.14381 https://ar…

FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs
We propose injecting notions of fairness into multi-robot motion planning. When robots have competing interests, it is important to optimize for some kind of fairness in their usage of resources. In this work, we explore how the robots' energy expenditures might be fairly distributed among them, while maintaining mission success. We formulate a distributed fair motion planner and integrate it with safe controllers in a algorithm called FiReFly. For simulated reach-avoid missions, FiReFly produc…

TRUST-Planner: Topology-guided Robust Trajectory Planner for AAVs with Uncertain Obstacle Spatial-temporal Avoidance
Junzhi Li, Teng Long, Jingliang Sun, Jianxin Zhong
https://arxiv.org/abs/2508.14610 …

TRUST-Planner: Topology-guided Robust Trajectory Planner for AAVs with Uncertain Obstacle Spatial-temporal Avoidance
Despite extensive developments in motion planning of autonomous aerial vehicles (AAVs), existing frameworks faces the challenges of local minima and deadlock in complex dynamic environments, leading to increased collision risks. To address these challenges, we present TRUST-Planner, a topology-guided hierarchical planning framework for robust spatial-temporal obstacle avoidance. In the frontend, a dynamic enhanced visible probabilistic roadmap (DEV-PRM) is proposed to rapidly explore topologica…

Improved particle swarm optimization algorithm: multi-target trajectory optimization for swarm drones
Minze Li, Wei Zhao, Ran Chen, Mingqiang Wei
https://arxiv.org/abs/2507.13647 …

Improved particle swarm optimization algorithm: multi-target trajectory optimization for swarm drones
Real-time trajectory planning for unmanned aerial vehicles (UAVs) in dynamic environments remains a key challenge due to high computational demands and the need for fast, adaptive responses. Traditional Particle Swarm Optimization (PSO) methods, while effective for offline planning, often struggle with premature convergence and latency in real-time scenarios. To overcome these limitations, we propose PE-PSO, an enhanced PSO-based online trajectory planner. The method introduces a persistent exp…