Logician, historian and philosopher of logic, mathematics, and computability Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back
{
"@context": [
"https://www.w3.org/ns/did/v1",
"https://w3id.org/nostr/context",
"https://w3id.org/security/suites/ed25519-2020/v1"
],
"id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"verificationMethod": [
{
"id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2#key1",
"controller": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"type": "SchnorrVerification2025"
}
],
"authentication": [
"#key1"
],
"assertionMethod": [
"#key1"
],
"profile": {
"id": "did:nostr:event:8fd207112c175d57e290ae8b4f691c2c8f6d568aea430d4c09b2c0897ec25b95",
"name": "Richard Zach",
"about": "Logician, historian and philosopher of logic, mathematics, and computability\n\nCopied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back",
"picture": "https://media.mathstodon.xyz/accounts/avatars/109/264/278/157/213/832/original/59ccbf4598016f25.jpg",
"banner": "https://media.mathstodon.xyz/accounts/headers/109/264/278/157/213/832/original/e68892ca2ee24b4e.jpeg",
"nip05": "rrrichardzach@mathstodon-xyz.mostr.pub",
"created_at": 1760340246,
"updated_at": "2025-10-13T07:24:06.000Z"
},
"service": [
{
"id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2#bitcoin-taproot",
"type": "TaprootAddress",
"network": "tbtc4",
"serviceEndpoint": "tb1ptq96nsuyn6qdtr9u6trkw28nx350g8z589khxetpx7ezg7qlghfqha0ppl"
},
{
"id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2#bitcoin-mainnet-taproot",
"type": "TaprootAddress",
"network": "btc",
"serviceEndpoint": "bc1ptq96nsuyn6qdtr9u6trkw28nx350g8z589khxetpx7ezg7qlghfqq4ewms"
}
]
}
{
"_id": "67fa98f001976a34b64ea54a",
"pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"content": "{\"name\":\"Richard Zach\",\"about\":\"Logician, historian and philosopher of logic, mathematics, and computability\\n\\nCopied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/109/264/278/157/213/832/original/59ccbf4598016f25.jpg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/109/264/278/157/213/832/original/e68892ca2ee24b4e.jpeg\",\"nip05\":\"rrrichardzach@mathstodon-xyz.mostr.pub\",\"fields\":[[\"Website\",\"https://richardzach.org/\"],[\"Open Logic Project\",\"https://openlogicproject.org/\"],[\"Github\",\"https://github.com/rzach\"],[\"Interests\",\"#Logic #ProofTheory #HistMath #PhilSci #ComputingHistory\"]]}",
"created_at": 1760340246,
"id": "8fd207112c175d57e290ae8b4f691c2c8f6d568aea430d4c09b2c0897ec25b95",
"kind": 0,
"sig": "704d75c378417ababcba33091b0ba048e41e20f788542f3345f4439da4e95734851910720556ca12321bc1a39a5a3dc4e412d35b887bcb7b74d012bc3422ddda",
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/rrrichardzach",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"updated_at": "2025-10-13T07:24:06.000Z"
}