Tootfinder

Ok, ich habe jetzt 3 Stunden damit zugebracht, einen #PowerAutomate-Flow ans Laufen zu bekommen, bei dem ein API-Call eine 503 warf. Diese 503 kann in diesem Fall heißen:
"Der Inhaltstyp steht noch nicht zur Verfügung, um hinzugefügt werden zu können."
Es kann aber auch heißen:
"Der Inhaltstyp wurde schon hinzugefügt."
Und beides wirft denselben…

Ab 2028: EU erweitert USB-C-Pflicht auf Ladegeräte
Die EU-Kommission erweitert Auflagen für externe Ladegeräte: Netzteile müssen ab 2028 effizienter werden und über USB-C-Anschlüsse verfügen.
https://www.

Ich spiele zum ersten Mal Metroid Zero Mission und dachte schon nach dem großen Bossfight isses vorbei, aber jetzt kommt nochmal ein ganz anderes Spiel hinten ran. Sehr cool.
Insgesamt ein echt klasse plattformer, schade das ich die Reihe nicht schon eher für mich entdeckt habe
#RetroGaming #Metroid

Flip side of this: ~3 years ago, I got automated calls from “RBC Visa”. I ignored them.
Then my card stopped working.
So I called the number on the back of my card and said as much.
The agent gave me a hard time: “So you JUST IGNORED our calls about this?”
“No; I didn’t know they were you calling.”
“How did you not know they were us?! It says ‘this is RBC Visa’ when you answer!”
“That’s indistinguishable from fraud.”
He did not like that. He thought …

#Batteriespeicher stabilisieren das #Stromsystem, indem sie Energie bei Überangebot aufnehmen und bei Knappheit abgeben.
So reduzieren sie Preisschwankungen am Markt, senken die #Strompreise

Stabil statt volatil: Batteriespeicher und ihre Wirkung auf die Strompreise
Die Energiewende hat ein neues Nadelöhr: Nicht mehr die absolute Menge an Erzeugung entscheidet über Versorgungssicherheit, sondern ihre Flexibilität. Denn ob Strom verfügbar ist, hängt zunehmend davon ab, wann und wo er ins Netz eingespeist oder entnommen wird – nicht allein davon, wie viel insgesamt erzeugt wird. In einem Energiesystem, das von Solar- und Windspitzen

@girahh@mastodon.social
2025-12-14 15:54:15

Represión de pueblos en la COP30 en Brasil: Posicionamiento de la Caravana Mesoamericana por el Clima y la Vida
(original: https://espejosdelsurglobal.org/2025/11/12/represion-de-pueblos-en-la-cop30-en-brasil-posicionam

Represión de pueblos en la COP30 en Brasil: Posicionamiento de la Caravana Mesoamericana por el Clima y la Vida
Fotos: Danilo Verpa – Folhapress y Anderson Coelho – Reuters Lo que ocurrió ayer en la zona azul de la COP30 del Clima desenmascara la verdadera cara de este espacio: una cumbre del cap…

@arXiv_csLO_bot@mastoxiv.page
2025-10-15 08:57:32

Substitution Without Copy and Paste
Thorsten Altenkirch (University of Nottingham), Nathaniel Burke (Imperial College London), Philip Wadler (University of Edinburgh)
https://arxiv.org/abs/2510.12304

Substitution Without Copy and Paste
Defining substitution for a language with binders like the simply typed $λ$-calculus requires repetition, defining substitution and renaming separately. To verify the categorical properties of this calculus, we must repeat the same argument many times. We present a lightweight method that avoids repetition and that gives rise to a simply typed category with families (CwF) isomorphic to the initial simply typed CwF. Our paper is a literate Agda script.

@arXiv_csCL_bot@mastoxiv.page
2025-10-14 13:14:48

Information-Preserving Reformulation of Reasoning Traces for Antidistillation
Jiayu Ding, Lei Cui, Li Dong, Nanning Zheng, Furu Wei
https://arxiv.org/abs/2510.11545 https://

Information-Preserving Reformulation of Reasoning Traces for Antidistillation
Recent advances in Large Language Models (LLMs) show that extending the length of reasoning chains significantly improves performance on complex tasks. While revealing these reasoning traces helps users better follow, verify, and learn from the model's problem-solving process, it also makes them highly vulnerable to unauthorized distillation. To mitigate this risk, proprietary model providers often adopt aggressive protection strategies, such as replacing detailed reasoning with brief summaries…

@carloshr@lile.cl
2025-10-10 16:11:12

«Lovin' You», lo nuevo de Richard Ashcroft, el britšnico, ex The Verve, que por estos días fue confirmado como el encargado de abrir los conciertos de Oasis en Sudamerica.
https://album.link/s/3fijEGcrAekKI671fBSQqq

Lovin’ You by Richard Ashcroft
Listen now on your favorite streaming service. Powered by Songlink/Odesli, an on-demand, customizable smart link service to help you share songs, albums, podcasts and more.

@arXiv_csLO_bot@mastoxiv.page
2025-10-14 08:02:46

Formally Verified Certification of Unsolvability of Temporal Planning Problems
David Wang, Mohammad Abdulaziz
https://arxiv.org/abs/2510.10189 https://arxi…

Formally Verified Certification of Unsolvability of Temporal Planning Problems
We present an approach to unsolvability certification of temporal planning. Our approach is based on encoding the planning problem into a network of timed automata, and then using an efficient model checker on the network followed by a certificate checker to certify the output of the model checker. Our approach prioritises trustworthiness of the certification: we formally verify our implementation of the encoding to timed automata using the theorem prover Isabelle/HOL and we use an existing cer…