Tootfinder

Polymarket says it received an amended US CFTC designation, letting it operate a prediction market in the US with a fully regulated exchange structure (Oliver Knight/CoinDesk)
https://www.coindesk.com/business/2025/11/25/polymarket-secur…

2nd day of the #NCKF25 symposium and the plenary is all about the #SeaLevelRise.
This is the downstream part of our job as glaciologists and it's important to understand how the projections will, can and should be used...

From a selection of 2099 tracks, this is my week's #MondayRandom10:
1. The Smashing Pumpkins, “Lily (My One and Only)”
2. Goldie, "Inner City Life”
3. Qoiet, “cursedOBJECT”
4. Pop Will Eat Itself, “RSVP”
5. Rocky Leon, “Billionaire”
6. Ronnie James Dio, “Love is All”
7. Frankie Goes to Hollywood, “Relax”
8 Robert Palmer, “Simply Irresistible”

Generalized Shortest Path-based Superpixels for 3D Spherical Image Segmentation
R\'emi Giraud, Rodrigo Borba Pinheiro, Yannick Berthoumieu
https://arxiv.org/abs/2509.19895 h…

Generalized Shortest Path-based Superpixels for 3D Spherical Image Segmentation
The growing use of wide angle image capture devices and the need for fast and accurate image analysis in computer visions have enforced the need for dedicated under-representation approaches. Most recent decomposition methods segment an image into a small number of irregular homogeneous regions, called superpixels. Nevertheless, these approaches are generally designed to segment standard 2D planar images, i.e., captured with a 90o angle view without distortion. In this work, we introduce a new …

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
Devesh Nath, Haoran Yin, Glen Chou
https://arxiv.org/abs/2509.19688 ht…

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
We present a method for formal safety verification of learning-based generative motion planners. Generative motion planners (GMPs) offer advantages over traditional planners, but verifying the safety and dynamic feasibility of their outputs is difficult since neural network verification (NNV) tools scale only to a few hundred neurons, while GMPs often contain millions. To preserve GMP expressiveness while enabling verification, our key insight is to imitate the GMP by stabilizing references sam…

🇺🇦 #NowPlaying on KEXP's #MorningShow
Palmyra Delran:
🎵 Coal In My Fishnet Stocking
#PalmyraDelran
https://open.spotify.com/track/1CkxvFq9HD6SUMmqPk14Jb

Torsten Schrade and Sarah Pittroff from the Academy of Sciences and Literature in Mainz are opening the 5th NFDI4Culture Community Plenary in Mainz. The next two days will be packed with presentations of services and lively discussions, celebrating 5 years of fruitful collaboration in @…
@…

2nd day of the #NCKF25 symposium and the plenary is all about the #SeaLevelRise.
This is the downstream part of our job as glaciologists and it's important to understand how the projections will, can and should be used...

🇺🇦 #NowPlaying on KEXP's #DriveTime
Robert Palmer:
🎵 Every Kinda People
#RobertPalmer
https://thediscoguy1.bandcamp.com/track/robert-palmer-every-kinda-people-disco-guy-remix
https://open.spotify.com/track/38E7U60ipLSTVDcPIuVzZw

This was a really cool session, started with palaeoproxies, ice sheet dynamics, detoured into extreme value statistics and isostatic rebound and ended with concrete and steel and community engagement.
Just like every grant ever says it will..
#NCKF25
#NCKF25 symposium and the plenary is all about the #SeaLevelRise.
This is the downstream part of our job as glaciologists and it's important to understand how the projections will, can and should be used...