{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 14:38:58.052Z","domain":"mathstodon.xyz","followerCount":7,"followers":"https://mathstodon.xyz/users/oneofvalts/followers","following":"https://mathstodon.xyz/users/oneofvalts/following","followingCount":57,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/833/887/063/355/228/original/98b4626490bf14c7.jpeg","id":"b0h51id52wx914w","inbox":"https://mathstodon.xyz/users/oneofvalts/inbox","iri":"https://mathstodon.xyz/users/oneofvalts","isLocal":false,"last_fetched":"2025-07-31 10:35:29.549Z","outbox":"https://mathstodon.xyz/users/oneofvalts/outbox","preferred_username":"oneofvalts","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArQdbKfLDGDVDfaN3WX8t\nWzAdx7UYUtFIpeK1EMB5yp72vSUfVVsGuASWWUBeYD4nBy8Pbho+sCIhAkHTpiIW\nTXjGUURnfKOw6X1m/NAuLhVzrZyrtgv0HE8sdxR/McbJtXYT0s3/WCqthEyMp1lP\noFJaCQmzAeuJ8GnoS/vgerQm1TDP31i0FrSmLb1hTC67kW7ZokUUnDPwVCm+CwMP\nmT3mOX9WCABzrzi1Wn56MS6LiVCxtEhjGYTIH7JPAbcmSPuRrIzL+WZP6+grIe3j\nJX2vblbuqnKsEC8NpNNZ0dBjapaE1WCn60stIjf3Qz0VwKhl+MooJDBYdTznkl6q\n7QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-09 00:00:00.000Z","summary":"

Mathematics graduate from Galatasaray University. I am interested in type theory and proof assistants. Currently formalizing Desargues's Theorem in Lean.

","updated":"2025-07-31 10:35:29.549Z","user":"","username":"Abdullah Uyu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 20:31:23.710Z","domain":"mathstodon.xyz","followerCount":53,"followers":"https://mathstodon.xyz/users/WelcomeBot/followers","following":"https://mathstodon.xyz/users/WelcomeBot/following","followingCount":4444,"icon":"","id":"7gl3zz0q12k11k9","inbox":"https://mathstodon.xyz/users/WelcomeBot/inbox","iri":"https://mathstodon.xyz/users/WelcomeBot","isLocal":false,"last_fetched":"2025-07-31 10:35:29.588Z","outbox":"https://mathstodon.xyz/users/WelcomeBot/outbox","preferred_username":"WelcomeBot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoIynOv9PL8ykuMv50oLy\nCIF0v/gnKzA2cGft60Aqsi8UYJ1m0CINbG3jxzuBhvemc/tst6ifBWgyhB6d6PjF\nNzzqQw4YwT01HWQxU15yhla7PqkfBusRu+nldRq6AIUTfsM4WmbC7MJPK8MWwcDr\nPIe2DZEuxvuj8d6Ci3wBggDU0NleVDWAKwbRshMHmoJc6xH1R/ri1GSYKhedQM5O\n1E8SBLce0Qzae5K/h4oIyClhaAB9dhmahLWgEuP1+62WXhKuV8X5mRtwJyVz0ikl\nHch4Kn9jwDh/+qrB73IreIqE1rp98RFfrdKMAhKHAiSirPcNA79oruEH0t5j2z7z\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-14 00:00:00.000Z","summary":"

I'm here to welcome people to Mathstodon. My "boss" is @ColinTheMathmo, so feel free to ask him any questions.

","updated":"2025-07-31 10:35:29.589Z","user":"","username":"Welcome 'bot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 10:35:29.628Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/GlebChili/followers","following":"https://mathstodon.xyz/users/GlebChili/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/375/310/807/813/281/original/25c5bfe60c8cee0c.png","id":"c6f8360y4n509zl","inbox":"https://mathstodon.xyz/users/GlebChili/inbox","iri":"https://mathstodon.xyz/users/GlebChili","isLocal":false,"last_fetched":"2025-07-31 10:35:29.627Z","outbox":"https://mathstodon.xyz/users/GlebChili/outbox","preferred_username":"GlebChili","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0R8gLVPtgCoJ1K1iHBZM\nSJK+ijvW7y3NPW2NXhx8pZ8v4StodPNNsvfGOLPUItj9josF5Swe8LJ30niVNv9M\nTtxNsjAFWBQdnKJqKPBq/a1QGw2i++SkENt1vqT8D748ByGVZO89kZ03o5s/fRbd\nB3uJCdQBRTxWFbWAW8aewTctRTU6mlZPUy5mIAYSFaUw/oacDeYcRJ0avnlprGLY\nscZfCFoqFxKq6ol120zjp66a/KQX8tUlt/hy6+GACTsyh7vAHZYOaX1fAPwXJRtB\niKeMEoTJDmxkjad8aTZBcJ5uQocD8qvqkedMiLX2ISOTYBQmFB4jpfX8YjrjILE9\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Graduate (master degree) mathematics student at HSE University (Moscow). Mathematical logic, type theory, and computer science. Haskell Developer at Moscow Center for Continuous Mathematical Education. Opinions are my own.

","updated":"2025-07-31 10:35:29.628Z","user":"","username":"Gleb Krasilich"}],"page":1,"perPage":10,"totalItems":3,"totalPages":1}

Vitalii Guzeev

Followers