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.

⏰ ⏰ ⏰ "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

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.

(1/4) Banaanisekoituksia vaikkapa aamu- tai välipalaksi. :)
Sisältö: Banaania, pähkinöitä, siemeniä, marjoja, hedelmiä, jauheita, suklaata, merisuolaa, mausteita ja ties mitä muuta vaihtelevia määriä.
#ruoka #kasvisruoka

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…

Ontbijt in de tuin. Het is hier nu een zeer aangename 21,5 °C. Binnen nu ook.
Gisteren en de komende dagen alle rolluiken dicht als de zon op die ramen staat en zacht koelende steun van de warmtepomp, ik blijf er over zeuren, maar ik vind het ook zo bijzonder:
Koel water uit de bodem rondpompen, met een warmtewisselaar je CV water verkoelen, dat door je huis pompen waar het de warmte opneemt en dan weer terug
Het retourwater van de CV is in huis 2° opgewarmd, dus die warmte be…

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…