Tootfinder

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…

"The humanitarian cause is humanity share mission." fordert der chinesische Sprecher vor dem ICJ.
Die Staaten, voran das #Terrorregime #Netanjahu und Darth #Trump benehmen sich wie Leute beim Somm…

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

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!

Shake-down spectroscopy as state- and site-specific probe of ultrafast chemical dynamics
Henry Thompson, Matteo Bonanomi, Jacob Pedersen, Oksana Plekan, Nitish Pal, Cesare Grazioli, Kevin C. Prince, Bruno N. C. Tenorio, Michele Devetta, Davide Faccial\`a, Caterina Vozzi, Paolo Piseri, Miltcho B. Danailov, Alexander Demidovich, Alexander D. Brynes, Alberto Simoncig, Marco Zangrando, Marcello Coreno, Raimund Feifel, Richard J. Squibb, David M. P. Holland, Felix Allum, Daniel Rolles, Pier…

Shake-down spectroscopy as state- and site-specific probe of ultrafast chemical dynamics
Tracking the multifarious ultrafast electronic and structural changes occurring in a molecule during a photochemical transformation is a challenging endeavor that benefits from recent experimental and computational progress in time-resolved techniques. Measurements of valence electronic states, which provide a global picture of the bonding structure of the molecule, and core electronic states, which provide insight into the local environment, traditionally require different approaches and are o…

Bananencake bij de koffie!

Verbote ohne Alternativen zu benennen, das ist echt schwach. #CSU
Nichts straft der Wähler so sehr ab wie eine #verbotspartei
Ich freue mich auf die Kommunalwahl am 08. März!

Gendern, Cannabis, Müllsteuer: Die CSU tappt in die Verbotsfalle - Kommentar
Söder Staatsregierung verbietet nun auch eine kommunale Wegwerf-Abgabe. Probleme löst man so nicht. Ein Kommentar.

Die ePetition 178851 an den Bundestag aus dem Bereich Staatsschulden mit dem Titel
Umbenennung existierender und zukünftiger Sondervermögen in Sonderschulden
kann bis zum Dienstag 22. Juli 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition wird gefordert, alle existierenden und zukünftigen Sondervermögen umzubenennen in Sonderschulden.
und wird begründet
Das benennen von Wahrheiten sollte dem Bundestag gerade in diesen Zeiten ein Anliegen sein. Fakt…

„Seit dem 28. April beteiligen sich die Bananenarbeiter an einem Streik verschiedener Gewerkschaften gegen eine Rentenreform. Gemeinsam mit Lehrern, Indigenen und Bauarbeitern protestieren sie auch gegen ein jüngst unterzeichnetes Sicherheitsabkommen zwischen Panama und den USA, das eine verstärkte US-Militärpräsenz am Panamakanal ermöglicht.“