ActivityPub Viewer

A small tool to view real-world ActivityPub objects as JSON! Enter a URL or username from Mastodon or a similar service below, and we'll send a request with the right Accept header to the server to view the underlying object.

Open in browser →
{ "@context": [ "https://www.w3.org/ns/activitystreams", { "ostatus": "http://ostatus.org#", "atomUri": "ostatus:atomUri", "inReplyToAtomUri": "ostatus:inReplyToAtomUri", "conversation": "ostatus:conversation", "sensitive": "as:sensitive", "toot": "http://joinmastodon.org/ns#", "votersCount": "toot:votersCount" } ], "id": "https://mastodon.cr.yp.to/users/djb/statuses/110911562980768637", "type": "Note", "summary": null, "inReplyTo": null, "published": "2023-08-18T16:29:04Z", "url": "https://mastodon.cr.yp.to/@djb/110911562980768637", "attributedTo": "https://mastodon.cr.yp.to/users/djb", "to": [ "https://www.w3.org/ns/activitystreams#Public" ], "cc": [ "https://mastodon.cr.yp.to/users/djb/followers" ], "sensitive": false, "atomUri": "https://mastodon.cr.yp.to/users/djb/statuses/110911562980768637", "inReplyToAtomUri": null, "conversation": "tag:cr.yp.to,2023-08-18:objectId=27031:objectType=Conversation", "content": "<p>Just uploaded new version of my paper &quot;Understanding binary-Goppa decoding&quot;: <a href=\"https://cr.yp.to/papers.html#goppadecoding\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">cr.yp.to/papers.html#goppadeco</span><span class=\"invisible\">ding</span></a> Includes detailed comparisons of all ten theorems to formalizations of the theorems in HOL Light and in Lean. Also explains how to run HOL Light and Lean to verify the proofs.</p>", "contentMap": { "en": "<p>Just uploaded new version of my paper &quot;Understanding binary-Goppa decoding&quot;: <a href=\"https://cr.yp.to/papers.html#goppadecoding\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">cr.yp.to/papers.html#goppadeco</span><span class=\"invisible\">ding</span></a> Includes detailed comparisons of all ten theorems to formalizations of the theorems in HOL Light and in Lean. Also explains how to run HOL Light and Lean to verify the proofs.</p>" }, "attachment": [], "tag": [], "replies": { "id": "https://mastodon.cr.yp.to/users/djb/statuses/110911562980768637/replies", "type": "Collection", "first": { "type": "CollectionPage", "next": "https://mastodon.cr.yp.to/users/djb/statuses/110911562980768637/replies?only_other_accounts=true&page=true", "partOf": "https://mastodon.cr.yp.to/users/djb/statuses/110911562980768637/replies", "items": [] } } }