Tootfinder

Was für ein Verlust für die Kölner Kinoszene. Bernhard Marsch, zentrale Figur des Filmclub 813, ist Sonntagabend bei einem Unfall verstorben.
https://www.filmstiftung.de/news/bernhard-marsch-verstorben/

Bernhard Marsch verstorben - Film und Medien Stiftung NRW
Der Kölner Regisseur, Drehbuchautor, Filmproduzent und Schauspieler Bernhard Marsch ist überraschend bei einem tragischen Unfall im Alter von 63 Jahren verstorben.Der 1962 geborene Filmemacher war eine engagierte Persönlichkeit der Kölner Filmszene. 1990 gehörte Marsch zu den Gründungsmitgliedern des Filmclub 813, dessen langjähriger Vorsitzender er war. Der Filmclub wurde mehrfach mit dem Kinematheksverbundspreis ausgezeichnet und gilt als fester Bestandteil der Kölner Filmkultur.

Right now, forever, and probably even in my next life, I use Debian, because once you go rock solid, there’s no going back. 😋 :debian:
#Debian #Linux #Eurovision

A remark on the $t$-intersecting Erd\H{o}s-Ko-Rado theorem
William Linz
https://arxiv.org/abs/2507.11285 https://arxiv.org/pdf/2507.1…

A remark on the $t$-intersecting Erdős-Ko-Rado theorem
The $t$-intersecting Erdős-Ko-Rado theorem is the following statement: if $\mathcal{F} \subset \binom{[n]}{k}$ is a $t$-intersecting family of sets and $n\ge (t+1)(k-t+1)$, then $|\mathcal{F}| \le \binom{n-t}{k-t}$. The first proof of this statement for all $t$ was a linear algebraic argument of Wilson. Earlier, Schrijver had proven the $t$-intersecting Erdős-Ko-Rado theorem for sufficiently large $n$ by a seemingly different linear algebraic argument motivated by Delsarte theory. I…

it really is generally safer to assume a male christian singer-songwriter is closeted gay than otherwise. it really is fundamentally lyrically androphilic despite the surrounding style. it really is mostly love songs about falling to your knees and pleasing jesus if you know what i mean wink wink

LLM-Driven Dual-Level Multi-Interest Modeling for Recommendation
Ziyan Wang, Yingpeng Du, Zhu Sun, Jieyi Bi, Haoyan Chua, Tianjun Wei, Jie Zhang
https://arxiv.org/abs/2507.10917

LLM-Driven Dual-Level Multi-Interest Modeling for Recommendation
Recently, much effort has been devoted to modeling users' multi-interests based on their behaviors or auxiliary signals. However, existing methods often rely on heuristic assumptions, e.g., co-occurring items indicate the same interest of users, failing to capture user multi-interests aligning with real-world scenarios. While large language models (LLMs) show significant potential for multi-interest analysis due to their extensive knowledge and powerful reasoning capabilities, two key challenge…

An eco-friendly universal strategy via ribavirin to achieve highly efficient and stable perovskite solar cells
Xianhu Wu, Gaojie Xia, Guanglei Cui, Jieyu Bi, Nian Liu, Jiaxin Jiang, Jilong Sun, Luyang Liu, Ping Li, Ning Lu, Zewen Zuo, Min Gu
https://arxiv.org/abs/2507.10557

An eco-friendly universal strategy via ribavirin to achieve highly efficient and stable perovskite solar cells
The grain boundaries of perovskite films prepared by the solution method are highly disordered, with a large number of defects existing at the grain boundaries. These defect sites promote the decomposition of perovskite. Here, we use ribavirin obtained through bacillus subtilis fermentation to regulate the crystal growth of perovskite, inducing changes in the work function and energy level structure of perovskite, which significantly reduces the defect density. Based on density functional theor…

Stop spreading misinformation about Mastodon users being able to see who visits their profile.
THEY CANNOT.
If you claim they do please provide proof and link to the code.
Here is the code:
github.com/mastodon/mastodon/
If you have proof then open a suggestion like this user here:
https://g…

Do not suggest inactive accounts for following · Issue #34458 · mastodon/mastodon
Pitch There is a feature (it seems that it recently appeared in web timeline) that suggests accounts to follow (similar to https://mastodon.social/explore/suggestions). When I checked some of these...

The feeling when you find the root cause for a problem that has been bothering you for months. And it turns out to be fixable by adding a single letter. (To turn an "unsigned long" literal into an "unsigned long long" one.) (Actually I made it use the UINT64_C() macro from <cstdint>.)
Writing portable code is hard. And thanks, Windows, for keeping "long" as 32 bits even in 64-bit code.
Now, if only Clang or gcc on Linux would warn about such po…

GENMANIP: LLM-driven Simulation for Generalizable Instruction-Following Manipulation
Ning Gao, Yilun Chen, Shuai Yang, Xinyi Chen, Yang Tian, Hao Li, Haifeng Huang, Hanqing Wang, Tai Wang, Jiangmiao Pang
https://arxiv.org/abs/2506.10966

GENMANIP: LLM-driven Simulation for Generalizable Instruction-Following Manipulation
Robotic manipulation in real-world settings remains challenging, especially regarding robust generalization. Existing simulation platforms lack sufficient support for exploring how policies adapt to varied instructions and scenarios. Thus, they lag behind the growing interest in instruction-following foundation models like LLMs, whose adaptability is crucial yet remains underexplored in fair comparisons. To bridge this gap, we introduce GenManip, a realistic tabletop simulation platform tailore…

VerIF: Verification Engineering for Reinforcement Learning in Instruction Following
Hao Peng, Yunjia Qi, Xiaozhi Wang, Bin Xu, Lei Hou, Juanzi Li
https://arxiv.org/abs/2506.09942 …

VerIF: Verification Engineering for Reinforcement Learning in Instruction Following
Reinforcement learning with verifiable rewards (RLVR) has become a key technique for enhancing large language models (LLMs), with verification engineering playing a central role. However, best practices for RL in instruction following remain underexplored. In this work, we explore the verification challenge in RL for instruction following and propose VerIF, a verification method that combines rule-based code verification with LLM-based verification from a large reasoning model (e.g., QwQ-32B). …