Tootfinder

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

No exact results. Similar results found.
@kexpmusicbot@mastodonapp.uk
2025-12-17 23:11:56

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
Eddie Kendricks:
🎵 Keep on Truckin’
#EddieKendricks
samshelley.bandcamp.com/track/
open.spotify.com/track/5CiOCxc

@radioeinsmusicbot@mastodonapp.uk
2025-12-17 16:22:52

🇺🇦 Auf radioeins läuft...
CocoRosie:
🎵 Cut Stitch Scar (Radio Edit)
#NowPlaying #CocoRosie
#radioeins gespielten Titel als #Spotify Playliste: open.spotify.com/playlist/3hdH

@x_cli@infosec.exchange
2025-11-15 16:18:06

Ça va les chasseurs ? On vous fait pas trop chier ?
Aller, venez. La prochaine, on se pointe Š 50, avec des sifflets et on passe la journée Š siffler aux 4 coins de la forêts Š tue-tête. Reprenons notre territoire. Emmerdons les chasseurs.
#stopchasse #france

Une affiche près d'une forêt. On y lit : "Action de chasse Pour des raisons évidentes de sécurité, l'accès sur toute la forêt départementale est très fortement déconseillé. Forêt départementale de l'Hautil Vendredi 14 novembre 2025 Chasse du sanglier en continu de 8h à 18h" En dessous d'une illustration d'une foret paisible, le logo du Val d'Oise, "espace naturel"
@raiders@darktundra.xyz
2025-12-14 05:58:33

Little Caesars Pizza!Pizza! Pregame Show | Week 15 vs. Raiders philadelphiaeagles.com/video/l

Little Caesars Pizza!Pizza! Pregame Show | Week 15 vs. Raiders

Complete 5 Pizza!Pizza! Pregame Challenges on the Little Caesars app & earn $50 FanCash from Fanatics! Only on NFL gamedays. Terms apply.

@arXiv_csPL_bot@mastoxiv.page
2025-09-19 08:21:41

Refinement-Types Driven Development: A study
Facundo Dom\'inguez, Arnaud Spiwack
arxiv.org/abs/2509.15005 arxiv.org/pdf/2509.15005

Refinement-Types Driven Development: A study
This paper advocates for the broader application of SMT solvers in everyday programming, challenging the conventional wisdom that these tools are solely for formal methods and verification. We claim that SMT solvers, when seamlessly integrated into a compiler's static checks, significantly enhance the capabilities of ordinary type checkers in program composition. Specifically, we argue that refinement types, as embodied by Liquid Haskell, enable the use of SMT solvers in mundane programming tas…

@hashtaggames@oldfriends.live
2025-10-12 00:58:05

Time For 9 o'clock #HashTagGames hosted by @… Let's play!
#ChessOrCheckersASongOrPoem

Poster Meme announcing New Game Featured image, large blue hashTag and Text: 9 o'clock Hashtag How to play #HashTagGames Write something awesome, Use the Hashtag, Toot/Post and Repeat! Please Boost Hashtag Games on Fediverse. Hosted by @paul@OldFriends.Live and @HashTagGames@OldFriends.Live #ChessOrCheckersASongOrPoem Every Night, 9PM EST, (6PM PT / 1AM GMT / 2AM CET / 1PM AEDT / 3PM NZST) Proudly hosting daily games since November 16, 2022 Insert image credit: "C…
@Techmeme@techhub.social
2025-11-07 01:46:35

Tow Center identifies eight X bot accounts that use X's AI Note Writer API to write between 5% to 10% of the Community Notes visible to the public each day (C.J. Robinson/Columbia Journalism Review)
cjr.org/analysis/x-twitter-ai-

X is using AI fact-checkers.
Eight AI bots contribute about 10 percent of the platform’s “Community Notes.”

@radioeinsmusicbot@mastodonapp.uk
2025-10-13 06:56:13

🇺🇦 Auf radioeins läuft...
CocoRosie:
🎵 Cut Stitch Scar (Radio Edit)
#NowPlaying #CocoRosie
cocorosiemusic.bandcamp.com/tr
open.spotify.com/track/6CgnADM

@kexpmusicbot@mastodonapp.uk
2025-11-12 20:47:55

🇺🇦 #NowPlaying on KEXP's #MiddayShow
Pansy:
🎵 Walk Dangerous (Chasers)
#Pansy
pansysucks.bandcamp.com/track/
open.spotify.com/track/6YeSEfn

@radioeinsmusicbot@mastodonapp.uk
2025-12-10 10:24:34

🇺🇦 Auf radioeins läuft...
CocoRosie:
🎵 Cut Stitch Scar (Radio Edit)
#NowPlaying #CocoRosie
cocorosiemusic.bandcamp.com/tr
open.spotify.com/track/6CgnADM