#haskellcurry
Live, measured metrics for the hashtag #haskellcurry from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #haskellcurry
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 · fosstodon.org (Mastodon public tags API) · fetched 2026-07-27 19:32 UTC0 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-27 19:32 UTCNo related tags with measured usage found for #haskellcurry.
Live pulse
measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-27 19:32 UTCEverything below is measured over the latest 3 public posts (spanning ~18134 hours).
Posting hours (UTC)
Languages: English (3)
Avg boosts / post: 1.3
Top of the latest posts
"Proofs are Programs" https://www.youtube.com/watch?v=AGnTnbR1sSg #Philosophy #ComputerScience #Mathematics #CurryHowardCorrespondence #Currying #Haskell #HaskellCurry #TypeTheory #Computation #Logic
I feel that we are just scratching the surface of what #programming languages are, and even what reasoning is. Our current languages would look like morze code to future generations. (No I am not referring to anything related to #ai ) The k
Survey of Precursors Of Category Theory • https://inquiryintoinquiry.com/2023/04/03/survey-of-precursors-of-category-theory-3/ A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category
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/haskellcurry