#symbolics
Live, measured metrics for the hashtag #symbolics from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #symbolics
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-28 18:48 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-28 18:48 UTCLive pulse
measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-28 18:48 UTCEverything below is measured over the latest 40 public posts (spanning ~15236 hours).
Posting hours (UTC) — busiest: 13:00
Languages: English (30) · German (8) · Russian (1) · Dutch (1)
Avg boosts / post: 1.8
Top of the latest posts
@screwlisp You can pick up the document 'Signalling and Handling Conditions' from this index page: http://nhplace.com/kent/ZL/ It was longer than I thought it would be, but I think you'll find it interesting to see what the Zetalisp conditi
@surabax 👆 What I find interesting in this Symbolics Genera retrospective by David Moon is the discussion of the origins and motivations behind the lack of kernel protection in the Lisp Machine environment and, more generally, in Lisp. The
Introducing SymbolicSMT.jl for symbolic constraint solving and theorem proving! Built on Z3, test the feasibility of symbolic expressions built using Symbolics.jl. Given Constraints([x > 0, y > 0, x^2 + y^2 <= 1]), ask issatisfiable? isprov
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/symbolics