#minikanren
Live, measured metrics for the hashtag #minikanren from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #minikanren
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-08-24 05:47 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-08-24 05:47 UTCNo related tags with measured usage found for #minikanren.
Live pulse
measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-08-24 05:47 UTCEverything below is measured over the latest 21 public posts (spanning ~71830 hours).
Posting hours (UTC) — busiest: 14:00
Languages: English (21)
Avg boosts / post: 1.6
Top of the latest posts
If you're interested in #Scheme, #Lisp, #MiniKanren or #LogicProgramming, I wholeheartedly recommend William Byrd's 'From Bronze to GM' youtube series: https://youtube.com/@williamebyrd
@screwlisp @kentpitman regarding the discussion we had after the #LispyGopherClimate show ended, MiniKanren is logic programming language embedded in Scheme (sort-of like a Prolog implemented in Scheme and coded with S-expressions), and you
#Algol, #C, #Java et al: deontology #Scheme, #Lisp, etc: metaontology #Haskell, #ML, etc: ontology #Prolog, #Minikanren: phenomenology
What “minikanren” means
WikipediaminiKanren is a family of programming languages for relational programming, first developed by Will Byrd. As relations are bidirectional, if miniKanren is given an expression and a desired output, miniKanren can run the expression "backward", finding all possible inputs to the expression that produce the desired output. This bidirectional behavior allows the user to constrain both the input to the program and the result of the program simultaneously. miniKanren performs an interleaved search whi
“MiniKanren” on Wikipedia (CC BY-SA) →#minikanren across platforms
every network with a public tag surfaceFollow #minikanren 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/minikanren