#formal

Live, measured metrics for the hashtag #formal 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 #formal

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.

$520.70/ year · 6-character #name
Claim #formal — $520.70/yr→Buy on hashtag.space (web3)
card via hashtag.org · tokens via hashtag.space
5
Uses / 7 days
Mastodon
3
Accounts / 7 days
Mastodon
40
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 40
0.3
Avg reactions / post
Mastodon · last 40
—
Reddit posts / month
Reddit search
—
Open-web mentions
hashtag.org Firehose

Day-by-day usage

measured · fosstodon.org (Mastodon public tags API) · fetched 2026-11-10 03:18 UTC
3
11-04
1
11-05
1
11-06
0
11-07
0
11-08
0
11-09
0
11-10

5 uses by 3 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-11-10 03:18 UTC
#FormalSpecifications
1 uses · 1 accounts / 7d
#formalmethods
7 uses · 7 accounts / 7d
#formalites
0 uses · 0 accounts / 7d
#formalgarden
0 uses · 0 accounts / 7d
#formalization
0 uses · 0 accounts / 7d
#formalisation
1 uses · 1 accounts / 7d
#formalgardens
1 uses · 1 accounts / 7d
#formalverification
0 uses · 0 accounts / 7d
#formalvalidation
1 uses · 1 accounts / 7d
#formalapologyforslavery
0 uses · 0 accounts / 7d
#formalemployment
0 uses · 0 accounts / 7d
#formalises
0 uses · 0 accounts / 7d

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-11-10 03:18 UTC

Everything below is measured over the latest 40 public posts (spanning ~7783 hours).

Posting hours (UTC) — busiest: 11:00

00:0012:0023:00

Languages: English (35) · German (1)

Avg boosts / post: 0.5

Top of the latest posts

  • The software practice was once a mathematical activity, à la Hoare, Dijkstra, Bird, et al. But it has not been so, for several decades. If the present #software practice is to mature into a bona fide #engineering practice in the future, #ma

    amen zwa, esq.@AmenZwa@mathstodon.xyz♥ 7↻ 52026-08-04 00:07 UTCView post →

  • When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, na

    amen zwa, esq.@AmenZwa@mathstodon.xyz♥ 2↻ 12026-08-13 17:45 UTCView post →

  • Conjecture 9 formally proved in Lean 4 ➡️ The prime numbers classified by level are rarefying among the primes https://github.com/decompwlj/Conjecture9inLEAN #decompwlj #math #NumberTheory #PrimeNumbers #Lean #formal #theorem

    Rémi Eismann@decompwlj@mathstodon.xyz♥ 1↻ 02026-11-06 04:50 UTCView post →

What “formal” means

Wiktionary

formal/ˈfɔːməl/

  • nounFormalin.
  • adjectiveBeing in accord with established forms.
Full entry on Wiktionary →

#formal across platforms

every network with a public tag surface

Follow #formal 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.

X (Twitter) ↗Instagram ↗TikTok ↗Facebook ↗LinkedIn ↗YouTube ↗Threads ↗Bluesky ↗Mastodon ↗Reddit ↗Pinterest ↗Tumblr ↗

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