Tootfinder

Rubio gratuliert Russland zum Nationalfeiertag
Anlässlich des russischen Nationalfeiertages hat US-Außenminister Marco Rubio Glückwünsche gesandt und Friedensbemühungen im Ukraine-Krieg angemahnt. Die USA unterstützten das russische Volk weiter in seinem Streben nach einer besseren Zukunft, ließ Rubio im Namen des amerikanischen Volkes ausrichten. In seinem Schreiben bekräftigte er den Wunsch der USA nach "konstruktiver Zusam…
📑

Ukraine-Liveblog: ++ Pistorius verspricht weitere Militärhilfen ++
Bundesverteidigungsminister Pistorius hat der Ukraine weitere Militärhilfen in Milliardenhöhe in Aussicht gestellt. Die Europäer versprechen bei einem Außenministertreffen in Rom, den Druck auf Russland zu erhöhen.

#devops rabbit hole for the weekend; Setting up a dependency analyser for monorepo. Turns out that with the right tools it’s not that difficult, and only costs the price of hosting some docker containers.
The parts of the puzzle are;
htt…

GitHub - CycloneDX/cyclonedx-gradle-plugin: Creates CycloneDX Software Bill of Materials (SBOM) from Gradle projects
Creates CycloneDX Software Bill of Materials (SBOM) from Gradle projects - CycloneDX/cyclonedx-gradle-plugin

A Language-Agnostic Logical Relation for Message-Passing Protocols
Tesla Zhang, Sonya Simkin, Rui Li, Yue Yao, Stephanie Balzer
https://arxiv.org/abs/2506.10026

A Language-Agnostic Logical Relation for Message-Passing Protocols
Today's computing landscape has been gradually shifting to applications targeting distributed and *heterogeneous* systems, such as cloud computing and Internet of Things (IoT) applications. These applications are predominantly *concurrent*, employ *message-passing*, and interface with *foreign objects*, ranging from externally implemented code to actual physical devices such as sensors. Verifying that the resulting systems adhere to the intended protocol of interaction is challenging -- the usu…

Bias-Switchable Row-Column Array Imaging using Fast Orthogonal Row-Column Electronic Scanning (FORCES) Compared with Conventional Row-Column Array Imaging
Randy Palamar, Mohammad Rahim Sobhani, Darren Dahunsi, Negar Majidi, Afshin Kashani Ilkhechi, Joy Wang, Jeremy Brown, Roger Zemp
https://arxiv.org/abs/2506.10958

Bias-Switchable Row-Column Array Imaging using Fast Orthogonal Row-Column Electronic Scanning (FORCES) Compared with Conventional Row-Column Array Imaging
Row-Column Arrays (RCAs) offer an attractive alternative to fully wired 2D-arrays for 3D-ultrasound, due to their greatly simplified wiring. However, conventional RCAs face challenges related to their long elements. These include an inability to image beyond the shadow of the aperture and an inability to focus in both transmit and receive for desired scan planes. To address these limitations, we recently developed bias-switchable RCAs, also known as Top Orthogonal to Bottom Electrode (TOBE) arr…

On local well-posedness for the nonlinear Schr\"odinger equation with general power nonlinearity
Lucia Arens, Marius Gritl
https://arxiv.org/abs/2506.10595

On local well-posedness for the nonlinear Schrödinger equation with general power nonlinearity
The nonlinear Schrödinger equation plays a fundamental role in mathematical physics, particularly in the study of quantum mechanics and Bose-Einstein condensation. This paper explores two distinct approaches to establishing the local well-posedness of solutions: the semigroup theory ansatz and the Strichartz estimates ansatz. Semigroup theory provides a general and elegant framework rooted in functional analysis, allowing for the interpretation of the time evolution of solutions as operator se…

Foto de un gordolobo en la huerta "Gordoloba" de Villalba

Right, Google Authenticator is out. Aegis is the new owner of the 2FA service. Gradually removing services from Evil Corp.

One Free Agent Signing The Las Vegas Raiders Would Greatly Benefit From https://raiderramble.com/2025/06/03/one-free-agent-las-vegas-raiders-would-greatly-benefit-from/

Gradual Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek, Chao-Hong Chen, Weixi Ma, Arnaud Venet, Rocky Liu
https://arxiv.org/abs/2506.09043 htt…

Gradual Metaprogramming
Data engineers increasingly use domain-specific languages (DSLs) to generate the code for data pipelines. Such DSLs are often embedded in Python. Unfortunately, there are challenges in debugging the generation of data pipelines: an error in a Python DSL script is often detected too late, after the execution of the script, and the source code location that triggers the error is hard to pinpoint. In this paper, we focus on the F3 DSL of Meta (Facebook), which is a DSL embedded in Python (so it …

Having to add an explicit dependency declaration to a #gradle build file, to ensure that an app isn't built with a GSON version that has vulnerabilities dating back to 2022, feels sooo wrong..... but hey, that's #AndroidDev!
(if you're wondering, a dependency of the project has a deep …