Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@Techmeme@techhub.social
2025-10-12 01:20:55

Google adds Gemini 2.5 Flash Image, aka Nano Banana, to Search's AI Mode and Google Lens, on Android in the US for those with an account opted into Search Lab (Abner Li/9to5Google)
9to5google.com/2025/10/11/goog

@boris@cosocial.ca
2026-01-10 17:30:05

Thread viewer as a @leaflet.pub embed. Excellent.
[contains quote post or other embedded content] bsky.app/profile/bmann.ca/post

@tinoeberl@mastodon.online
2026-01-11 20:53:01

RE: verkehrswende.social/@BahnMoni
Ich glaube, der bisherige Rekord lag über 180 Minuten. 😱

@arXiv_mathGN_bot@mastoxiv.page
2025-11-11 08:34:30

Transitivities of maps of generalized topological spaces
M. R. Ahmadi Zand, N. Baimani
arxiv.org/abs/2511.06241 arxiv.org/pdf/2511.06241 arxiv.org/html/2511.06241
arXiv:2511.06241v1 Announce Type: new
Abstract: In this work, we present several new findings regarding the concepts of orbit-transitivity, strict orbit-transitivity, $\omega$-transitivity, and $\mu$-open-set transitivity for self-maps on generalized topological spaces.
Let $(X,\mu)$ denote a generalized topological space. A point $x \in X$ is said to be \textit{quasi-$\mu$-isolated} if there exists a $\mu$-open set $U$ such that $x \in U$ and $i_\mu(U \setminus c_\mu(\{x\})) = \emptyset$. We prove that $x$ is a quasi-$\mu$-isolated point of $X$ precisely when there exists a $\mu$-dense subset $D$ of $X$ for which $x$ is a $\mu_D$-isolated point of $D$. Moreover, in the case where $X$ has no quasi-$\mu$-isolated points, we establish that a map $f: X \to X$ is orbit-transitive (or strictly orbit-transitive) if and only if it is $\omega$-transitive.
toXiv_bot_toot

@ErikJonker@mastodon.social
2025-12-11 12:54:10

Echt een knappe speech van Rutte, binnen de beperkte ruimte die hij heeft als SG van de NAVO (inclusief de VS). Duidelijk en expliciet. Dat hij vecht voor het voortbestaan van de NAVO is natuurlijk zijn werk/opdracht.
www.youtube.com/live/vTur2di...
#NAVO #Oekraine

@patrikja@functional.cafe
2025-10-12 03:55:09

Next TyDe talk ongoing:
Towards a Performance Comparison of Syntax and Type-Directed NbE (Extended Abstract)
Chester Gould University of British Columbia, William J. Bowman University of British Columbia
share.google/79PnZU3mzT6VrYgFi

First slide of Towards a Performance Comparison of Syntax and Type-Directed Judgmental Equality
@der_raddler@dresden.network
2025-12-11 11:45:58

Nein liebe FDP, es wurden nicht erst die Bahnen gekauft und dann das Netz umgebaut, sondern die Bahnen wurden gekauft, als 80% des Netzes entsprechend umgebaut waren.
Die grundlegende Entscheidung für die breiten Bahnen wurde bereits in einer Zeit getroffen, als die DVB noch einen Technischen Geschäftsführer hatte, wenn nicht sogar noch eher.

@Techmeme@techhub.social
2025-11-11 17:16:15

Google rolls out Nano Banana image editing upgrades in Photos, including a "help me edit" feature that lets users make edits using text or voice prompts (Elyse Betters Picaro/ZDNET)
zdnet.com/article/your-google-

@boris@cosocial.ca
2026-01-11 18:30:56

In case you’re wondering, blowing snow / sleet rain highway drive between London and Hamilton ON at 5am SUCKED. bsky.app/profile/bmann.ca/post

@ErikJonker@mastodon.social
2025-11-11 07:28:14

Het Adviescollege ICT-toetsing is het meest bekend om zijn adviezen over de risico's en slaagkansen van ICT-projecten binnen de Rijksoverheid. Onze wet beschrijft echter ook de adviestaak met betrekking tot het doeltreffend en doelmatig onderhouden en beheren van informatiesystemen. Het is daarom een goede ontwikkeling dat er nu, naast ons bestaande toetskader voor projecten, ook een toetskader voor beheer en onderhoud beschikbaar is.