Tootfinder

🇺🇦 #NowPlaying on KEXP's #Early
Herbie Hancock:
🎵 Watermelon Man
#HerbieHancock
https://primitivrecords.bandcamp.com/track/herbie-hancock-watermelon-man
https://open.spotify.com/track/38xcUjiTP1ivfb7ObwjyGA

🇺🇦 #NowPlaying on BBCRadio3's #RoundMidnight
Harben Kay:
🎵 Laylow
#HarbenKay
https://open.spotify.com/track/2k3IKb4Ry25SxcgLLpJ4bI

🔊 #NowPlaying on #BBCRadio3:
#RoundMidnight
- Harben Kay's mixtape
Soweto welcomes leading Scottish saxophonist Harben Kay as his Friday night guest.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002kr5t

Exploring and Exploiting the Resource Isolation Attack Surface of WebAssembly Containers
Zhaofeng Yu (Harbin Institute of Technology), Dongyang Zhan (Harbin Institute of Technology), Lin Ye (Harbin Institute of Technology), Haining Yu (Harbin Institute of Technology), Hongli Zhang (Harbin Institute of Technology), Zhihong Tian (Guangzhou University)
https://

Exploring and Exploiting the Resource Isolation Attack Surface of WebAssembly Containers
Recently, the WebAssembly (or Wasm) technology has been rapidly evolving, with many runtimes actively under development, providing cross-platform secure sandboxes for Wasm modules to run as portable containers. Compared with Docker, which isolates applications at the operating system level, Wasm runtimes provide more security mechanisms, such as linear memory, type checking, and protected call stacks. Although Wasm is designed with security in mind and considered to be a more secure container r…

🇺🇦 #NowPlaying on KEXP's #Early
Herbie Hancock:
🎵 Rockit
#HerbieHancock
https://opaledit.bandcamp.com/track/herbie-hancock-rockit-opal-edit
https://open.spotify.com/track/2nWHzbBWBOePUvAImQv2So

linrax: A JAX Compatible, Simplex Method Linear Program Solver
Brendan Gould, Akash Harapanahalli, Samuel Coogan
https://arxiv.org/abs/2509.19484 https://a…

linrax: A JAX Compatible, Simplex Method Linear Program Solver
We present linrax, the first simplex based linear program (LP) solver compatible with the JAX ecosystem. In many control algorithms, LPs are often automatically generated and frequently solved either offline or online in the control loop. This motivates the design of linrax, which is especially suited for compilation into a complex JAX-based pipeline as a subroutine. We discuss the challenges associated with implementing a general purpose LP solver under strict design requirements from JAX. Not…

UPDATE: Pokrovsk, Ukraine.
Over 20% of Ukraine's GDP comes from the Pokrovsk region. There are 127 official mines in the region, providing the true incentive for Putin's push to steal it.
In the maze of mineshafts and tunnels, an invisible war is being waged in horrifying conditions.
The idea of US "peace" plan is absurdist fiction that fits in with the Kremlin lies of Russia controlling Pokrovsk.
Information wars are being waged in your face. Defend…

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
Brendan Gould, Akash Harapanahalli, Samuel Coogan
https://arxiv.org/abs/2509.19472 …

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
Interval refinement is a technique for reducing the conservatism of traditional interval based reachability methods by lifting the system to a higher dimension using new auxiliary variables and exploiting the introduced structure through a refinement procedure. We present a novel, efficiently scaling, automatic refinement strategy based on a subspace sampling argument and motivated by reducing the number of interval operations through sparsity. Unlike previous methods, we guarantee that refined…