#Verus

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

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.

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

Day-by-day usage

measured · fosstodon.org (Mastodon public tags API) · fetched 2026-10-19 22:36 UTC
0
10-13
0
10-14
0
10-15
0
10-16
0
10-17
0
10-18
0
10-19

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-10-19 22:36 UTC
#SextusCongeniusVerus
0 uses · 0 accounts / 7d
#verusbridgeexploit
0 uses · 0 accounts / 7d
#Verushka
0 uses · 0 accounts / 7d
#veruskadonato
0 uses · 0 accounts / 7d
#VerusID
0 uses · 0 accounts / 7d
#veruschkavonlehndorff
0 uses · 0 accounts / 7d
#verussync
0 uses · 0 accounts / 7d
#veruschkavonbodman
0 uses · 0 accounts / 7d
#Veruschka
0 uses · 0 accounts / 7d
#verushkasingh
0 uses · 0 accounts / 7d
#VeruskaPicchiarelli
0 uses · 0 accounts / 7d
#VERUSED
0 uses · 0 accounts / 7d

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-10-19 22:36 UTC

Everything below is measured over the latest 12 public posts (spanning ~21002 hours).

Posting hours (UTC) — busiest: 02:00

00:0012:0023:00

Languages: English (10) · Chinese (Taiwan) (2)

Avg boosts / post: 0

Top of the latest posts

  • 🌖 網際網路發現了 TLA+。然後呢？ ➤ 從規格描述到自動化證明的 AI 演進之路 ✤ https://reasonable.io/blog/tla-tutorial/ 隨著熱門推文引發對形式化工具 TLA+ 的關注，其在 AI 代理程式設計中的應用潛力備受矚目。TLA+ 能有效描述系統狀態與時間屬性，但傳統模型檢測受限於有限實例，且與實際程式碼存在落差。為此，Reasonable 團隊開發出一個 AI 代理管道，成功將一萬六千多個 TLA+ 規格與屬性對，轉化為三千多個

    GripNews@[email protected]♥ 0↻ 02026-09-27 14:20 UTCView post →

  • 🌗 使用 Verus 開發可證明正確性的 Rust 程式碼 ➤ 結合數學證明與自動化工具，消除關鍵系統程式碼的漏洞隱患 ✤ https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus 本文介紹開源自動化程式驗證工具 Verus，該工具能透過數學規範對 Rust 程式碼的所有輸入進行機械式檢查，超越傳統測試以捕捉極端情況。開發者可直接在原始碼中以類似 Rust 的語法加入前置

    GripNews@[email protected]♥ 0↻ 02026-09-17 02:18 UTCView post →

  • Developing provably correct Rust code with Verus https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus Comments: https://news.ycombinator.com/item?id=49700153 #HackerNews #Rust #Verus #Development #ProvablyCorrect

    Hacker News@[email protected]♥ 0↻ 02026-09-17 02:01 UTCView post →

#verus across platforms

every network with a public tag surface

Follow #verus 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/verus