Tootfinder

Eindelijk eens op F-droid gekeken naar een app om YouTube filmpjes te kunnen downloaden als dat zo uitkomt.
Bij Tubular (fork van NewPipe) is dat aardig gelukt.
Tubular
https://f-droid.org/packages/org.polymorphicshade.tubular

#Wasserstoff gilt als Hoffnungsträger für die #Dekarbonisierung, doch beim Transport durch bestehende #Erdgasleitungen gibt es

Pipelines for hydrogen transport: A review of integrity and safety challenges
The European Commission highlights hydrogen as an important energy carrier and chemical feedstock that could help decarbonise sectors otherwise deemed hard-to-abate. Europe’s existing natural gas grid is seen as a promising asset to repurpose for the transportation of hydrogen. This technical report provides a literature review of hydrogen's impact on pipeline materials, particularly steel and polymers. Hydrogen is known to reduce the ductility, fracture toughness, and the fatigue crack growt…

Trump advisor Navarro rips Apple's Tim Cook, saying he's not moving production out of China fast enough (Annie Palmer/CNBC)
https://www.cnbc.com/2025/07/07/trump-navarro-apple-tim-cook-china.html
http://www.memeorandum.com/250707/p64#a250707p64

Beyond Simple Edits: X-Planner for Complex Instruction-Based Image Editing
Chun-Hsiao Yeh, Yilin Wang, Nanxuan Zhao, Richard Zhang, Yuheng Li, Yi Ma, Krishna Kumar Singh
https://arxiv.org/abs/2507.05259

Beyond Simple Edits: X-Planner for Complex Instruction-Based Image Editing
Recent diffusion-based image editing methods have significantly advanced text-guided tasks but often struggle to interpret complex, indirect instructions. Moreover, current models frequently suffer from poor identity preservation, unintended edits, or rely heavily on manual masks. To address these challenges, we introduce X-Planner, a Multimodal Large Language Model (MLLM)-based planning system that effectively bridges user intent with editing model capabilities. X-Planner employs chain-of-thou…

Semantically Separating Nominal Wyvern for Usability and Decidability
Yu Xiang Zhu, Amos Robinson, Sophia Roshal, Timothy Mou, Julian Mackay, Jonathan Aldrich, Alex Potanin
https://arxiv.org/abs/2507.03867

Semantically Separating Nominal Wyvern for Usability and Decidability
The Dependent Object Types (DOT) calculus incorporates concepts from functional languages (e.g. modules) with traditional object-oriented features (e.g. objects, subtyping) to achieve greater expressivity (e.g. F-bounded polymorphism). However, this merger of paradigms comes at the cost of subtype decidability. Recent work on bringing decidability to DOT has either sacrificed expressiveness or ease of use. The unrestricted construction of recursive types and type bounds has made subtype decidab…

Im kalten Krieg war die Behauptung: „Marktwirtschaft ist effizienter als Planwirtschaft, deswegen haben wir all die schönen Dinge und die da drüben müssen auf ihren Trabi 20 Jahre warten. Und deswegen ist es ok, wenn Unternehmer mehr davon profitieren, weil es letztlich für alle besser ist.“
Und irgendwie wurde daraus ein: „Es ist moralisch richtig, wenn Firmeneigner und Aktionäre stinkreich werden, während sich dein Leben nicht verbessert.“
Bei Ersterem nehmen wir die kapitalist…

Do transit planners realize they're helping the anti-Mamdani frenzy by publishing their pieces? Of *course* you're getting attention for your fares-are-good-actually writing now, despite the fact that no one cares about this normally - because billionaire media wants whatever they can use against Mamdani.
(As an aside, you also sound incredibly obnoxious when voters are like "we want fast & free buses" and you respond with "well actually..")

Jesse Raub (@jesseraub.bsky.social)
damn, it's also like he's already advocating for all of those things as part of his proposal. it's like maybe you didn't even read what his free bus fare policy included

Heterogeneous participation and allocation skews: when is choice "worth it"?
Nikhil Garg
https://arxiv.org/abs/2507.03600 https://

Heterogeneous participation and allocation skews: when is choice "worth it"?
A core ethos of the Economics and Computation (EconCS) community is that people have complex private preferences and information of which the central planner is unaware, but which an appropriately designed mechanism can uncover to improve collective decisionmaking. This ethos underlies the community's largest deployed success stories, from stable matching systems to participatory budgeting. I ask: is this choice and information aggregation ``worth it''? In particular, I discuss how such systems…

Note on injectivity in second-gradient Nonlinear Elasticity
Stanislav Hencl, Kaushik Mohanta
https://arxiv.org/abs/2507.04938 https://

Note on injectivity in second-gradient Nonlinear Elasticity
Let $q>1$, $(1-\frac{1}{q})a\geq 1$ and let $Ω\subset \mathbb{R}^2$ be Lipschitz domain. We show that planar mappings in the second order Sobolev space $f\in W^{2,q}(Ω,\mathbb{R}^2)$ with $|J_f|^{-a}\in L^1(Ω)$ are homeomorphism if they agree with a homeomorphism on the boundary. The condition $(1-\frac{1}{q})a\geq 1$ is sharp. We also have a new sharp result about the $\mathcal{H}^{n-1}$ measure of the projection of the set $\{J_f=0\}$ in $\mathbb{R}^n$.

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.