Tootfinder

Was wohl mehr CO2 verursacht: ein paar Bananen oder all die Fans welche per Flugzeug an- und abreisen?
“Bananen-Gate in EM-Fanzone: Beamter erliess vorschnell Verkaufsverbot - SRF” https://www.srf.ch/news/schweiz/bananen-gat…

The white house is getting gender affirming care.
https://www.huffpost.com/entry/new-photos-gravel-white-house-rose-garden_n_6856e6a9e4b095f252775799

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
Beniamino Accattoli (Inria & LIX, \'Ecole Polytechnique), Dan Ghica (Huawei Central Software Institute, University of Birmingham), Giulio Guerrieri (University of Sussex), Cl\'audio Belo Louren\c{c}o (Huawei Central Software Institute), Claudio Sacerdoti Coen (Universit\`a di Bologna)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
Closure conversion is a program transformation at work in compilers for functional languages to turn inner functions into global ones, by building closures pairing the transformed functions with the environment of their free variables. Abstract machines rely on similar and yet different concepts of closures and environments. In this paper, we study the relationship between the two approaches. We adopt a very simple λ-calculus with tuples as source language and study abstract machines for bot…

Das #Rezept des Tages:
Süß, cremig, würzig – dieses #Curry mit Banane hat einen leckeren, exotischen Geschmack. Ähnlich wie bei den #Bananenpfannkuchen (findet ihr über die Suche) ist dies…

Exotisches Bananen-Curry mit Ananas und Sojaschnetzel
Du liebst süß-würzige Gerichte? Dann probier dieses cremige Curry mit Banane, Ananas und Sojaschnetzel – einfach, exotisch und schnell gemacht!

Reife Bananen in Stücke schneiden, einfrieren, pürieren -> sehr cremiges Bananeneis! #nommention
https://cooking.nytimes.com/reci…

Positive Sharing and Abstract Machines
Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu
https://arxiv.org/abs/2506.14131 https://

Positive Sharing and Abstract Machines
Wu's positive $λ$-calculus is a recent call-by-value $λ$-calculus with sharing coming from Miller and Wu's study of the proof-theoretical concept of focalization. Accattoli and Wu showed that it simplifies a technical aspect of the study of sharing; namely it rules out the recurrent issue of renaming chains, that often causes a quadratic time slowdown. In this paper, we define the natural abstract machine for the positive $λ$-calculus and show that it suffers from an inefficiency: the quad…

Merz hat zum Klimaschutz im Wesentlichen gesagt: das Nötige ist nicht zumutbar. Mit anderen Worten: die Politik hat aufgegeben.
Wir sollten das zum einen deutlich benennen und ihn zum anderen damit nicht durchkommen lassen.
Wo ist die grüne Kampagne: „die Union hat unsere Zukunft¹ aufgegeben – wir nicht“
__
¹sowohl eine mittelfristig lebenswerte Zukunft für die nächsten Generationen als auch die kurzfristige Zukunft einer modernen, zukunftsorientierten Wirtschaft in De…

🇺🇦 #NowPlaying on #BBC6Music's #6MusicsIndieForever
The Kooks:
🎵 She Moves In Her Own Way
#TheKooks
https://forevermaybe.bandcamp.com/track/the-kooks-she-moves-in-her-own-way
https://open.spotify.com/track/5xoUgPXbMNUmoHU0Enwtwq

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Echo & The Bunnymen:
🎵 Nocturnal Me
#Echo #TheBunnymen
https://promqueenband.bandcamp.com/track/nocturnal-me-echo-and-the-bunnymen
https://open.spotify.com/track/2Kl3Z1VCJ8mvOSvt1pyzTp

Das #Rezept des Tages:
Lust auf einen erfrischenden Bananen-Joghurt-Milchshake? 🍌🥤 Mit #Basilikum wird dieses Getränk zu einem besonderen Genuss! Einfach die Zutaten mixen und nach Geschmack mit #Zitronensaft

Bananen-Joghurt-Milchshake
Der Basilikum gibt dem Getränk eine interessante Note.Da Milch und Joghurt normalerweise im Kühlschrank stehen, ist es frisch gemixt ein kühler Drink. Durch Milch und Banane stecken allerdings auch viel Kalzium und...