#pldi2025

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

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.

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

Day-by-day usage

measured · fosstodon.org (Mastodon public tags API) · fetched 2026-07-30 09:42 UTC
0
07-24
0
07-25
0
07-26
0
07-27
0
07-28
0
07-29
0
07-30

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-07-30 09:42 UTC

No related tags with measured usage found for #pldi2025.

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-30 09:42 UTC

Everything below is measured over the latest 4 public posts (spanning ~2890 hours).

Posting hours (UTC)

00:0012:0023:00

Languages: English (4)

Avg boosts / post: 7

Top of the latest posts

  • We are deeply grateful to ACM SIGPLAN for recognizing #LeanLang with the Programming Languages Software Award 2025 at #PLDI2025. The citation states: "The Lean theorem prover is a remarkable software artifact. Grounded on strong theoretical

    Lean@[email protected]♥ 1↻ 232025-06-20 04:14 UTCView post →

  • #LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption? Today at #SPLASH / @icfp_conference: Catarina Gamboa will give a reprise presentation of our #PLDI2025 paper on Usa

    Jonathan Aldrich@[email protected]♥ 0↻ 32025-10-14 00:22 UTCView post →

  • #LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption? Friday at 10:30, Catarina Gamboa presents our #PLDI2025 paper (with Abigail Reese and @alcides "Usability Barriers

    Jonathan Aldrich@[email protected]♥ 0↻ 22025-06-19 07:05 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/pldi2025