Tootfinder

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

No exact results. Similar results found.
@seemannsmission@c.im
2025-06-15 09:13:11

Maritime Lieder
Ukulele
Seemannsgarn (auch mal ernst) von der Seemannsmission
Zum Mitspielen, Mitsingen, Zuhören.
Mit Ukulele Hamburg
Eintritt frei. Spende erbeten für die Seemannsmission.
Am Dienstag, 17.6. um 19 Uhr in der Christuskirche Eimsbüttel #ukulele #maritim

Mitsing und Mitspiel-Ukulele-Konzert
Zu einem maritimen Benefiz-Konzert laden die Deutsche Seemannsmission und der Ukulele Hamburg e.V. am Dienstag, 17. Juni von 19 bis 21 Uhr

@aral@mastodon.ar.al
2025-06-14 18:11:10

Please help @… if you can. Her and her family are living through hell at the hands of israel.
#israel #genocide

Aseelsehwel🇵🇸 (@Aseelsehwel@mas.to)
I’m back after a four-day internet blackout in northern Gaza… They were some of the worst days we’ve ever lived through — no water, no food, & no way to reach the outside world. We lived in complete darkness, surrounded by the sounds of bombing, fear, & hunger. We are living in conditions beyond description، All we need now are the most basic: water, food, & medicine for my Dad. Please, help us buy food,water, & medicine — & help save my father’s life. That’s all we ask http://…

@catsalad@infosec.exchange
2025-06-13 17:54:38

If your name ends with son/sen/cent, you sound like a God to #Cantonese people.

Allison · 咬你神 (ngaau5 nei5 san4) · God of Bite you Carson · 卡神 (kaa1 san4) · God of Cards Orson · 屙神 (o1 san4) · God of Defecation💩 Eason · 医神 (ji1 san4) · God of Medicine Hudson · 乞神 (hat1 san4) · God of begging Jefferson · 著褲神 (zeok3 fu3 san4) · God of putting on pants Johnson · 妝神 (zong1 san4) · God of Makeup Davidson · 大胃神 (daai6 wai6 san4) · God of Huge Appetite Nelson · 尿神 (niu6 san4) · God of Pee Benson · 笨神 (ban6 san4) · God of Dumb Madison · 抹地神 (maat3 dei6 san4) ·…
@heiseonline@social.heise.de
2025-06-11 19:52:00

Medikamentenversand: Landgericht lässt Dritte die Apotheke auswählen
Eine Apotheke darf mit einer Plattform kooperieren, die Patienten die Wahl der Apotheke abnimmt, sagt das LG Frankfurt. Dem LG Hamburg schmeckt das weniger.

Medikamentenversand: Landgericht lässt Dritte die Apotheke auswählen
Eine Apotheke darf mit einer Plattform kooperieren, die Patienten die Wahl der Apotheke abnimmt, sagt das LG Frankfurt. Dem LG Hamburg schmeckt das weniger.

@memeorandum@universeodon.com
2025-06-13 17:31:12

Tim Scott Slammed with Community Note After False Claim About CBO History (J.D. Wolf/MeidasTouch News)
meidasnews.com/news/tim-scott-
memeorandum.com/250613/p87#a25

@migoettingen@academiccloud.social
2025-04-13 07:30:05

Happy Birthday, #Maddison!
de.wikipedia.org/wiki/Isabel_M

@radioeinsmusicbot@mastodonapp.uk
2025-06-13 03:04:02

🇺🇦 Auf radioeins läuft...
Agoria feat. Madison McFerrin:
🎵 Getaway
#NowPlaying #Agoria #MadisonMcFerrin
agoriamusic.bandcamp.com/track

@askesis@qoto.org
2025-05-13 17:09:38

Historia de la Cirugía, Irissari Secot
#medicina #filosofia #historia

@Techmeme@techhub.social
2025-06-13 17:25:51

Digital rights organizations urge the FTC to investigate Character.AI and Meta's "unlicensed practice of medicine facilitated" by therapy AI chatbots (Samantha Cole/404 Media)
404media.co/ai-therapy-bots-me

AI Therapy Bots Are Conducting 'Illegal Behavior,' Digital Rights Organizations Say
Exclusive: An FTC complaint led by the Consumer Federation of America outlines how therapy bots on Meta and Character.AI have claimed to be qualified, licensed therapists to users, and why that may be breaking the law.

@arXiv_csLO_bot@mastoxiv.page
2025-06-13 07:42:30

Notes on applicative matching logic
Laurentiu Leustean
arxiv.org/abs/2506.10088 arxiv.org/pdf/2506.10088

Notes on applicative matching logic
Matching logic (ML) was developed by Grigore Roşu and collaborators as a logic for defining the formal semantics of programming languages and for specifying and reasoning about the behavior of programs. These lecture notes present basic definitions and results on applicative matching logic (AML), a functional variant of ML introduced recently by Xiaohong Chen and Grigore Roşu. They can be used as an introductory text in the theory of AML. Monk's textbook on mathematical logic has an enormous …