#iyp
Live, measured metrics for the hashtag #iyp from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #iyp
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.online (Mastodon public tags API) · fetched 2026-09-29 07:49 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.online (Mastodon public search API) · fetched 2026-09-29 07:49 UTCLive pulse
measured · mastodon.online (Mastodon tag timeline) · fetched 2026-09-29 07:49 UTCEverything below is measured over the latest 5 public posts (spanning ~31680 hours).
Posting hours (UTC)
Languages: English (5)
Avg boosts / post: 0.6
Top of the latest posts
革命者的机遇正在孕育。 众所周知,对追求激进变革的人们来说,成就感极为稀罕,也因此,无比珍贵。曾经无数前辈终其一生都没能亲见到自己渴望的世界,尽管毫无疑问,他们的积累为今天我们的战斗提供了坚实的基础。 而现在,我们这些人将有可能在有生之年享受到解放斗争的成就感。同时,毫无疑问的,在此之前,我们可能正在面对的是史无前例的艰辛和险境。 总体上,这绝不是坏消息。但它能好到什么程度,取决于我们的眼界和手速。 …… 我们每年都会通过年终礼预测短期前景和局势。今年我们想要谈论一些更长远的
LLMemma: An LLM-guided Isabelle proof synthesis system. ~ Daniel Busing, Hyunkyung Lee, Isaac Mangano, Timothy Stanbrough, Tommy Tran. https://www.researchgate.net/profile/Daniel-Busing/publication/406962966_LLMemma_An_LLM-Guided_Isabelle_P
【Notes】 1、我们的确调整了一期工程首页的简介;但目前“总站”尚未上线。今天看到了很多朋友发送的访问请求,对大家说抱歉,它暂时还无法使用。 总站将于更多站点上线之后 - 即 能产生粗略的整体结构的时候 - 推出。 2、一期工程的内容一直在更新中,对正在准备制作副本的朋友说:您可以晚些时候再复制它(比如中国年之后?)那时候它将可以进入初步稳定状态。 当然,如果您有自己的计划,并且认为目前已有的部分可以满足您的计划所需,您可以随时开始。 3、对正在积极工作的其他团队/小组说
#iyp across platforms
every network with a public tag surfaceFollow #iyp 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.
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/iyp