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

Morelle: Start-up will E-Bike binnen 15 Minuten voll laden
Das kalifornische Start-up Morelle will ein E-Bike mit Schnellladetechnologie auf den Markt bringen. Innerhalb von 15 Minuten soll der Akku nachgeladen sein.

Minister Hermans moet zich gaan bemoeien met kleine kerncentrales, betoogt Thorizon-CEO: 'We hebben steun nodig' | #WNL
https://…

⏰ ⏰ ⏰ "The research found that if carbon emissions continued to rise, 70% of the model runs led to collapse"
#cilimatechange #golfströmmen

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

RFK Jr. targets CDC with a ridiculous complaint as chaos grips the agency (Steve Benen/MSNBC)
https://www.msnbc.com/rachel-maddow-show/maddowblog/rfk-jr-targets-cdc-ridiculous-complaint-chaos-grips-agency-rcna227978
http://www.memeorandum.com/250829/p48#a250829p48

Ultrafilters over Successor Cardinals and the Tukey Order
Tom Benhamou, Justin T. Moore, Luke Serafin
https://arxiv.org/abs/2507.22307 https://arxiv.org/pd…

Ultrafilters over Successor Cardinals and the Tukey Order
We study ultrafilters on regular uncountable cardinals, with a primary focus on $ω_1$, and particularly in relation to the Tukey order on directed sets. Results include the independence from ZFC of the assertion that every uniform ultrafilter over $ω_1$ is Tukey-equivalent to $[2^{\aleph_1}]^{<ω}$, and for each cardinal $κ$ of uncountable cofinality, a new construction of a uniform ultrafilter over $κ$ which extends the club filter and is Tukey-equivalent to $[2^κ]^{<ω}$. We also analyze…

Der #Kleiber ist ein #Kletterkünstler, der auch kopfüber mühelos navigiert. Diese Vögel bewohnen Laub- und Mischwälder sowie Parks und Gärten und bevorzugen alte Baumbestände mit hohem Totholzanteil. Wusstet Ihr, dass Kleiber

Kleiber (Sitta europaea): Kletterkünstler kopfüber
Wissenswertes über den Kleiber: Sein auffälliges Aussehen, seine Verbreitung und seine besondere Nahrungssuche.

One Weird Trick to Untie Landin's Knot
Paulette Koronkevich, William J. Bowman
https://arxiv.org/abs/2507.21317 https://arxiv.org/pdf/2507.21317…

One Weird Trick to Untie Landin's Knot
In this work, we explore Landin's Knot, which is understood as a pattern for encoding general recursion, including non-termination, that is possible after adding higher-order references to an otherwise terminating language. We observe that this isn't always true -- higher-order references, by themselves, don't lead to non-termination. The key insight is that Landin's Knot relies not primarily on references storing functions, but on unrestricted quantification over a function's environment. We s…

IFEvalCode: Controlled Code Generation
Jian Yang, Wei Zhang, Shukai Liu, Linzheng Chai, Yingshui Tan, Jiaheng Liu, Ge Zhang, Wangchunshu Zhou, Guanglin Niu, Zhoujun Li, Binyuan Hui, Junyang Lin
https://arxiv.org/abs/2507.22462

IFEvalCode: Controlled Code Generation
Code large language models (Code LLMs) have made significant progress in code generation by translating natural language descriptions into functional code; however, real-world applications often demand stricter adherence to detailed requirements such as coding style, line count, and structural constraints, beyond mere correctness. To address this, the paper introduces forward and backward constraints generation to improve the instruction-following capabilities of Code LLMs in controlled code ge…