Tootfinder

Colbert Was Cancelled Because Fascists Hate Comedy via @… https://thetyee.ca/Culture/2025/07/21/Colbert-C…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Paul Weller:
🎵 I Started A Joke
#PaulWeller
https://open.spotify.com/track/56dLNVfjVoc8o8oXSRmQg5

This is something I’ve often wondered about when driving past humble homes throughout the country,
often on hillsides with views to infinity,
and then I think: I could be happy living there.
https://www.dailymaverick.co…

This proposal is now under consideration. #sound
https://www.instagram.com/p/DLmVk0AigF-/?utm_source=ig_web_copy_link

David Reumüller on Instagram: "MUSCLE TOMCAT MACHINE die boygroup ihres vertrauens spielt am samstag 05.07. 20uhr im rahmen des @kultursommerwien am schrödingerplatz. und dem nicht genug mit den herausragensten gästen ever: Susanna Gartmayer & Alex Kranabetter!! traum....drop by if you are around! wir freuen uns. foto: @susischwarzpr #muscletomcatmachine #wolfganglehmann #manfredengelmayr #davidreumüller #susannagartmayer #alexkranabetter"
152 likes, 2 comments - david_reumueller on July 2, 2025: "MUSCLE TOMCAT MACHINE die boygroup ihres vertrauens spielt am samstag 05.07. 20uhr im rahmen des @kultursommerwien am schrödingerplatz. und dem nicht genug mit den herausragensten gästen ever: Susanna Gartmayer & Alex Kranabetter!! traum....drop by if you are around! wir freuen uns. foto: @susischwarzpr #muscletomcatmachine #wolfganglehmann #manfredengelmayr #davidreumüller #susannagartmayer #alexkranabetter".

DualMap: Online Open-Vocabulary Semantic Mapping for Natural Language Navigation in Dynamic Changing Scenes
Jiajun Jiang, Yiming Zhu, Zirui Wu, Jie Song
https://arxiv.org/abs/2506.01950

DualMap: Online Open-Vocabulary Semantic Mapping for Natural Language Navigation in Dynamic Changing Scenes
We introduce DualMap, an online open-vocabulary mapping system that enables robots to understand and navigate dynamically changing environments through natural language queries. Designed for efficient semantic mapping and adaptability to changing environments, DualMap meets the essential requirements for real-world robot navigation applications. Our proposed hybrid segmentation frontend and object-level status check eliminate the costly 3D object merging required by prior methods, enabling effi…

A meaningful optimal control problem in quantum and classical physics
Arnaud Lazarus (DALEMBERT), Emmanuel Tr\'elat (LJLL)
https://arxiv.org/abs/2507.13125

A meaningful optimal control problem in quantum and classical physics
In this paper we study and solve an optimal control problem motivated by applications in quantum and classical physics. Although apparently simple, this optimal control problem is not easy to solve and we resort to various elaborated methods of optimal control theory. We finally show its relationships to two problems in physics: the computation of the ground state for 1D Schr{ö}dinger operators with a finite potential well, and the optimal dynamical Kapitza stabilization problem.

This https://arxiv.org/abs/2506.01950 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

DualMap: Online Open-Vocabulary Semantic Mapping for Natural Language Navigation in Dynamic Changing Scenes
We introduce DualMap, an online open-vocabulary mapping system that enables robots to understand and navigate dynamically changing environments through natural language queries. Designed for efficient semantic mapping and adaptability to changing environments, DualMap meets the essential requirements for real-world robot navigation applications. Our proposed hybrid segmentation frontend and object-level status check eliminate the costly 3D object merging required by prior methods, enabling effi…

Trump Is Using Culture to Reshape Society via @… https://thetyee.ca/Culture/2025/08/08/Trump-Culture-Reshape-Socie…

🇺🇦 #NowPlaying on BBCRadio3's #EssentialClassics
Samuel Barber, Dylan Perez & Samantha Clarke:
🎵 Four Songs, Op. 13: III. Sure On This Shining Night
#SamuelBarber #DylanPerez #SamanthaClarke
https://open.spotify.com/track/105r4a8ZEXUVaEgBmNTej1

Projective Delineability for Single Cell Construction
Jasper Nalbach, Lucas Michel, Erika \'Abrah\'am, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Na\"im Z\'ena\"idi
https://arxiv.org/abs/2508.00512

Projective Delineability for Single Cell Construction
The cylindrical algebraic decomposition (CAD) is the only complete method used in practice for solving problems like quantifier elimination or SMT solving related to real algebra, despite its doubly exponential complexity. Recent exploration-guided algorithms like NLSAT, NuCAD, and CAlC rely on CAD technology but reduce the computational effort heuristically. Single cell construction is a paradigm that is used in each of these algorithms. The central property on which the CAD algorithm is bas…