#Kani

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

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.

$2,449.80/ year · 4-character #name
Claim #kani — $2,449.80/yr→Buy on hashtag.space (web3)
card via hashtag.org · tokens via hashtag.space
2
Uses / 7 days
Mastodon
2
Accounts / 7 days
Mastodon
25
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 25
0.6
Avg reactions / post
Mastodon · last 25

Day-by-day usage

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

2 uses by 2 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-29 20:32 UTC
#kanidm
3 uses · 3 accounts / 7d
#kaninchen
0 uses · 0 accounts / 7d
#kanie
1 uses · 1 accounts / 7d
#kanine
1 uses · 1 accounts / 7d
#Kanishka
0 uses · 0 accounts / 7d
#Kanister
0 uses · 0 accounts / 7d
#kaniksulandtrust
0 uses · 0 accounts / 7d
#kaniksylandtrust
0 uses · 0 accounts / 7d
#kanishkanarayan
1 uses · 1 accounts / 7d
#kanikula
0 uses · 0 accounts / 7d
#kanikusruti
0 uses · 0 accounts / 7d
#kanivadrinkingwater
0 uses · 0 accounts / 7d

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-29 20:32 UTC

Everything below is measured over the latest 25 public posts (spanning ~40552 hours).

Posting hours (UTC) — busiest: 18:00

00:0012:0023:00

Languages: English (10) · Latin (5) · zhCn (5) · Finnish (3) · Chinese (1)

Avg boosts / post: 0.8

Top of the latest posts

  • 56 minutes pinned to a single Apple M1 core running CBMC with the brilliant #kani #rustlang verifier—all to formally prove the floating-point bounds of a one-pole DSP filter. I finally got my Q.E.D., and that feeling never gets old. The bes

    alios@[email protected]♥ 6↻ 02026-07-24 12:48 UTCView post →

  • F* (fstar) Interactive Tutorial: https://fstar-lang.org/tutorial/ I'm only like 10% into the tutorial, but this language is CRAZY (fun)! :awesome: 😄 I try to learn the fundamentals of it, so I can use the backend of it in #Aeneas... so I c

    Jan :rust: :ferris:@[email protected]♥ 2↻ 22025-05-03 21:27 UTCView post →

  • Next in our #EverythingOpen Speaker Spotlight we have Tobin Harding who will take us through advanced #testing in @rustlang using tools like #Mutagen and #Kani https://2023.everythingopen.au/schedule/presentation/14/

    Everything Open Conference@everythingopen♥ 1↻ 12023-03-10 03:19 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/kani