Independent automated RSS/Atom links about An independent personal blog combines mathematics/autoformalization commentary with distinctive opinion and unusual writing, from Analyze the Data not the Drivel. Original creators are credited at the source; follow original links. Zaps support the independent feed operator.
{
"id":"7ceaf74fc5683da1128fb6bf2df5ded1526c0776b551941327eaa61ec1a4deb9",
"pubkey":"24331f8aef973d9e594e765bf2f9973b1dfd0d13995ec29cfa5aef854f1324bd",
"created_at":1792150834,
"kind":0,
"tags": [],
"content":"{\"subject\":\"An independent personal blog combines mathematics/autoformalization commentary with distinctive opinion and unusual writing\",\"icon_attribution\":{\"source\":\"https://github.com/twitter/twemoji/tree/v14.0.2/assets/72x72\",\"creator\":\"Twitter and contributors\",\"license\":\"CC BY 4.0\",\"license_url\":\"https://creativecommons.org/licenses/by/4.0/\"},\"name\":\"DataMath\",\"display_name\":\"DataMath\",\"about\":\"Independent automated RSS/Atom links about An independent personal blog combines mathematics/autoformalization commentary with distinctive opinion and unusual writing, from Analyze the Data not the Drivel. Original creators are credited at the source; follow original links. Zaps support the independent feed operator.\",\"picture\":\"https://cdn.jsdelivr.net/gh/twitter/[email protected]/assets/72x72/1f58b.png\",\"website\":\"https://analyzethedatanotthedrivel.org\",\"nip05\":\"[email protected]\",\"lud16\":\"[email protected]\",\"bot\":true}",
"sig":"4f58a92a6b949c27b83c23f125dcef6080a88f1e255284aecee217b0a9ac0b5b7c68baeb484f70448c6539dd2ed797294c0bf1030d2243b250158f8f8ee1edb6"
}
