Tootfinder

An early morning alone on the banks of the (still young) Isar river some weeks ago... Really more "flow" rather than #WaterfallWednesday, but I just absolutely cherish places and moments like this & feeling so privileged being able to experience these after decades of living in large cities... (each time also a reminder how much we stand to lose...)

Generation and Evaluation in the Human Invention Process through the Lens of Game Design
Katherine M. Collins, Graham Todd, Cedegao E. Zhang, Adrian Weller, Julian Togelius, Junyi Chu, Lionel Wong, Thomas L. Griffiths, Joshua B. Tenenbaum
https://arxiv.org/abs/2508.10914

Generation and Evaluation in the Human Invention Process through the Lens of Game Design
The human ability to learn rules and solve problems has been a central concern of cognitive science research since the field's earliest days. But we do not just follow rules and solve problems given to us by others: we modify those rules, create new problems, and set new goals and tasks for ourselves and others. Arguably, even more than rule following and problem solving, human intelligence is about creatively breaking and stretching the rules, changing the game, and inventing new problems wort…

MetaLint: Generalizable Idiomatic Code Quality Analysis through Instruction-Following and Easy-to-Hard Generalization
Atharva Naik, Lawanya Baghel, Dhakshin Govindarajan, Darsh Agrawal, Daniel Fried, Carolyn Rose
https://arxiv.org/abs/2507.11687

MetaLint: Generalizable Idiomatic Code Quality Analysis through Instruction-Following and Easy-to-Hard Generalization
Large Language Models, though successful in code generation, struggle with code quality analysis because they are limited by static training data and can't easily adapt to evolving best practices. We introduce MetaLint, a new instruction-following framework that formulates code quality analysis as the task of detecting and fixing problematic semantic code fragments or code idioms based on high-level specifications. Unlike conventional approaches that train models on static, rule-based data, Met…

Federation problems is just something we have to live with in the Fediverse.
Federating has its pros and cons.
I'm Swiss. We know these things.
#switzerland #fediverse #justswissthings

FormGym: Doing Paperwork with Agents
Matthew Toles, Rattandeep Singh, Isaac Song Zhou Yu
https://arxiv.org/abs/2506.14079 https://arx…

FormGym: Doing Paperwork with Agents
Completing paperwork is a challenging and time-consuming problem. Form filling is especially challenging in the pure-image domain without access to OCR, typeset PDF text, or a DOM. For computer agents, it requires multiple abilities, including multi-modal understanding, information retrieval, and tool-use. We present a novel form-filling benchmark consisting of 432 fields spread across 55 documents and 3 tasks, requiring knowledge of 236 features per user. We find that baseline VLAs achieve les…

Meta says it has taken down around 10M Facebook profiles so far this year that were impersonating or repeatedly reusing content from large content producers (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/07/14/following-youtu…

Following YouTube, Meta announces crackdown on 'unoriginal' Facebook content | TechCrunch
Like YouTube, Meta says it won't penalize users who are engaging with other people's content, doing things like making reaction videos, joining a trend, or adding their own takes.

Draw a Portrait of Your Graph Data: An Instance-Level Profiling Framework for Graph-Structured Data
Tianqi Zhao, Russa Biswas, Megha Khosla
https://arxiv.org/abs/2509.12094 http…

Draw a Portrait of Your Graph Data: An Instance-Level Profiling Framework for Graph-Structured Data
Graph machine learning models often achieve similar overall performance yet behave differently at the node level, failing on different subsets of nodes with varying reliability. Standard evaluation metrics such as accuracy obscure these fine grained differences, making it difficult to diagnose when and where models fail. We introduce NodePro, a node profiling framework that enables fine-grained diagnosis of model behavior by assigning interpretable profile scores to individual nodes. These scor…

Beyond the MaxCut problem in $H$-free graphs
Zhihan Jin, Aleksa Milojevi\'c, Istv\'an Tomon
https://arxiv.org/abs/2507.13298 https://

Beyond the MaxCut problem in $H$-free graphs
In a recent breakthrough, Zhang proves that if $G$ is an $H$-free graph with $m$ edges, then $G$ has a cut of size at least $m/2+c_Hm^{0.5001}$, making a significant step towards a well known conjecture of Alon, Bollobás, Krivelevich and Sudakov. We show that the methods of Zhang can be further boosted, and prove the following strengthening. If $G$ is a graph with $m$ edges and no clique of size $m^{1/2-δ}$, then $G$ has a cut of size at least $m/2+m^{1/2+\varepsilon}$ for some $\varepsilon=\…

Modica type estimates and curvature results for overdetermined $p$-Laplace problems
Yuanyuan Lian, Jing Wu
https://arxiv.org/abs/2506.14579 https://…

Modica type estimates and curvature results for overdetermined $p$-Laplace problems
In this paper we prove Modica type estimates for the following overdetermined $p$-Laplace problem \begin{equation*} \begin{cases} \mathrm{div} \left(|\nabla u|^{p-2}\nabla u\right)+f(u) =0& \mbox{in $Ω$, } u>0 &\mbox{in $Ω$, } u=0 &\mbox{on $\partialΩ$, } \partial_ν u=-κ&\mbox{on $\partialΩ$, } \end{cases} \end{equation*} where $1

The Grand Canyon Lodge,
the only lodging inside the park at the North Rim,
was consumed by the flames,
park Superintendent Ed Keable told park residents, staff and others in a meeting Sunday morning.
https://bsky.app/profile/pbsnews.org/post/3lturjh5k2a2h…