Event JSON
{
"id": "15ff187d18717a85c63ac9a9a63b9e69c3cae4538bf04f5b386d5c0cc5c5c29f",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1759476306,
"kind": 1,
"tags": [
[
"t",
"physics"
],
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"t",
"haskell"
],
[
"t",
"functionalprogramming"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/115309039198176339",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Readings shared October 2, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/03-readings_shared_10-02-25 #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Physics",
"sig": "d83900f5a5f4e9d6850011bf15dd07315f48901a9f7e84eacfc87b4fb807da487a31e7128aca1fad260a742dbf92dda554c5460d5d9c8e2267349cb11cdd4e69"
}