#RLIBM
Live, measured metrics for the hashtag #RLIBM from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #rlibm
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 · mastodon.social (Mastodon public tags API) · fetched 2026-07-28 15:15 UTC0 uses by 0 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-07-28 15:15 UTCNo related tags with measured usage found for #rlibm.
Live pulse
measured · mastodon.social (Mastodon tag timeline) · fetched 2026-07-28 15:15 UTCEverything below is measured over the latest 3 public posts (spanning ~10847 hours).
Posting hours (UTC)
Languages: English (3)
Avg boosts / post: 2
Top of the latest posts
Here is a talk summarizing our RLIBM project, where we are building correctly rounded math libraries. https://www.youtube.com/watch?v=vAcf6d26kiM #RLIBM #RutgersCS
Just committed new versions of correctly rounded sinf, cosf, tanf, asinf, acosf, and atanf that are about 20-30% faster than our previous versions. #RLIBM https://github.com/rutgers-apl/The-RLIBM-Project
Interesting: “High Performance Correctly Rounded Math Libraries For 32-Bit Floating Point Representations”, Jay Lim and Santosh Nagarakatte, SIGPLAN (https://blog.sigplan.org/2021/08/26/high-performance-correctly-rounded-math-libraries-for-
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/rlibm