#proof
Live, measured metrics for the hashtag #proof from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #proof
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 · mas.to (Mastodon public tags API) · fetched 2026-11-10 14:58 UTC4 uses by 4 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.
Related hashtags
measured · mas.to (Mastodon public search API) · fetched 2026-11-10 14:58 UTCLive pulse
measured · mas.to (Mastodon tag timeline) · fetched 2026-11-10 14:58 UTCEverything below is measured over the latest 40 public posts (spanning ~1249 hours).
Posting hours (UTC) — busiest: 13:00
Languages: English (38) · Lithuanian (1) · German (1)
Avg boosts / post: 0.7
Top of the latest posts
A Vision for a Rust Formal Specification, https://nadrieril.github.io/blog/2026/06/16/formal-spec-vision.html. Great article explaining the plan to get a formal specification for Rust. #RustLang #specification #proof
@tausbn Here's another simple proof, perhaps better because only triangle A needs scaling and it's easy to perceive (and it's a short hop to the 'tilted squares' proof of Pythagoras' theorem). Both this and the other proof generalise to ver
@joejohn #𝕁𝕠𝕖𝕁𝕠𝕙𝕟 #𝕁𝕦𝕤𝕥𝕁𝕁 #𝕁𝕁 #𝕊𝕥𝕖𝕗 #𝕊𝕥𝕖𝕗𝕒𝕟𝕚𝕒 #𝕊𝕥𝕖𝕗𝕤ℙ𝕚𝕔𝕜𝕤 𝕁𝕁, #ℂ𝕠𝕟𝕘𝕣𝕒𝕥𝕤 𝕠𝕟 𝕥𝕙𝕖 #𝕀𝕟𝕔𝕣𝕖𝕒𝕤𝕖 𝕠𝕗 𝕐𝕠𝕦𝕣 #𝔽𝕠𝕝𝕝𝕠𝕨𝕖𝕣𝕤. 𝕀 #𝕊𝕒𝕨 𝕙𝕠𝕨 #ℍ𝕒𝕣𝕕𝔼𝕒𝕣𝕟𝕖𝕕 𝕥𝕙𝕒𝕥 𝕙𝕒𝕕 𝕓�
What “proof” means
Wiktionaryproof/pɹʉːf/
- nounAn effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial.
- verbTo proofread.
#proof across platforms
every network with a public tag surfaceFollow #proof 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/proof