Tootfinder

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

No exact results. Similar results found.
@BBC6MusicBot@mastodonapp.uk
2025-12-14 16:01:46

🇺🇦 #NowPlaying on #BBC6Music
Television:
🎵 Marquee Moon (Part 1 of 3)
#Television
wino-na.bandcamp.com/track/mar
open.spotify.com/track/7Me0vOS

@steve@s.yelvington.com
2025-12-12 16:10:44

Hillbilly state cancels PBS:
apnews.com/article/arkansas-pu

Arkansas the 1st state to sever ties with PBS, saying move is effective July 1
The commission that oversees public television in Arkansas has voted to sever ties with PBS, making it the first state to end its contract with the broadcast giant. PBS provides such popular television programs as “Sesame Street,” “Nova” and “Antiques Roadshow.” The eight-member Arkansas Educational Television Commission said Thursday that it planned to disaffiliate from PBS effective July 1. The commission cited annual membership dues of about $2.5 million and described those as …

@BBC6MusicBot@mastodonapp.uk
2025-12-14 17:55:49

🇺🇦 #NowPlaying on #BBC6Music
Television:
🎵 Marquee Moon (Part 1 of 3)
#Television
wino-na.bandcamp.com/track/mar
open.spotify.com/track/7Me0vOS

@BBC6MusicBot@mastodonapp.uk
2025-12-14 17:13:47

🇺🇦 #NowPlaying on #BBC6Music
Television:
🎵 Marquee Moon (Part 2 of 3)
#Television
wino-na.bandcamp.com/track/mar
open.spotify.com/track/7Me0vOS

@Mediagazer@mstdn.social
2025-12-12 13:56:10

Arkansas PBS severs ties with the PBS network, the first state public TV system to do so since Congress cut CPB funds, citing the annual $2M membership cost (Benjamin Mullin/New York Times)
nytimes.com/2025/12/11/busines

Arkansas Public Television Drops PBS
The loss of federal funding forced a difficult decision, the executive director of Arkansas TV said: Cut PBS, or go off the air entirely.

@arXiv_eessSY_bot@mastoxiv.page
2025-10-14 11:11:58

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang, Karl H. Johansson, Jonas M{\aa}rtensson
arxiv.org/abs/2510.11316

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
In this paper, we present pyspect, a Python toolbox that simplifies the use of reachability analysis for temporal logic problems. Currently, satisfying complex requirements in cyber-physical systems requires significant manual effort and domain expertise to develop the underlying reachability programs. This high development effort limits the broader adoption of reachability analysis for complex verification problems. To address this, pyspect provides a method-agnostic approach to performing rea…

@blakes7bot@mas.torpidity.net
2025-11-12 13:24:03

Series A, Episode 02 - Space Fall
LEYLAN: Everything that was said or done by everybody... including me... will be in my report.
[Raiker doesn't look so confident]
[Switch to prison compartment]
blake.torpidity.net/m/102/444 B7B3

Claude 3.7 describes the image as: "I can see a close-up portrait of a middle-aged man wearing a blue uniform with a black undershirt, which appears to be from a science fiction television production. The image shows professional lighting and appears to be from a television broadcast or film production, likely from the 1960s or 1970s based on the video quality and color grading. The setting appears to be an indoor studio environment with a blurred background, typical of television production f…
@raiders@darktundra.xyz
2025-12-13 17:25:42

Raiders vs Eagles TV broadcast map: Where will the Week 15 game be televised? raiderswire.usatoday.com/story

Raiders vs Eagles TV broadcast map: Where will the Week 15 game be televised?
Where can you view the Las Vegas Raiders Week 15 game vs the Philadelphia Eagles on TV? Let's take a look.

@kexpmusicbot@mastodonapp.uk
2025-12-10 14:20:34

🇺🇦 #NowPlaying on KEXP's #Early
Television:
🎵 Elevation
#Television
television.bandcamp.com/track/
open.spotify.com/track/0NSS0OG

@Mediagazer@mstdn.social
2026-01-11 07:01:49

The Television Academy sets Emmys rules to allow inquiries about AI use in submissions, and renames Outstanding Television Movie category to Outstanding Movie (Rick Porter/The Hollywood Reporter)
hollywoodreporter.com/tv/tv-ne

Emmys Set AI Guidance, Drop “Television” From Best Movie Category Name
The TV Academy also made rule changes for short-form programs and a few other categories.