Tootfinder

United States wondered how China had made such progress in the field of microchips. Huawei and Xiaomi are the answer, with massive development.
https://farmingdale-observer.c…

#LB Fazendo uma tradução livre para quem não fala inglês:
"No mês do orgulho LGBT deste ano, héteros devem focar menos em 'toda forma de amor é bela' e mais em 'gays e trans estão em perigo.".
Que coisa triste de ler e ver como estão as coisas nos EUA. E receio que é questão de tempo até nós ficarmos assim também, nossa capacidade de resistência contra a loucura ext…

Philadelphia Ha, <--> idle hip pal
-- anagrama

Der Arc Browser war zwei Jahre lang mein Standardbrowser, bis ihr lascher Umgang mit Security-Issues mich zu einem Wechsel führte. Das war wohl ein guter Entscheid …
Letter to Arc members 2025 https://browsercompany.substack.com/p/letter-to-arc-members-2025…

Negated String Containment is Decidable (Technical Report)
Vojt\v{e}ch Havlena, Michal He\v{c}ko, Luk\'a\v{s} Hol\'ik, Ond\v{r}ej Leng\'al
https://arxiv.org/abs/2506.22061

Negated String Containment is Decidable (Technical Report)
We provide a positive answer to a long-standing open question of the decidability of the not-contains string predicate. Not-contains is practically relevant, for instance in symbolic execution of string manipulating programs. Particularly, we show that the predicate notContains(x1 ... xn, y1 ... ym), where x1 ... xn and y1 ... ym are sequences of string variables constrained by regular languages, is decidable. Decidability of a not-contains predicate combined with chain-free word equations and …

Die #Kapuzinerkresse bekommt dieses Jahr ein anderes Spalier. Bisher hatte ich immer einen gespannten #Maschendraht, aber die #Blätter passen da nicht durch bzw. können sich schlecht f…

MiCo: Multi-image Contrast for Reinforcement Visual Reasoning
Xi Chen, Mingkang Zhu, Shaoteng Liu, Xiaoyang Wu, Xiaogang Xu, Yu Liu, Xiang Bai, Hengshuang Zhao
https://arxiv.org/abs/2506.22434

MiCo: Multi-image Contrast for Reinforcement Visual Reasoning
This work explores enabling Chain-of-Thought (CoT) reasoning to link visual cues across multiple images. A straightforward solution is to adapt rule-based reinforcement learning for Vision-Language Models (VLMs). However, such methods typically rely on manually curated question-answer pairs, which can be particularly challenging when dealing with fine grained visual details and complex logic across images. Inspired by self-supervised visual representation learning, we observe that images contai…

On different platforms, I see at least one post per day of someone willing to switch to #Linux. While seeing our community growing is nice, my first reaction is always: why didn't you take 3 seconds to read the post just before yours?
I may just become too old and grumpy but, generally speaking, I don't understand people who immediatly ask a question that has been answered thous…

Die Bezeichnung „Kriegsminister“ statt „Verteidigungsminister“ ist mehr als ein sprachlicher Gag. Sie signalisiert eine Verschiebung im Selbstbild der Regierung – weg von Verteidigung, hin zu Angriff und Stärke. Das knüpft an populistische Narrative an, in denen Stärke, Kampf und „Wir gegen die Anderen“ zentrale Motive sind.
#TOnline
Trumps größtes Gesetz – Hoffnung für Amerikas Linke…

The Alps <--> He splat
-- anagrama