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"
}
],
"id": "https://mathstodon.xyz/users/jsm28/statuses/112136460543349970",
"type": "Note",
"summary": null,
"inReplyTo": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342",
"published": "2024-03-22T00:16:37Z",
"url": "https://mathstodon.xyz/@jsm28/112136460543349970",
"attributedTo": "https://mathstodon.xyz/users/jsm28",
"to": [
"https://www.w3.org/ns/activitystreams#Public"
],
"cc": [
"https://mathstodon.xyz/users/jsm28/followers",
"https://mathstodon.xyz/users/ykonstant"
],
"sensitive": false,
"atomUri": "https://mathstodon.xyz/users/jsm28/statuses/112136460543349970",
"inReplyToAtomUri": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342",
"conversation": "tag:mathstodon.xyz,2024-03-21:objectId=89813587:objectType=Conversation",
"content": "<p><span class=\"h-card\" translate=\"no\"><a href=\"https://mathstodon.xyz/@ykonstant\" class=\"u-url mention\">@<span>ykonstant</span></a></span> I find it unfortunate that a lot of projects to formalize some significant piece of mathematics in Lean result in a declaration of victory when there's a complete formal proof in its own repository, with material only arriving in mathlib months or years later if at all. To my mind, getting a complete formal proof in its own repository is more like a half-way milestone than a completed project, and getting things into mathlib in appropriate generality, so they stay maintained and can be reused in other proofs, is if anything the more important half of the project.</p>",
"contentMap": {
"en": "<p><span class=\"h-card\" translate=\"no\"><a href=\"https://mathstodon.xyz/@ykonstant\" class=\"u-url mention\">@<span>ykonstant</span></a></span> I find it unfortunate that a lot of projects to formalize some significant piece of mathematics in Lean result in a declaration of victory when there's a complete formal proof in its own repository, with material only arriving in mathlib months or years later if at all. To my mind, getting a complete formal proof in its own repository is more like a half-way milestone than a completed project, and getting things into mathlib in appropriate generality, so they stay maintained and can be reused in other proofs, is if anything the more important half of the project.</p>"
},
"attachment": [],
"tag": [
{
"type": "Mention",
"href": "https://mathstodon.xyz/users/ykonstant",
"name": "@ykonstant"
}
],
"replies": {
"id": "https://mathstodon.xyz/users/jsm28/statuses/112136460543349970/replies",
"type": "Collection",
"first": {
"type": "CollectionPage",
"next": "https://mathstodon.xyz/users/jsm28/statuses/112136460543349970/replies?only_other_accounts=true&page=true",
"partOf": "https://mathstodon.xyz/users/jsm28/statuses/112136460543349970/replies",
"items": []
}
},
"likes": {
"id": "https://mathstodon.xyz/users/jsm28/statuses/112136460543349970/likes",
"type": "Collection",
"totalItems": 1
},
"shares": {
"id": "https://mathstodon.xyz/users/jsm28/statuses/112136460543349970/shares",
"type": "Collection",
"totalItems": 0
}
}