Tootfinder

HyperCard was magnificent. Still is.
The HyperTalk language was cool — but even cooler IMO was the way the dev environment mixed code with direct manipulation of the UI. There are lots of problems with that approach for generalized Ui development, yes, but the experience of it was magical.
Unity and the like have a similar editor structure — edit UI objects, attach code to them — but the feeling is totally different somehow.
https://mastodon.social/@ricmac/114643259120579546

Trump Wants the U.S. to Manufacture Drones and Flying Cars (Samuel Larreal/NOTUS)
https://www.notus.org/technology/trump-executive-orders-drones-flying-cars
http://www.memeorandum.com/250606/p145#a250606p145

In iOS 26 beta 3, Apple dials back the degree of translucency in many UI elements, following user complaints about Liquid Glass (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/07/07/ios-26-beta-3-dials-back-liquid-glass/

iOS 26 beta 3 dials back Liquid Glass | TechCrunch
The early version in the first developer beta of iOS 26 and the accompanying updates for Apple's other devices still left room for improvement in terms of usability, accessibility, and legibility.

Existence of normalized solutions to nonlinear Schr\"{o}dinger equations with potential on lattice graphs
Weiqi Guan
https://arxiv.org/abs/2507.04204 …

Existence of normalized solutions to nonlinear Schrödinger equations with potential on lattice graphs
We study the existence of ground state normalized solution of the following Schrödinger equation: \begin{equation*} \begin{cases} -Δu+V(x)u+λu=f(x,u), & x\in\mathbb{Z}^d \\ \Vert u\Vert_2^2=a \end{cases} \end{equation*} where $V(x)$ is trapping potential or well potential, $f(x,u)$ satisfies Berestycki-Lions type condition and other suitable conditions. We show that there always exists a threshold $α\in[0,\infty)$ such that there do not exist ground state normalized solutions for $a\in (0…

BlackRock halted Ukraine recovery fund following Trump victory, France working on replacement, Bloomberg reports: https://benborges.xyz/2025/07/05/blackrock-halted-ukraine-recovery-fund.html

From @… - False UFO stories created by military... sometimes intentionally terrorizing their own soldiers https://n…

How False UFO Stories Were Created - Sometimes Deliberately - by the US Military - Slashdot
Last year's Pentagon report reviewing UFO reports "left out the truth behind some of the foundational myths about UFOs," reports the Wall Street Journal. "The Pentagon itself sometimes deliberately fanned the flames, in what amounted to the U.S. government targeting its own citizens with disinforma...

Existence and multiplicity of normalized solutions to a large class of elliptic equations on bounded domains with general boundary conditions
Claudianor O. Alves, Zhentao He, Chao Ji
https://arxiv.org/abs/2507.04624

Existence and multiplicity of normalized solutions to a large class of elliptic equations on bounded domains with general boundary conditions
In this paper, by adapting the perturbation method, we study the existence and multiplicity of normalized solutions for the following nonlinear Schrödinger equation $$ \left\{ \begin{array}{ll} -Δu = λu + f(u)\quad & \text{in } Ω, \mathcal{B}_{α,ζ,γ}u = 0 & \text{on } \partial Ω, \int_Ω |u|^2\,dx = μ, \end{array} \right. \leqno{(P)^μ_{α,ζ,γ}} $$ where $Ω\subset \mathbb{R}^N$ ($N \geq 1$) is a smooth bounded domain, $μ>0$ is prescribed, $λ\in \mat…

AI spreekt soms wel de waarheid.
Zelfs Grok, althans zolang Elon nog niet de gelegenheid heeft gehad om hem te herprogrammeren.

US won't send some weapons pledged to Ukraine following a Pentagon review of military aid
A Pentagon review determined that stocks were too low on some weapons previously pledged to Ukraine,
so pending shipments of some items won’t be sent,
according to a U.S. official who spoke on condition of anonymity to provide information that has not yet been made public.

The Defense Department did not provide details on what specific weapons were being held back.

The…

US won't send some weapons pledged to Ukraine following a Pentagon review of military aid
The U.S. is halting some shipments of weapons to Ukraine amid concerns that its own stockpiles have declined too much

This https://arxiv.org/abs/2312.15007 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Uniqueness of positive solutions for m-Laplacian equations with polynomial non-linearity
We consider the uniqueness of the following positive solutions of $m$-Laplacian equation: \begin{equation} \left\{ \begin{aligned} -Δ_m u&=λu^{m-1}+u^{p-1} \quad \text{in} \quad Ω\\ u&=0 \quad \text{on} \quad \partial Ω\end{aligned} \right. \qquad(0.1)\end{equation} where $m>1$ is a constant. When $p\rightarrow m$, the uniqueness of positive solutions of $(0.1)$ is shown which is based on the essential uniqueness of first eigenfunction for $m$-Laplacian equation. Futhermore, we also prove t…