#tyde
Live, measured metrics for the hashtag #tyde from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #tyde
This #name is available to claim. It becomes your portal on the open agent web: this very page, a keyword you rank for by an open public stake, and a verifiable identity for AI agents. Nobody else sells a page like this for every #name.
Day-by-day usage
measured · mastodon.social (Mastodon public tags API) · fetched 2026-09-27 11:25 UTC0 uses by 0 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.
Related hashtags
measured · mastodon.social (Mastodon public search API) · fetched 2026-09-27 11:25 UTCLive pulse
measured · mastodon.social (Mastodon tag timeline) · fetched 2026-09-27 11:25 UTCEverything below is measured over the latest 9 public posts (spanning ~28674 hours).
Posting hours (UTC)
Languages: English (7) · Slovak (1) · German (1)
Avg boosts / post: 5
Top of the latest posts
As part of our (@[email protected] and yt) research on the usability of interactive theorem provers, we are conducting a study on the usage and state of tools and languages for type-driven development. We are interested in tools that
The proceedings for TyDe '24 (and other events colocated with ICFP) just got published! You can find them at dl.acm.org/doi/proceedings/10.1145/3678000 Extended abstracts are not formally published but can be downloaded directly from the wo
How can it be that agda.sty is causing problems for publications at #TyDe? Surely there have been literate #Agda papers published there before?
What “tyde” means
WikipediaThe Tyde are an American indie rock group. Tracing their roots to early 1990s LA indie band Further, formed by Darren Rademaker and brother Brent. The Tyde cite Felt, the Beach Boys and the Byrds as major influences. They are not to be confused with band from the Iowa in the late 1960s called the TYDE, known for songs such as "Psychedelic Pill" and "Lost".
“The Tyde” on Wikipedia (CC BY-SA) →#tyde across platforms
every network with a public tag surfaceFollow #tyde straight to each platform’s own tag page. Where a platform publishes open data we measure it above; the rest lock their numbers behind paid APIs, so we link rather than guess.
Every number above is measured from a named public API at the shown fetch time. Nothing is estimated or extrapolated. Platforms that lock their data behind paid APIs are not shown. Agents: the same numbers, as JSON, at /api/hashtags/tyde