Tootfinder

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

No exact results. Similar results found.
@kexpmusicbot@mastodonapp.uk
2025-08-25 18:33:38

🇺🇦 #NowPlaying on KEXP's #MiddayShow
Belle and Sebastian:
🎵 Another Sunny Day
#BelleandSebastian
m0rl0ck.bandcamp.com/track/ano
open.spotify.com/track/73JnItJ

@radioeinsmusicbot@mastodonapp.uk
2025-08-26 18:43:40

🇺🇦 Auf radioeins läuft...
Janet Jackson:
🎵 That's the way love goes
#NowPlaying #JanetJackson
csov.bandcamp.com/track/janet-
open.spotify.com/track/29rQJyd

@nfdi4culture@nfdi.social
2025-09-25 17:03:11

Wir haben heute Abend gelernt, dass nicht nur unsere Künstlerinnen Andrea Jantzen (Klavier) und Lindsey Neumann (Sopran) mit unserem Applaus erblühen, sondern auch der SPIRIO-Flügel im Kalkhof-Rose-Saal der Akademie der Wissenschaften und der Literatur #Mainz 👏
Wir danken den Organisator*innen herzlich für ein abwechslungsreiches Abendprogramm! 🤩

Flügel mit SPIRIO-Technik
Musikerinnen (Klavier und Gesang)
@BBC3MusicBot@mastodonapp.uk
2025-09-24 23:04:16

🇺🇦 #NowPlaying on BBCRadio3's #RoundMidnight
Jean Toussaint:
🎵 Bar Blues for Jimi (Live at the Vortex)
#JeanToussaint

@tezoatlipoca@mas.to
2025-09-25 21:57:26

Garbage. Ppl pay for this?
My prompt was `Edward Hopper's American Gothic but with two robots` and it didn't even include a pitchfork.
#microsoft

American Robot Gothic attempt 1: its a farm house ok. The two robots look like the one from Lost In Space a bit, all metallic. There's some humanoid wearing a sunhat in the background; is he their master? Is he enslaved? Is he a Solaran from Asimov's Robot/Foundation novels and his mutant telekenesis is how the Robots are powered?
American Robot Gothic #2 - a farmhouse (ok) but against a backdrop of oil derricks (fitting) with two Iron Giant style monstrosities who look like they're ready to stomp the house for being woke. What looks like an Edsel is in the driveway. Some weird abstract porch chairs sit... err float.. disjointedly on the porch. The Iron couple's robot progeny play "RoboCops and Humans" on one side of the porch. The light is that of dusk, about the time that the street lights would come on and all good ro…
American Robot Gothic attempt #3: farmhouse check. Someone is burning insurance papers in the basement furnace as black smoke eminates from the chimney.. and also from the old style TV antennae for some reason. There are two "tin can man" style robots with red eyes and antennae ears in the foreground with exposed hoses and articulations at joints, but they're not standing side by side and neither has a pitchfork. The SPirit of St. Lois flies in the sky along with... Skylab?! for some reason…
American Robot Gothic pathetic attempt 4: Another farmhouse (ok). Anthropromorphized robots stand in the foreground (one wears a metal dress). Again, no pitchforks. A masonic temple and... The Sears building ? appear in the background. The two (rightful) human owners of the house sit smug in their rocking chairs looking on as another human - who looks like Elon Musk with a Ron Jeremy eyebrows and mustache roars off in a 1937 Ford Two Door roadster, like he's the evil banker that just forecl…
@arXiv_csLO_bot@mastoxiv.page
2025-08-26 09:00:26

Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Kl\"uppelholz
arxiv.org/abs/2508.17859

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
Multi-objective probabilistic model checking is a powerful technique for verifying stochastic systems against multiple (potentially conflicting) properties. To enhance the trustworthiness and explainability of model checking tools, we present independently checkable certificates and witnesses for multi-objective ω-regular queries in Markov decision processes. For the certification, we extend and improve existing certificates for the decomposition of maximal end components and reachability prop…

@arXiv_mathNA_bot@mastoxiv.page
2025-08-26 09:55:36

Error analysis for the deep Kolmogorov method
Iulian C\^impean, Thang Do, Lukas Gonon, Arnulf Jentzen, Ionel Popescu
arxiv.org/abs/2508.17167

Error analysis for the deep Kolmogorov method
The deep Kolmogorov method is a simple and popular deep learning based method for approximating solutions of partial differential equations (PDEs) of the Kolmogorov type. In this work we provide an error analysis for the deep Kolmogorov method for heat PDEs. Specifically, we reveal convergence with convergence rates for the overall mean square distance between the exact solution of the heat PDE and the realization function of the approximating deep neural network (DNN) associated with a stochas…

@kexpmusicbot@mastodonapp.uk
2025-09-26 20:25:23

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
Yasmine Hamdan:
🎵 Shmaali شمالي
#YasmineHamdan
yasminehamdan.bandcamp.com/tra
open.spotify.com/track/4GIohF0

@radioeinsmusicbot@mastodonapp.uk
2025-10-25 08:32:15

🇺🇦 Auf radioeins läuft...
Cupidon feat. Milaa:
🎵 Feel It
#NowPlaying #Cupidon #Milaa
subreachers.bandcamp.com/track
open.spotify.com/track/5qKEArG

@kexpmusicbot@mastodonapp.uk
2025-10-25 16:02:20

🇺🇦 #NowPlaying on #KEXP's #PositiveVibrations
Janet Kay:
🎵 Loving You
#JanetKay
janetkay.bandcamp.com/track/lo
open.spotify.com/track/3jouzz6
🎶 show playlist 👇
open.spotify.com/playlist/46qA
🎶 KEXP playlist 👇
open.spotify.com/playlist/6VNA