#mucalculus

Live, measured metrics for the hashtag #mucalculus from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.

hashtag.org network · sponsored

Own #mucalculus

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.

$23.52/ year · 10-character #name
Claim #mucalculus — $23.52/yr→Buy on hashtag.space (web3)
card via hashtag.org · tokens via hashtag.space
0
Uses / 7 days
Mastodon
0
Accounts / 7 days
Mastodon
3
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 3
0
Avg reactions / post
Mastodon · last 3

Day-by-day usage

measured · fosstodon.org (Mastodon public tags API) · fetched 2026-07-28 18:26 UTC
0
07-22
0
07-23
0
07-24
0
07-25
0
07-26
0
07-27
0
07-28

0 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-28 18:26 UTC

No related tags with measured usage found for #mucalculus.

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-28 18:26 UTC

Everything below is measured over the latest 3 public posts (spanning ~12718 hours).

Posting hours (UTC)

00:0012:0023:00

Languages: English (3)

Avg boosts / post: 2.3

Top of the latest posts

  • Master thesis by Pepijn Vunderink: "Program Matching with Semantic Patterns" "We propose the Dyno pattern language, in which concrete object language syntax can be used to express intuitive semantic patterns of programs. Pattern matching is

    Programming Languages Delft@[email protected]♥ 0↻ 12025-04-15 14:32 UTCView post →

  • Paper by Ivan Todorov and Casper Bach Poulsen at TyDe '24: Modal μ-Calculus for Free in Agda "Using dependently-typed programming in Agda, we develop an embedding of the modal μ-calculus for defining and verifying functional properties of p

    Programming Languages Delft@[email protected]♥ 0↻ 42024-08-29 08:00 UTCView post →

  • I'll do an online presentation at the Australasian Association for Logic 2023 Conference on November 10, 18:15 (Brisbane time). I'll talk about fixed-points in modal logic (more specifically about when the mu-calculus is equivalent to fixed

    Leonardo Pacheco@[email protected]♥ 0↻ 22023-11-02 16:09 UTCView post →

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/mucalculus