Tootfinder

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

No exact results. Similar results found.
@BBC3MusicBot@mastodonapp.uk
2025-06-06 21:00:11

🔊 #NowPlaying on #BBCRadio3:
#LateJunction
- Yara Asmar and Quinie in session
Verity Sharp shares the fruits of our latest exclusive collaboration session, between multi-instrumentalist and puppeteer Yara Asmar and Scots singer and interpreter Quinie.
Relisten now 👇
bbc.co.uk/programmes/m002cp81

@stefan@gardenstate.social
2025-06-05 11:32:19

The behind the scenes copyright work youtubers have to do is crazy. The ASMR scene for scene recreation of shrek has been a fight to keep up.
#youtube

@malik@Mastodon.Social
2025-07-05 09:55:51

#thankyou #LouderThanKarl #festival 🎉

Das Bild zeigt eine Frau (Kim), die auf einer Bühne singt. Sie hat blonde, wellige Haare und ist mit zahlreichen Tattoos bedeckt, darunter ein Adler auf ihrem Arm und ein Blitzmuster. Sie trägt ein schwarzes Oberteil und eine schwarze Hose mit einem elastischen Bund. Ihre Hand, die einen Mikrofonständer hält, ist mit roten Nagellack bemalt. Sie hat ein Armband mit einem violetten Band am Handgelenk. Im Hintergrund sieht man eine Menge von Menschen, die sie ansehen und applaudieren, einige mache…
Das Bild zeigt eine Gruppe von Musikern auf einer Bühne, die eine große, jubelnde Menge hinter sich sieht. Die Musiker sind in der Vordergrundpositioniert und tragen schwarze Kleidung. Einige von ihnen machen die "Rock on"-Geste mit ihren Händen. Die Menge hinter ihnen ist dicht gedrängt und zeigt ebenfalls die "Rock on"-Geste, während sie die Musiker anfeuert. Im Hintergrund sind weiße Zelte und Bäume zu sehen, was auf eine offene Veranstaltung hindeutet. Über dem Bild steht in großen, schwarz…
Das Bild zeigt eine lebhafte Szene auf einer öffentlichen Bühne, wahrscheinlich während eines Musikfests. Im Vordergrund ist ein Musiker mit langen, dunklen Haaren zu sehen, der eine Gitarre spielt. Er trägt ein schwarzes T-Shirt und hat einen konzentrierten Ausdruck im Gesicht. Hinter ihm steht ein Metallzaun, durch den eine große Menschenmenge sichtbar ist. Die Zuschauer sind in einer Mischung aus Freude und Energie, viele von ihnen machen die berühmte "Rock on"-Geste mit ihren Händen. Viele…
@BBC3MusicBot@mastodonapp.uk
2025-06-05 23:13:15

🇺🇦 #NowPlaying on BBCRadio3's #RoundMidnight
Evinha:
🎵 Que Bandeira
#Evinha
open.spotify.com/track/2aQ8NyR

@kexpmusicbot@mastodonapp.uk
2025-06-04 13:45:12

🇺🇦 #NowPlaying on KEXP's #Early
Traveling Wilburys:
🎵 Handle With Care
#TravelingWilburys
awksymoron.bandcamp.com/track/
open.spotify.com/track/1vQxicu

@matematico314@social.linux.pizza
2025-06-04 21:27:19

Aplicando prova aqui agora. Conferindo a lista de presença, notei que o número de assinaturas ali excedia em dois o número de alunos presentes. Fiquei confuso por um tempo, até entender que o aluno que assinou na posição 13 desenhou o algarismo três de uma forma esquisita, que mais parecia um 5, o que fez o aluno seguinte assinar como se fosse o número 16 rs.

@BBC3MusicBot@mastodonapp.uk
2025-06-06 21:13:17

🇺🇦 #NowPlaying on BBCRadio3's #LateJunction
Yara Asmar:
🎵 To Live in a Body of Water is to Forget it Exists
#YaraAsmar

@arXiv_csLO_bot@mastoxiv.page
2025-06-03 07:21:17

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
Fabian Achammer, Stefan Hetzl, Renate A. Schmidt
arxiv.org/abs/2506.00163

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
Second-order quantifier-elimination is the problem of finding, given a formula with second-order quantifiers, a logically equivalent first-order formula. While such formulas are not computable in general, there are practical algorithms and subclasses with applications throughout computational logic. One of the most prominent algorithms for second-order quantifier elimination is the SCAN algorithm which is based on saturation theorem proving. In this paper we show how the SCAN algorithm on claus…

@macandi@social.heise.de
2025-05-28 08:04:00

Pro & Contra: Brauchen wir ein Bugfix-macOS?
Redesign-Gerüchte sorgen bei manchen für Augenrollen. Statt neuer Funktionen wünschen sie sich mehr Stabilität. Muss Apple auf die Feature-Bremse treten?

Pro & Contra: Brauchen wir ein Bugfix-macOS?
Redesign-Gerüchte sorgen bei manchen für Augenrollen. Statt neuer Funktionen wünschen sie sich mehr Stabilität. Muss Apple auf die Feature-Bremse treten?

@malik@Mastodon.Social
2025-06-29 13:40:12

Der #Brandanschlag im Maharaja #Restaurant #Aachen: Vor ein paar Tagen wurde das Restaurant Ziel eines Anschlages, bei dem viele Menschen hätten zu Schaden kommen können. Ich war eben da um bei …

Ma Lik on Instagram: "Der #Brandanschlag im @maharaja.aachen: Vor ein paar Tagen wurde das Restaurant Ziel eines mutmaßlich rechten Brandanschlages, bei dem viele Menschen hätten zu Schaden kommen können. Ich war eben da um bei den Aufräumarbeiten zu helfen, aber die müssen noch etwas warten (Versicherung usw.). Ich habe spontan ein Video mit dem Besitzer Paranjit Klos gemacht, in dem er zeigt, was dort alles passiert ist – aber auch wie riesengroß die Anteilnahme und Hilfe der Aachenerinnen und Aachener ist. WAHNSINN! Keep it coming!"
29 likes, 1 comments - likstagram on June 29, 2025: "Der #Brandanschlag im @maharaja.aachen: Vor ein paar Tagen wurde das Restaurant Ziel eines mutmaßlich rechten Brandanschlages, bei dem viele Menschen hätten zu Schaden kommen können. Ich war eben da um bei den Aufräumarbeiten zu helfen, aber die müssen noch etwas warten (Versicherung usw.). Ich habe spontan ein Video mit dem Besitzer Paranjit Klos gemacht, in dem er zeigt, was dort alles passiert ist – aber auch wie riesengroß die Ant…