Tootfinder

This morning 's #veganWeek post: breakfast was porridge (made with water soya milk) for kids toast with peanut butter, strawberries banana for me #VeganWeek
Am I an influencer now?
#vegan food I'm preparing for my family for the next few days.  It's really not hard. Today Nasi Goreng (or at least my version of it, with organic pea protein pieces, katsup manis, lots of spices and fresh vegetables...
https://fediscience.org/@Ruth_Mottram/115108323164701969
@… - "Veganism wasn’t meant to be like other food fads: it was intended to benefit not just the individual but society as a whole. Eating less meat would reduce greenhouse gas emissions and animal suffering. The evidence is clear. But right now we can’t be bothered "
Why the vegans lost https://on.ft.com/4mzHgFz

🔊 #NowPlaying on #BBCRadio3:
#SoundOfCinema
- Edith talks to Rachel Portman
Edith Bowman curates your weekly selection of standout scores and soundtracks, talks to Oscar winning composer Rachel Portman and discovers Graham Norton's Pick of the Flicks.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002lc44

Beautiful
Queen’s Bohemian Rhapsody Gets First Translation — Into Zulu :
https://www.npr.org/2025/08/30/nx-s1-5521906/queens-bohemianrhapsody-zulu-ndlovu-voice-choir

Indrukwekkende foto. Een Amerikaanse agent houdt een demonstrant aan in East Side, Chicago. Het is onrustig in de stad sinds federale agenten twee weken geleden een wooncomplex binnen vielen om vermeende Venezolaanse bendeleden op te pakken. De Amerikaanse immigratiedienst ICE voert steeds meer invallen uit in Chicago.FOTO ANTHONY VAZQUEZ / CHICAGO SUN-TIMES / AP
#chicago

RFK Jr. concedes administration lacks scientific evidence on Tylenol claims (Steve Benen/MSNBC)
https://www.msnbc.com/rachel-maddow-show/maddowblog/rfk-jr-concedes-administration-lacks-scientific-evidence-tylenol-claim-rcna241150
http://www.memeorandum.com/251031/p117#a251031p117

Kann man machen, auch wenn man statt weißen Kochweins zufällig nur Ingwerbier da hat (ahem), statt der Schalotten weiße Zwiebel und statt der weißen Bohnen steirische Käferbohnen. #nommention

White Bean Piccata Pasta With Broccoli Recipe (Gift Recipe)
The bright lemon-caper sauce for which chicken piccata is known plays equally well with other proteins, like swordfish, or creamy white beans, and forms a glossy, tangy sauce well suited to pasta. Throw broccoli — or any another quick-cooking vegetable, like asparagus, broccoli rabe or peas — into the pasta’s boiling water in the last few minutes, and you’ve effortlessly managed to squeeze a green into this vegetarian dinner.

EditReward: A Human-Aligned Reward Model for Instruction-Guided Image Editing
Keming Wu, Sicong Jiang, Max Ku, Ping Nie, Minghao Liu, Wenhu Chen
https://arxiv.org/abs/2509.26346

EditReward: A Human-Aligned Reward Model for Instruction-Guided Image Editing
Recently, we have witnessed great progress in image editing with natural language instructions. Several closed-source models like GPT-Image-1, Seedream, and Google-Nano-Banana have shown highly promising progress. However, the open-source models are still lagging. The main bottleneck is the lack of a reliable reward model to scale up high-quality synthetic training data. To address this critical bottleneck, we built \mname, trained with our new large-scale human preference dataset, meticulously…

Beyond expected value: geometric mean optimization for long-term policy performance in reinforcement learning
Xinyi Sheng, Dominik Baumann
https://arxiv.org/abs/2508.21443 https…

Beyond expected value: geometric mean optimization for long-term policy performance in reinforcement learning
Reinforcement learning (RL) algorithms typically optimize the expected cumulative reward, i.e., the expected value of the sum of scalar rewards an agent receives over the course of a trajectory. The expected value averages the performance over an infinite number of trajectories. However, when deploying the agent in the real world, this ensemble average may be uninformative for the performance of individual trajectories. Thus, in many applications, optimizing the long-term performance of individ…

When MCP Servers Attack: Taxonomy, Feasibility, and Mitigation
Weibo Zhao, Jiahao Liu, Bonan Ruan, Shaofei Li, Zhenkai Liang
https://arxiv.org/abs/2509.24272 https://

When MCP Servers Attack: Taxonomy, Feasibility, and Mitigation
Model Context Protocol (MCP) servers enable AI applications to connect to external systems in a plug-and-play manner, but their rapid proliferation also introduces severe security risks. Unlike mature software ecosystems with rigorous vetting, MCP servers still lack standardized review mechanisms, giving adversaries opportunities to distribute malicious implementations. Despite this pressing risk, the security implications of MCP servers remain underexplored. To address this gap, we present the…

Growing Mathlib: maintenance of a large scale mathematical library
Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa
https://arxiv.org/abs/2508.21593

Growing Mathlib: maintenance of a large scale mathematical library
The Lean mathematical library Mathlib is one of the fastest-growing libraries of formalised mathematics. We describe various strategies to manage this growth, while allowing for change and avoiding maintainer overload. This includes dealing with breaking changes via a deprecation system, using code quality analysis tools (linters) to provide direct user feedback about common pitfalls, speeding up compilation times through conscious library (re-)design, dealing with technical debt as well as wri…