#realizability
Live, measured metrics for the hashtag #realizability from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #realizability
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 · fosstodon.org (Mastodon public tags API) · fetched 2026-07-27 14:26 UTC0 uses by 0 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.
Related hashtags
measured · fosstodon.org (Mastodon public search API) · fetched 2026-07-27 14:26 UTCNo related tags with measured usage found for #realizability.
Live pulse
measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-27 14:26 UTCEverything below is measured over the latest 3 public posts (spanning ~22358 hours).
Posting hours (UTC)
Languages: English (3)
Avg boosts / post: 2.3
Top of the latest posts
#introduction [en] I am assistant professor in #Saclay (France) in the lab @lmf. Researchwise, I am working in #formal methods and #quantum computing using #type systems, #category theory, #rewriting, #realizability, and text-based and #gra
presented without comment https://ncatlab.org/nlab/show/Ass #nLab #operads #realizability #LearnedHumour #CoolURIsDontChange
Trying to understand the PCA \(\mathcal{K}_2\) from Van Oosten's Categorical Realizability book, but as far as I can tell, this definition of \(\phi\) doesn't even type check. Edit: the most charitable reading is to treat the finite sequenc
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/realizability