Event JSON
{
"id": "ba55847d8303d73e980f6e8fd8c7c2e8e9b0d19ba486650d8b4b9cdfa8c3f31a",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1789063153,
"kind": 0,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "{\"name\":\"José A. Alonso\",\"about\":\"Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/000/130/356/original/5493106ed84056f5.png\",\"nip05\":\"Jose_A_Alonso@mathstodon-xyz.mostr.pub\",\"fields\":[[\"Website\",\"https://jaalonso.github.io/\"],[\"Twitter\",\"https://twitter.com/Jose_A_Alonso\"],[\"Blog\",\"https://www.glc.us.es/~jalonso/vestigium/\"],[\"GitHub\",\"https://github.com/jaalonso\"]]}",
"sig": "9504fcb4e732b5198fb0c748a93a5a064374c6ca2368e0abb440e77584cdccd5e7adf61bbc88048d7427cc70c7427388ccbfa84c82f8c9033e8c987e071032f0"
}
