Tootfinder

DocuSign reports Q1 revenue up 8% YoY to $764M, subscription revenue up 8% to $746.2M, net income up 113% to $72.1M, and cuts FY 2026 forecast; DOCU falls 18% (Annie Palmer/CNBC)
https://www.cnbc.com/2025/06/06/docusign-stock-billings-earnings.html

DocuSign stock tanks 18% after company cuts billings outlook
The downbeat forecast overshadowed the company's better-than-expected earnings and revenue results.

The 80th edition of De Programmatica Ipsum is out!
This month, we deplore the sad state of the Windows operating system; in the Library section, we review “The Old New Thing” by Raymond Chen; and in our Vidéothèque section, we learn about how the Longhorn project derailed through Dave Plummer.
https://…

Efter 50 år på den här planeten är jag förvånad över att människan fortfarande inte verkar vilja dela den med någon annan art. Vi trycker undan djur och växter alltmer, många av dem till den grad att de utrotas helt. En del göms undan i industrier där vi utvinner "nytta" och "produkter" – men utan att beblanda oss med dem. Bina får allt svårare att pollinera, korna får inte beta på sina ängar, renarna tvingas gå andra vägar när vi spränger hål i berget.
Är det verkli…

Maryland DOT launches new policy of quick-fix road diets with paint & plastic "bollards" after initial test projects work well. Approach is try it for 6-9 months and see if it works in place of long studies.
https://www.

Maryland plans more ‘quick build’ road safety changes, citing success across state
Planners have a menu of traffic calming measures to consider for each site.

This https://arxiv.org/abs/2401.04003 has been replaced.
link: https://scholar.google.com/scholar?q=a

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
Research in robotic planning with temporal logic specifications, such as Linear Temporal Logic (LTL), has relied on single formulas. However, as task complexity increases, LTL formulas become lengthy, making them difficult to interpret and generate, and straining the computational capacities of planners. To address this, we introduce a hierarchical structure for a widely used specification type -- LTL on finite traces (LTL$_f$). The resulting language, termed H-LTL$_f$, is defined with both its…

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

Weak Degeneracy of Planar Graphs
The weak degeneracy of a graph $G$ is a numerical parameter that was recently introduced by the first two authors with the aim of understanding the power of greedy algorithms for graph coloring. Every $d$-degenerate graph is weakly $d$-degenerate, but the converse is not true in general (for example, all connected $d$-regular graphs except cycles and cliques are weakly $(d-1)$-degenerate). If $G$ is weakly $d$-degenerate, then the list-chromatic number of $G$ is at most $d+1$, and the same uppe…

Going through boxes, drawers, etc. in my home office, in anticipation of redoing it (I need more bookshelves). In an old bankers box, I found my daily planners from high school, university, and all the way until I got my first Palm device in 1999…
In the planner for the 1986-87 academic year, I find an entry for Friday, September 26th, 1986: «(Freak Out!)» Unfortunately, past me did not feel a need to elaborate on that, and so I am left guessing…
That said, it was a busy school y…

X names Polymarket as its official prediction market partner, with plans to combine Polymarket predictions with X data to deliver live insights (Aisha Malik/TechCrunch)
https://techcrunch.com/2025/06/06/x-names-polymarket-as-its-offi…

X names Polymarket as its official prediction market partner | TechCrunch
X announced on Friday that it has partnered with Polymarket, naming it the platform’s official prediction market partner.

Neues synthetisches Polymer ist leicht, sehr hart und tötet Viren ab
Ein neues Polymer hat ungewöhnliche Eigenschaften: Es ist sehr stabil, leicht, kann flexibel sein und Viren abtöten. Einfach herzustellen, ist es auch.

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

Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Planners
Large language models (LLMs) have demonstrated strong performance in various robot control tasks. However, their deployment in real-world applications remains constrained. Even state-ofthe-art LLMs, such as GPT-o4mini, frequently produce invalid action plans that violate physical constraints, such as directing a robot to an unreachable location or causing collisions between robots. This issue primarily arises from a lack of awareness of these physical constraints during the reasoning process. T…