#cslib

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

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 #cslib — $1,129.43/yr→Buy on hashtag.space (web3)
card via hashtag.org · tokens via hashtag.space
2
Uses / 7 days
Mastodon
2
Accounts / 7 days
Mastodon
23
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 23
1.1
Avg reactions / post
Mastodon · last 23
—
Reddit posts / month
Reddit search
—
Open-web mentions
hashtag.org Firehose

Day-by-day usage

measured · mastodon.social (Mastodon public tags API) · fetched 2026-10-23 21:54 UTC
0
10-17
0
10-18
1
10-19
0
10-20
1
10-21
0
10-22
0
10-23

2 uses by 2 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.

Related hashtags

measured · mastodon.social (Mastodon public search API) · fetched 2026-10-23 21:54 UTC
#CSLIBisback
0 uses · 0 accounts / 7d

Live pulse

measured · mastodon.social (Mastodon tag timeline) · fetched 2026-10-23 21:54 UTC

Everything below is measured over the latest 23 public posts (spanning ~8372 hours).

Posting hours (UTC) — busiest: 06:00

00:0012:0023:00

Languages: English (23)

Avg boosts / post: 1.4

Top of the latest posts

  • @fmontesi is presenting the first results and next steps of CSLib – the Lean Computer Science library – at Lean Together tomorrow (20 Jan) at 14:00 CET. The event is online and open to all, so feel free to join if you're curious: https://re

    ACP Section@acp@mastodon.acm.org♥ 5↻ 12026-01-19 11:10 UTCView post →

  • ~ Academic Positions in Formal Methods (postdoc, assistant prof., associate prof.) and Programming Languages (postdoc) ~ The first positions at the Centre for Formal Methods and Future Computing (FORM, https://www.sdu.dk/form) are here! Amo

    ACP Section@acp@mastodon.acm.org♥ 5↻ 142025-11-11 14:42 UTCView post →

  • 📣 Job alert: we're hiring PhDs and postdocs at FORM! Come work with us on formal methods, programming, verification, Lean, and #CSLib. We have many possible projects or you can propose your own. Deadline for applications: 16 August 2026 Li

    Fabrizio Montesi ⬣ A➔B@fmontesi♥ 4↻ 72026-06-26 14:00 UTCView post →

#cslib across platforms

every network with a public tag surface

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