{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 12:43:30.811Z","domain":"mathstodon.xyz","followerCount":75,"followers":"https://mathstodon.xyz/users/samkuhn/followers","following":"https://mathstodon.xyz/users/samkuhn/following","followingCount":660,"icon":"","id":"1p3yhgm08aw556r","inbox":"https://mathstodon.xyz/users/samkuhn/inbox","iri":"https://mathstodon.xyz/users/samkuhn","isLocal":false,"last_fetched":"2025-08-01 01:42:06.865Z","outbox":"https://mathstodon.xyz/users/samkuhn/outbox","preferred_username":"samkuhn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyfav9aeQYPfG5GJLwjrP\n3rFljo0RSb38FNbjC0kpt37FvAPjh8gCwMSEx4gQCxO9SEda/LOnBIxKaUuBsT1+\n9KLRJqRs/Wva5JypjpkTCNbPrkoOi3aIDlC/tcYCCDMXVpG5OVCzhn41OYmKD2uS\nt+yDL75gDUT6cwaglb/zd/gyUSEm0FnPH72XBsnr5x+DQEsGqLA7tIsQUERLbd1k\nQtdt98RGHVA0m1U6NohajLlx+n0vRp8dnr9v/1/25mLpl/4fyAPbsBPE61OX+U6S\nPDzq1fnVvuQgeLZF8P1Rt6OSNy4FYdVNL+YefFYWIR3dpEWvpKoLmHILyYqwjcZV\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"","updated":"2025-08-01 01:42:06.865Z","user":"","username":"Sam Kuhn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 07:43:34.423Z","domain":"mathstodon.xyz","followerCount":62,"followers":"https://mathstodon.xyz/users/ryanbrewer/followers","following":"https://mathstodon.xyz/users/ryanbrewer/following","followingCount":74,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/378/946/728/824/397/original/06aab7bc4de821ad.jpg","id":"6r9fx739r66deoo","inbox":"https://mathstodon.xyz/users/ryanbrewer/inbox","iri":"https://mathstodon.xyz/users/ryanbrewer","isLocal":false,"last_fetched":"2025-08-01 01:42:06.903Z","outbox":"https://mathstodon.xyz/users/ryanbrewer/outbox","preferred_username":"ryanbrewer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0t1ZHeEtdVatC/iuE5dE\njJbTaMwDiZ4AhjE4iSiIXl16yCmv9c/rM4rRZY2GljVKxUlfivKqb5XfX/xclnto\np4Og8jSAG4YtiPdmPAWK8s/EKR5ADiPX2HKRwuTTUIVw72b49Hjp5NNGxt4P3Qxi\nskVsQ8d1vI30hQVSXHNUKvoilGGgJFOiO6wyB1rsaAjS+2XDtfBWhGyAGdw/Lz2+\nlIeKxCLKyqzkB08pUb4qZMQI3lUbdwMAhEeutFXVMxynDPZ/pegea9QQH7RoM+cO\nCaEw55lYVNIcBc/6352616vArZrTQWyemUN10+ohWVToyxqo/gnxirClbP4wfORU\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-05-03 00:00:00.000Z","summary":"

Coder.
Bunch of interesting projects including SaberVM, Cricket, Arctic.
Love logic, philosophy, type theory, abstract algebra, and PLT.
Leftist.
He/him.

","updated":"2025-08-01 01:42:06.903Z","user":"","username":"Ryan Brewer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 09:11:50.640Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/roboguy/followers","following":"https://mathstodon.xyz/users/roboguy/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/737/030/408/352/original/4cac8a29c67f8332.jpeg","id":"8k9zt63f14vy11e","inbox":"https://mathstodon.xyz/users/roboguy/inbox","iri":"https://mathstodon.xyz/users/roboguy","isLocal":false,"last_fetched":"2025-08-01 01:42:06.940Z","outbox":"https://mathstodon.xyz/users/roboguy/outbox","preferred_username":"roboguy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx5LQt0OjELYxvyfXhJmG\nnxUN0XJbr7x2dNvw40LMAm3NvxEd7PSC570l56ElnIHQcmGaLy3SNkBe+1mGDjJ1\nRfAjxeCav0dY0UlGZvaknPTdVG2eg6Xithi4PbDxnr7USMX1eetRr6MJEE8nqcQy\nlfK+YtLzjduCTgadOdCRnCYiwunf0nWhBh1IXxUDnodd/cr69UQdYZoMgQVpRAYC\nZXcLxLkznzr0AikLUTUXR09Jr9Fu5X+PbfOKtZwKu2OhlHTUvOkJy6xnC2A/tync\nyZGPxRsb+ZxOceF/YFkMNNOszm4Qt2UlMy3m4LwG67nEgzVy3mtiBSPlOmKrMCJM\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

PhD student in PL

","updated":"2025-08-01 01:42:06.940Z","user":"","username":"David Young"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 21:33:12.277Z","domain":"mathstodon.xyz","followerCount":5372,"followers":"https://mathstodon.xyz/users/ColinTheMathmo/followers","following":"https://mathstodon.xyz/users/ColinTheMathmo/following","followingCount":7326,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/000/013/original/d3bb832f7c670bec.png","id":"mgeiv0s286w9727","inbox":"https://mathstodon.xyz/users/ColinTheMathmo/inbox","iri":"https://mathstodon.xyz/users/ColinTheMathmo","isLocal":false,"last_fetched":"2025-08-01 00:39:59.253Z","outbox":"https://mathstodon.xyz/users/ColinTheMathmo/outbox","preferred_username":"ColinTheMathmo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6OrmrQbTJl3U0FDjFjLq\nLyCZ8+V+XYSclQqm3PMrjmphEbhprMWUJlmHzpV1gGY9WS4JjS3IuM1sPopTNsCL\n9lerUbxE4NvHee/8S8zRQSVkZkEGU6ppB/i7dzScraZp7L2+R/fZGkYxjWB+zxn/\nWDW9pX/i4MofAecP3BeRRuglXW5aj04yWCZr23EiZ8uib4bGQboI0VH5dJ1eH1zR\ntdzOmS105RTGg4CiMuDht4V0gJuGiaR0d8CghGfBntfoC0sDmnCE/UdRj7aPgtqY\ng4+S9j37RYCoSzNfbsF9y5Za1Xl71TxkfmPefBFDh0peefOUTfbyHq2cWhTZ5xzQ\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-14 00:00:00.000Z","summary":"

Fulltime freelance provider of outreach and enhancement in maths ... I talk a lot. About maths.

I talk about other stuff too, like ballroom dancing, juggling, unicycling, education, engineering, software, and "other things".

But mostly about maths.

I tend to follow back, but only if you have something in your profile.

","updated":"2025-08-01 00:39:59.253Z","user":"","username":"Colin the Mathmo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 20:16:22.920Z","domain":"mathstodon.xyz","followerCount":1710,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":467,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"n75cr49c7pwd56g","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-08-01 00:39:53.790Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-08-01 00:39:53.791Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 16:08:00.953Z","domain":"mathstodon.xyz","followerCount":53,"followers":"https://mathstodon.xyz/users/jesyspa/followers","following":"https://mathstodon.xyz/users/jesyspa/following","followingCount":134,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/288/159/original/ae72fb4042b387bd.jpg","id":"8izp4z6wh5p643d","inbox":"https://mathstodon.xyz/users/jesyspa/inbox","iri":"https://mathstodon.xyz/users/jesyspa","isLocal":false,"last_fetched":"2025-08-01 01:42:06.981Z","outbox":"https://mathstodon.xyz/users/jesyspa/outbox","preferred_username":"jesyspa","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq9zlZr2aQBelStw+UcNQ\ngTpqjy8hz21Pi4kVMu9ZVHb4vnF61QAAe/UbIRr1SNPk1rfs8iV2xHrUkzdzF5pc\nFIigVgL6B2EsQO7gmqri9pBnDlTf6KK/idLOsk4GixkcCEWe4cCW+ixHaDokQWxX\nW6HLc0qfpLcrMwbanGVugSZiplc+CZYjoeGGtBhg7iSqpMFzLoh2A0pIOQi5ibX3\nt4Qem2Niaiko0MGqbrDKhBWBCUYbWiUtah45dpfif4/vCQ7oe1V1SFsXqRPn0eEd\ncisI3wh1EpkfIZ7uRVYfoZGIWCksE5Jfeu69L5Qy16JVH/hYEquNYvwDgDcGCaDj\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

I'm a lecturer at JetBrains and am finishing up my maths & CS PhD at Radboud University Nijmegen. Working on some formal verification stuff in Kotlin. Into maths, books, tea, board games, TTRPGs.

","updated":"2025-08-01 01:42:06.981Z","user":"","username":"Komi Golov"}],"page":1,"perPage":10,"totalItems":8,"totalPages":1}

wren_h

Followers