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.
{
"@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",
"Hashtag": "as:Hashtag"
}
],
"id": "https://mastodon.cr.yp.to/users/djb/statuses/110210546878026581",
"type": "Note",
"summary": null,
"inReplyTo": null,
"published": "2023-04-16T21:11:27Z",
"url": "https://mastodon.cr.yp.to/@djb/110210546878026581",
"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/110210546878026581",
"inReplyToAtomUri": null,
"conversation": "tag:cr.yp.to,2023-04-16:objectId=17671:objectType=Conversation",
"content": "<p>New formally verified proof of <a href=\"https://mastodon.cr.yp.to/tags/safegcd\" class=\"mention hashtag\" rel=\"tag\">#<span>safegcd</span></a> iteration bound: <a href=\"https://cr.yp.to/2023/hull-light-20230416.sage\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">cr.yp.to/2023/hull-light-20230</span><span class=\"invisible\">416.sage</span></a> (script for full run+extras: <a href=\"https://cr.yp.to/2023/hull-light-howto-20230416.sh\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">cr.yp.to/2023/hull-light-howto</span><span class=\"invisible\">-20230416.sh</span></a>) Advantages over previous formally verified proofs: (1) covers all input sizes; (2) finishes verifying in 10 minutes; (3) smaller TCB (HOL Light).</p>",
"contentMap": {
"en": "<p>New formally verified proof of <a href=\"https://mastodon.cr.yp.to/tags/safegcd\" class=\"mention hashtag\" rel=\"tag\">#<span>safegcd</span></a> iteration bound: <a href=\"https://cr.yp.to/2023/hull-light-20230416.sage\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">cr.yp.to/2023/hull-light-20230</span><span class=\"invisible\">416.sage</span></a> (script for full run+extras: <a href=\"https://cr.yp.to/2023/hull-light-howto-20230416.sh\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">cr.yp.to/2023/hull-light-howto</span><span class=\"invisible\">-20230416.sh</span></a>) Advantages over previous formally verified proofs: (1) covers all input sizes; (2) finishes verifying in 10 minutes; (3) smaller TCB (HOL Light).</p>"
},
"attachment": [],
"tag": [
{
"type": "Hashtag",
"href": "https://mastodon.cr.yp.to/tags/safegcd",
"name": "#safegcd"
}
],
"replies": {
"id": "https://mastodon.cr.yp.to/users/djb/statuses/110210546878026581/replies",
"type": "Collection",
"first": {
"type": "CollectionPage",
"next": "https://mastodon.cr.yp.to/users/djb/statuses/110210546878026581/replies?only_other_accounts=true&page=true",
"partOf": "https://mastodon.cr.yp.to/users/djb/statuses/110210546878026581/replies",
"items": []
}
}
}