{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 23:13:55.566Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/adldng/followers","following":"https://mathstodon.xyz/users/adldng/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/070/316/751/634/344/original/16d7c7f9a011254d.jpeg","id":"ay0d9l9l41t763d","inbox":"https://mathstodon.xyz/users/adldng/inbox","iri":"https://mathstodon.xyz/users/adldng","isLocal":false,"last_fetched":"2025-08-26 07:14:46.659Z","outbox":"https://mathstodon.xyz/users/adldng/outbox","preferred_username":"adldng","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw01xh0OBWGutWtquTZAy\nyjNLQKh7+jbKe/J9poEkp6Ip9jqQ9HMmvNkYh/aleQo9fuiHHhlBe8qowDsflcd+\nebA7/5MWaMSo3mZDY2ZrbkcHo/jFu3GWauqW+WgHTPJiSiAM5p8y/L3CkS+phU1a\nnq/gaTuDAuU+RsC6ug3w3HKeIBzGlwrSP7D7uU+y/JD5Y+yO1W6hzmintHrMZxH6\nVejU27rzwRhQpjv06s0tP4seQFE7l2Y8k/pIrbKSOLSGltczXhO8SN1ULUvcmdNT\nQpTFAZXv5ISpb50pz76P5k5PErfPos/aEj75wETyyIH405pzOqoQZoqdbd6mYZJS\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-22 00:00:00.000Z","summary":"","updated":"2025-08-26 07:14:46.660Z","user":"","username":"Adela"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 07:02:09.138Z","domain":"mathstodon.xyz","followerCount":78,"followers":"https://mathstodon.xyz/users/heili/followers","following":"https://mathstodon.xyz/users/heili/following","followingCount":70,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/092/135/286/757/438/original/fd966f7b90b408a8.jpg","id":"x4d0vw2t400eeoq","inbox":"https://mathstodon.xyz/users/heili/inbox","iri":"https://mathstodon.xyz/users/heili","isLocal":false,"last_fetched":"2025-08-26 07:14:46.941Z","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-26 07:14:46.942Z","user":"","username":"Hei Li"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-21 08:43:30.961Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/uyavuz/followers","following":"https://mathstodon.xyz/users/uyavuz/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/241/260/599/966/691/original/2483b9a52d3f00c7.png","id":"9v4b0aihp31a2n7","inbox":"https://mathstodon.xyz/users/uyavuz/inbox","iri":"https://mathstodon.xyz/users/uyavuz","isLocal":false,"last_fetched":"2025-08-26 07:14:47.096Z","outbox":"https://mathstodon.xyz/users/uyavuz/outbox","preferred_username":"uyavuz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAueiZ3a4/CIKQQcaxU0s5\nic/r8ickODGdlqW3IAQYw0T9zVja3iWl70BkG2urt3Cq1/t541682vrQVw8RKi++\nWpx6fKT1u/NqXdcmIU5SD8L1veIuQ7pXL3dn7upy7CfiGBLvfJD4RZd77BCr93oP\nqgkjZbs55HlMflsYl/iLRz5j4VBkkymO/5kO6e7s56YSxN8+dYVkEIPaJ0/sl1Qy\n7GUQSebE8vpU2M4y41dFpFm4zH53ppqumP4VjV3WW5nTJuOUTSAoCE3w9z+72I6P\nRFRmC6dmfu5N8yCEIxtwAwcqA4RtxBQUbTn0kfi2/pyobYyt19wMeCZb9O/z9RU1\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-03 00:00:00.000Z","summary":"

PhD student @ BU POPV. TLA⁺/TLAPS enthusiast. Enjoyer of declarative/hierarchical proofs, NYT word games, and serial commas.

The "ğ" is pronounced like the "n" in damn.

","updated":"2025-08-26 07:14:47.096Z","user":"","username":"Uğur Y. Yavuz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 19:51:08.918Z","domain":"mathstodon.xyz","followerCount":120,"followers":"https://mathstodon.xyz/users/rahulc29/followers","following":"https://mathstodon.xyz/users/rahulc29/following","followingCount":309,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/000/576/441/398/077/original/cc969ce3469b42dd.jpeg","id":"tupsagur0gg7329","inbox":"https://mathstodon.xyz/users/rahulc29/inbox","iri":"https://mathstodon.xyz/users/rahulc29","isLocal":false,"last_fetched":"2025-08-26 07:14:47.251Z","outbox":"https://mathstodon.xyz/users/rahulc29/outbox","preferred_username":"rahulc29","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4F6FWT6SX9m3x2teRuiY\nzIwmlYKz8fOEwkb7lu6zAO/IWRXsxgOS93UVT3Zkuvn7WTGLKizSSgfTR38yen9o\nh0AzXpSZo8pbN3VXSZ+bzQv8Ui8UX5YpbUwA46ohx2NWhMjty1ks6sdLvLK5kAut\nlb0BgJDZuTr/0doPQZz3uLPyRDrxy63eyig0NJ7g4Vs1gPPeHioiNyw0A3+TvG6B\n+FzAFMQjSmJTm+a1T59sjuobVmagMDLA5qPuI3bYxNGNvKNaj3Ffj/g3L41z0BeT\n/uJ5PJ36Gus9Y05/2zyJUF/I/n4pE8Sw9wA1J3wxk4kmzKxRl1joJm4J1bX3lyTi\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-03 00:00:00.000Z","summary":"

PhD student in the Logic and Semantics Group at Aarhus University. I have a general interest in (homotopy) type theory, category theory, domain theory, constructive mathematics and their applications to computer science.

","updated":"2025-08-26 07:14:47.251Z","user":"","username":"Rahul Chhabra"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-26 07:14:47.408Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/a9f8caee9b981011.jpeg","id":"aok362u60p23aa6","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-08-26 07:14:47.408Z","outbox":"https://mathstodon.xyz/users/zyang/outbox","preferred_username":"zyang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0kW4yO9lrk7bOzIjXf1c\nYAioFNv4UbQHLVcHLvyWf3wUajWdrBPOvK2yUu32mmPTOIXJGFbgNKwmIrGBUwd1\n6UoPy8FSO+KLUG/5nQZHdpm6T6vCRlvSo5EXXEE2iyAwEApTiFBc9Z/1UN2w0/GQ\n+ZSy9oNRvfKo6Ux8QqO3TuvOqMzOc/iZj1S6jSFSPREfnHttIFo2ckFDfab2voGn\n5A8uxqVgl6/eCIkrSoXjm7vsLtJamvoipNyE4P26HvOqHQBuRdnUq02Yb7j+RFcv\n2g4Q2tL7kF2Xij26sVSZjc7dUCVrYqiqh85ZQDBYGatckCp4va+92/KC7ek1Hv5b\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-14 00:00:00.000Z","summary":"

Postdoc interested in algebraic and logical methods in computer science at Imperial College London.

","updated":"2025-08-26 07:14:47.408Z","user":"","username":"Zhixuan Yang"}],"page":1,"perPage":10,"totalItems":4,"totalPages":1}

Chentian Wu

Followers