{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 05:11:46.414Z","domain":"mathstodon.xyz","followerCount":16,"followers":"https://mathstodon.xyz/users/shinghin/followers","following":"https://mathstodon.xyz/users/shinghin/following","followingCount":49,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/392/508/047/202/572/original/a75d610439eacd63.jpg","id":"he0b91m4tc0v0hl","inbox":"https://mathstodon.xyz/users/shinghin/inbox","iri":"https://mathstodon.xyz/users/shinghin","isLocal":false,"last_fetched":"2025-08-03 17:35:18.576Z","outbox":"https://mathstodon.xyz/users/shinghin/outbox","preferred_username":"shinghin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwJSPd6AyeWfP8UJiVYRX\nAuRR1fYsKRbK+/my7F/nqb4qC1kA2Nc30AzHn2IFAqqEeK/TriLaY0BnNRdtanbc\nxrm4IAzM1R1wOKIfsZl2/gSrJzcr/XCBwjThMnRoKdzQd2YV2C94C6qOylxMZMN5\nnysHTMiSudCzwTh1dd47yOPhXQrYOyWKYEIFNY8fWAvILvN0R0z1nDTqguowcjyv\nX7rTGFoqMe7XFHy1ig/v8hqCtZW4s64Se5hupwEihmCrB989ghY/nYb/PJqpibt1\n8TrGkJ6LRiM1wDVksaiGfCgcdcxDYCGroA/XtWBNlTxtiR9mt+W8BIknIhtPYXc9\nIwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-11 00:00:00.000Z","summary":"

PhD student interested in logic and programming languages

","updated":"2025-08-03 17:35:18.576Z","user":"","username":"Shing Hin Ho"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 11:33:07.589Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/PaolaCattabriga/followers","following":"https://mathstodon.xyz/users/PaolaCattabriga/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/862/598/055/982/453/original/474609b835f504b6.png","id":"c5uo033h68isjk0","inbox":"https://mathstodon.xyz/users/PaolaCattabriga/inbox","iri":"https://mathstodon.xyz/users/PaolaCattabriga","isLocal":false,"last_fetched":"2025-08-03 17:35:18.760Z","outbox":"https://mathstodon.xyz/users/PaolaCattabriga/outbox","preferred_username":"PaolaCattabriga","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr0BW+trcbRcoawlfxZA6\n7QQLb+NoMaRC5Bj8biTgRQkQEF+YJnIUZbLiukoemp4xf/5Gv0H3lIdYwH1XFrct\n/9U1YeWxMYDY+zF/H9AMn4WeJccWOqdMecEZiJx8dQ2MpmYEPJ0/Xz1YjwpJI9HD\nApw/Gcp4uqnt3EoU1X8ylYRJ3eVWpQ28WUA9D+c60Ty4gH+T50BzE9HH/a82Dg0L\ncqS3rUAb/Eqd2Q5K40pPa+Jvr9y0xxY45wVVjY8WRak2ef+j2h6UHgsT7qeSKjVP\ngIAV2lCEI6ic3m8SBjolinvUOrDptIwI9+AGCHZQvSqxZ5EDjkPjyOtPJEI7CBnl\ndwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-16 00:00:00.000Z","summary":"

Logician, interested in self-reference procedures, diagonalization, logical foundations, computability.

Phd and Post PhD - Unaffiliated reserarcher

","updated":"2025-08-03 17:35:18.760Z","user":"","username":"Paola Cattabriga"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 18:40:25.714Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/kevinlopaq/followers","following":"https://mathstodon.xyz/users/kevinlopaq/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/885/036/582/942/509/original/270ce38da77afbda.jpg","id":"1xy2v6f4be81252","inbox":"https://mathstodon.xyz/users/kevinlopaq/inbox","iri":"https://mathstodon.xyz/users/kevinlopaq","isLocal":false,"last_fetched":"2025-08-03 17:35:18.789Z","outbox":"https://mathstodon.xyz/users/kevinlopaq/outbox","preferred_username":"kevinlopaq","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA28onTFkUP17d8XAM+Fcl\nvO+bcjgpE+D1O5EcoqrUVuPRfMqQHDMagohUx+Ht4nYq83oe7qJgkweW37Oajt0U\nfM8qcdmnbagcgJdDNfBcodmMck0UJIHBnT7P2NDeIuf8P/mSADYpb9L0m82MgM32\nCPgT/gi8q9FqwkY1fP+6775Ds/g84Tm5rQkblx81cgk5yejEZ0uvrwsnh2wRT6Qm\n4jdTlaKNDrgALzadyfMJSQHyYnf57F6SvylO53g/aIR3V9Gkmz3zEApFSE5pJiuk\nSWd0sYImlRZWpKJtFviJHI42Bcf1BWt7AmfCF4xcram6hE8oOyeT/K8P0+biti5J\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-24 00:00:00.000Z","summary":"

CS PhD Student @ IMDEA Software in Madrid. Interested in logic/type theory and the semantics of programming languages

","updated":"2025-08-03 17:35:18.789Z","user":"","username":"Kevin López-Aquino"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:22:08.804Z","domain":"mathstodon.xyz","followerCount":23,"followers":"https://mathstodon.xyz/users/yaarur/followers","following":"https://mathstodon.xyz/users/yaarur/following","followingCount":18,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/184/930/765/935/967/original/e423f30f253edc92.jpg","id":"4hsa3p600696shf","inbox":"https://mathstodon.xyz/users/yaarur/inbox","iri":"https://mathstodon.xyz/users/yaarur","isLocal":false,"last_fetched":"2025-08-03 17:35:18.817Z","outbox":"https://mathstodon.xyz/users/yaarur/outbox","preferred_username":"yaarur","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp4j4K+CZgmgohiYy8YN4\nFxDwsIjEkbHfQQjfhnKsykkn4M1jlsGGm/XFvy18w79y61g2G15qzOsFm/4GRQl3\nGfincILknhxpB13IvYdNnHv5veTA12ZGpJ45U2XCt+GVDUMf5/nokENquZ38JBjP\nStOw55ZRyYQg2NcttyiXLx0e4bsZe96V0YOV18Q7XT8UfMv/tPwp2hRgpLK5679f\n4qGVwspWXoRdUAosJLDw2QbOmJVz1DBCO3uwsNdDbsDv16OKFy21/RAjxiQbts/a\nGxxvJLSvU5zZwCiW1912EWqbmBTtaQgmNbhf7Y//TGy484VgSQZiOjkb6o/ioYI8\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-17 00:00:00.000Z","summary":"

Set theoretic logician.
Postdoc at the University of Helsinki

","updated":"2025-08-03 17:35:18.818Z","user":"","username":"Ur Ya'ar"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 13:14:00.318Z","domain":"mathstodon.xyz","followerCount":73,"followers":"https://mathstodon.xyz/users/christianjaeh/followers","following":"https://mathstodon.xyz/users/christianjaeh/following","followingCount":733,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/403/811/627/484/031/original/89a485befaa7d3c3.jpg","id":"s1ce2o1e53x34l9","inbox":"https://mathstodon.xyz/users/christianjaeh/inbox","iri":"https://mathstodon.xyz/users/christianjaeh","isLocal":false,"last_fetched":"2025-08-03 17:35:18.998Z","outbox":"https://mathstodon.xyz/users/christianjaeh/outbox","preferred_username":"christianjaeh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4UIeR6ZwS27F91WBHS0\n5AaU7vhjzxx0+tsdheLK5P370QhCx6klGMOkgjh0WQr/5cUUUkinuCcZDmU/KUPz\nDNOMmg/LQ1ftx5jADnq/C/4kyI/5rfSFZP+hncAv0A9lP9McNYj0wfjOul4kK2bo\n5Bq/EXolYXu3r03l2r7qIYpUxWmMZsGtG7kio+GS46CnHwaqCGE1zW57dkjexT34\nJH9vFKXR9/OHh3pPdqSnyYQm9EPDbJfqH4j0HRJsK530wcfeURb1mRFwAfSyfOMW\nLYpyAK1lKl//rJjcTJunD3lUJnif1xv2/X832KjqHTwiJyuSyBJCkJazEnNcFYDz\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-25 00:00:00.000Z","summary":"

I am a mathematician interested in all things #Analysis real and complex. In particular #PDE in the tradition of Hörmander.

","updated":"2025-08-03 17:35:18.998Z","user":"","username":"Christian Jäh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 22:57:36.507Z","domain":"mathstodon.xyz","followerCount":135,"followers":"https://mathstodon.xyz/users/dingc/followers","following":"https://mathstodon.xyz/users/dingc/following","followingCount":323,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/041/136/912/366/160/original/b5cbd4282a39e511.png","id":"c9204ti15q25488","inbox":"https://mathstodon.xyz/users/dingc/inbox","iri":"https://mathstodon.xyz/users/dingc","isLocal":false,"last_fetched":"2025-08-03 17:35:19.026Z","outbox":"https://mathstodon.xyz/users/dingc/outbox","preferred_username":"dingc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyfnhgZq5C+jhOmgasNEz\n7QHj0A9rvlSFL9EE4c5amcbJXIty5RwlvORkw8rsMHqCsLNBXJg1Y/P4n0axYQxp\nqXbyM6NLqz71E2bfVBLS82k0+lBobTeYsL3zHGDTVbTqyZt2YfDjnI8/yT4c5nU7\n9/OrhvZ2+uTVh2gx9LEd4AIzgUXpkJ+eYC4p0n4jinu9OkkBt3ll4WlvXsiwoOUi\ntL/RUIWMd3G8Y9ySd/9l9mAOJsdsRggajFJxg/pb0xpWotHndrB7JHr7KZGFt4Ly\n2RpdRj/1D6AcD7BL4jvtQti+VFtGVwbBpYVs8aAKQQSFmzRt1+xbpxWe9QktRXl6\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-10 00:00:00.000Z","summary":"

Account of Functor Network - a blog platform for mathematicians.

","updated":"2025-08-03 17:35:19.026Z","user":"","username":"Functor Network"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:57:10.844Z","domain":"mathstodon.xyz","followerCount":74,"followers":"https://mathstodon.xyz/users/heili/followers","following":"https://mathstodon.xyz/users/heili/following","followingCount":66,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/092/135/286/757/438/original/fd966f7b90b408a8.jpg","id":"k8nb7h1feh33hj6","inbox":"https://mathstodon.xyz/users/heili/inbox","iri":"https://mathstodon.xyz/users/heili","isLocal":false,"last_fetched":"2025-08-03 17:35:19.053Z","outbox":"https://mathstodon.xyz/users/heili/outbox","preferred_username":"heili","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAh0ZAD+nm6S6lU/D3ZG6J\ncxHz/8gDntZtSD6hlLejdsMib093LEfHHeQdc0FGr1XNK2TKpdNOjI2tprbauBpC\nXPVJkT55ScDYlg1hovt9cnU7hA/DO/w3jkf9yfEItyn/7HK7wy7JcmGTfMTa85HH\nB4oF0gC4HoUSgiPE83qlx/O3IN3H8tfA/gMj0gLf/GQKra7j6oGnsBFKKftCQhjq\nzXr+6oKT/jjXJPSkekbdYZO5lLDE51THs0W4UaGPSXs5VL+Dk6oXbNRnLUgC4WM5\nTkacbhY0QeZ+B/7kDsY5ntku1PZ816EG8rKXKu2nRO9p8vcsQsAndGQ4STXb4nPq\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-06 00:00:00.000Z","summary":"

PhD student at Aarhus Uni
Formal Verification/Probability/Concurrency
If I cant have love, I want power.

(Mostly non maths related posting)

","updated":"2025-08-03 17:35:19.053Z","user":"","username":"Hei Li"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 14:26:41.515Z","domain":"mastodon.social","followerCount":39,"followers":"https://mastodon.social/users/sarantja/followers","following":"https://mastodon.social/users/sarantja/following","followingCount":22,"icon":"https://files.mastodon.social/accounts/avatars/111/937/436/410/284/551/original/46e43b1f04314264.png","id":"gf0hed123xcrk3d","inbox":"https://mastodon.social/users/sarantja/inbox","iri":"https://mastodon.social/users/sarantja","isLocal":false,"last_fetched":"2025-08-03 17:35:19.157Z","outbox":"https://mastodon.social/users/sarantja/outbox","preferred_username":"sarantja","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqn1vw2f5uB9buj7rEI+N\nvZemZCSsNewVIjsPI33pZ/86aTFAwjRAR8QhR2wL3JNlkm7VioDoBeBMzgzYHGuh\n+Bv5LTys2wia0erQMHNloqQmPS5GmJJUPzMUr/7JRJJ/C3eLRvqffSQP38sI5264\nzS+Y/ar6u7Xr8cO4st7VKYhUwgC2O4T1J9MetlXjAcvnQ7GIZbNSqvPocImbtHhN\n4Xk6e5lZqoyqS6dljJwwa3gnXpXaESfj5CI3ormzUoYhvyBvzVOLPCfGcf6v7loW\n/DZLdKk5WoaTmFUHEXMLiZe+UQrei+/IANwb7KnATzGK2cpD6eNeaWWwYd+OvgsJ\nQQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-15 00:00:00.000Z","summary":"

Working on getting a PhD via type-driven development @ TU Delft

","updated":"2025-08-03 17:35:19.157Z","user":"","username":"Sára Juhošová"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-03 17:35:19.186Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jemlord/followers","following":"https://mathstodon.xyz/users/jemlord/following","followingCount":0,"icon":"","id":"ol87c5wa96dkle3","inbox":"https://mathstodon.xyz/users/jemlord/inbox","iri":"https://mathstodon.xyz/users/jemlord","isLocal":false,"last_fetched":"2025-08-03 17:35:19.186Z","outbox":"https://mathstodon.xyz/users/jemlord/outbox","preferred_username":"jemlord","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnHsH7S/acr5woe47g1Tg\nT3JuLDXXVpfq1Vbcx8AKuPHwtdPDRLGcFFzQ9lP4rPNesOSYJnjPsIYcbT/nH5f3\nV1WIphyuZPQ6XM55Jpb3fruc1cmRsqjU5mfZg0ahM9jtH106rKzUMQL/uq5ofjwG\nD76tnNhKjm6drLoYykI1pIMHEwypHjNNji7Vr9nxyDEWxpls+OnFgd7Ahdtk/05W\ncrUaLjLMaPkCHXi2cu68ThSeMGVnsM8WZDmpjfhrxce+7gGSi8KV2vyF5F4L4l7e\nRDALQ+41VU0qyrR3SS+IgzEsuj24YkUth10NVovUCkZJ4xrPegEuoVXAM9NfzCZp\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-21 00:00:00.000Z","summary":"

CS PhD student at Cambridge

","updated":"2025-08-03 17:35:19.186Z","user":"","username":"Jem Lord"}],"page":1,"perPage":10,"totalItems":65,"totalPages":7}

Alvaro Pintado

Following