{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 05:00:39.463Z","domain":"mathstodon.xyz","followerCount":22,"followers":"https://mathstodon.xyz/users/okahn/followers","following":"https://mathstodon.xyz/users/okahn/following","followingCount":85,"icon":"","id":"eo589wvq8ch89s4","inbox":"https://mathstodon.xyz/users/okahn/inbox","iri":"https://mathstodon.xyz/users/okahn","isLocal":false,"last_fetched":"2025-12-20 23:30:11.360Z","outbox":"https://mathstodon.xyz/users/okahn/outbox","preferred_username":"okahn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArT+9QfGdXUYmCsOKwuc0\nxSC3wYLCzBzacamiXp49Lx3zpaeRC/BiT6Q0LFHllQM7R0C4N5gFsgp+mYgXVpgG\nO4vz6fM3tkvzEvoU0bD16eyS1f28x0+3ljkQ5IM8bxags4lxU5XfPzGcRkeaMRHu\nW9q1dQS97gL040G1jwg6C6K1cR7f9sE0fbKvYaI+j8pJJJLCBTPE3fKra5spMOQw\nRB3HteJtVB64ZCLYp0XLfQonU3CGOoEt3SsG7roIL0qQDf1NXBnxa/m88EMA5l7w\nBHoPwIGl9lLZpPvJeAdRiOSzH3dxYuqjM/zYK4jSHsTwYobECaJOJ3UI72/FnfaY\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-06 00:00:00.000Z","summary":"

Working computer scientist based in #Pittsburgh. Interested in foundations and computational complexity.

","updated":"2025-12-20 23:30:11.360Z","user":"","username":"Owen Kahn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-30 13:49:20.481Z","domain":"discuss.systems","followerCount":22,"followers":"https://discuss.systems/users/amoine/followers","following":"https://discuss.systems/users/amoine/following","followingCount":46,"icon":"https://fd.discuss.systems/accounts/avatars/115/323/421/934/178/238/original/df8db9413673c712.png","id":"opqf30gwe3h50mr","inbox":"https://discuss.systems/users/amoine/inbox","iri":"https://discuss.systems/users/amoine","isLocal":false,"last_fetched":"2025-12-20 23:30:11.686Z","outbox":"https://discuss.systems/users/amoine/outbox","preferred_username":"amoine","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAl8Z8QEQl+2h81j1+d8uZ\n9tBBe32W7Q/6+M4rLitcd2f8MADDBe3jgvW6olMN1fG1kEiEKPLHmHz6Gnxpp1GZ\nVRq7XEbEO5X2pDbWAvtRm99ZGqCsdmmMRPqJOYvlbmiTmibTd8CHmQWPaSIDZGmG\nzeY9Zsmlk6Y2U8zzlk0MEJxAoGkMY5ZSNR1LZ/vwouK66uO5Mk4EpsFLLqancXUB\nZuS7Mo51dXUAwWhepIot6H01gSiDUYRypEIC2FAN+7MGGrpjMGFQm/yp9kuqZEHG\nqaiAPQ/9s/vU/ghO/Tlc0JC5q1HTBRP00mm/0O0jswprBJyaT1vikBXozdQHcGE/\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-05 00:00:00.000Z","summary":"

Postdoc in PL at NYU - I'm proving things correct and efficient using separation logic.

","updated":"2025-12-20 23:30:11.686Z","user":"","username":"Alexandre Moine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-12 13:31:35.749Z","domain":"mathstodon.xyz","followerCount":56,"followers":"https://mathstodon.xyz/users/textproof/followers","following":"https://mathstodon.xyz/users/textproof/following","followingCount":173,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/113/084/327/798/641/original/8535f9996cacff3a.jpg","id":"od8ayree706zy91","inbox":"https://mathstodon.xyz/users/textproof/inbox","iri":"https://mathstodon.xyz/users/textproof","isLocal":false,"last_fetched":"2025-12-20 23:30:11.722Z","outbox":"https://mathstodon.xyz/users/textproof/outbox","preferred_username":"textproof","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvS3bsZufVTb8W9qKAuql\nFNiswTTNwoeVdEh0Fge8RX0rNhwIeX5keYSFzn0tY0eNtXHQ2KEFyGrw6+QaGuqe\nOftVE4Oq0JOzcXIRsbhsk2oN29xrOP0H5hV6oTp+DAb4QSz/Ckya8KDzp6UIu2uo\nqaXz3H7i3Tn89xesRi2Pc4kITtmG5OS6QSVoAwVgEWza9Oiusp/dxLC3fWCwRJOJ\nnl+DGo8iaXL8RIL1xyaHWA00aYaBvS1wGG43l0kKxIlwBKJ/VK64GW1Dav9ARrD+\nD3/DDtwtpKYy3tLtKZ9FRORhydscnjYCrjmz+YlP24sFYSb62NOC3FJH/s62A1fb\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-30 00:00:00.000Z","summary":"

Berlin-based logician and early retiree, formerly a freelance academic copy-editor. he/him (privacy-protecting they/them also fine) [Copied from @simrob]

","updated":"2025-12-20 23:30:11.722Z","user":"","username":"Charles"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 07:20:00.951Z","domain":"mastodon.social","followerCount":484,"followers":"https://mastodon.social/users/otterly_icy/followers","following":"https://mastodon.social/users/otterly_icy/following","followingCount":848,"icon":"https://files.mastodon.social/accounts/avatars/109/247/919/068/425/402/original/fd902544f90a3b93.png","id":"w4vida56onfd4c7","inbox":"https://mastodon.social/users/otterly_icy/inbox","iri":"https://mastodon.social/users/otterly_icy","isLocal":false,"last_fetched":"2025-12-20 23:30:17.032Z","outbox":"https://mastodon.social/users/otterly_icy/outbox","preferred_username":"otterly_icy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvd4Wif/jFHkccivBxz/W\n6gURq1MVtX9aNsSOO04a5Wi4uY02VSuR8EbuJAo6yiHLzwSqdGMa08UL5kuh/qNA\nDBPbr6zgkzUjcFadZsy8KjEJ6Vr9zJWnyisVSvHYNzE2OqniE7XwYF2GG/K0Q1uC\nJybCgYGJTJM2z7LmsSODiARcBfxXUt2RDs3xWECUiy3VI3s7DuQgMsAnFVbyE2ew\nqhFhLNzUFmdN0v+VlQFNlbN+Yauv6FBGAoJkcn21nxsrs1iwoXE3cUBZpNbTeok+\nG6+eWNizHOgMAatS2Vs/+cBID5DI0/sl3jwzczKzG7PhbLco2C6GjThJASy6Srj8\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Introvert with large information appetite. I follow a lot of interesting people and boost/favourite frequently, especially when images include alt-text. Follow-backs are welcome but not expected.

Profile image: one of Christopher Carlson's multi-scale Truchet patterns implemented in Tracery by Serin Delaunay: an abstract design of curved shapes in aqua blue on a deep turquoise background.

She/her. #NoBot #NoBridge #NoIndex #NoAI

","updated":"2025-12-20 23:30:17.032Z","user":"","username":"icy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-06 18:45:32.458Z","domain":"mathstodon.xyz","followerCount":37,"followers":"https://mathstodon.xyz/users/sprout/followers","following":"https://mathstodon.xyz/users/sprout/following","followingCount":156,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/304/606/614/228/942/original/b249cb25e7cf046e.png","id":"01x6ul4u6m438co","inbox":"https://mathstodon.xyz/users/sprout/inbox","iri":"https://mathstodon.xyz/users/sprout","isLocal":false,"last_fetched":"2025-12-20 23:30:17.071Z","outbox":"https://mathstodon.xyz/users/sprout/outbox","preferred_username":"sprout","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvtYINSoTYrHyj7TsbVCo\namCvW0hNQBgi4bbUbzOIOthot+N43xFCzaNBYZrjDQTUyYUlamVzBgBqlJl25Of2\nrCDhCTOSjsK9jsMB91W1ysj3pV4HqCJ5dUqDhLLCv/wdoUQ0ZR50o1dNOOG0f2Hb\nM+FNNtPrCDyQEfZb3O6ST3xvOdH6BdUXxqNy5szIqFpiCjgV8H5D4jKq+LTLpqZa\nsCslniJFhFBYC5qdcArrALjXlG4rz0wbIPjn29DTYLl71/jZgl1te+lEL8lGZgab\npe3a6gDuCtbijaIX9yqweiOYeikKWURkeOHoGZzGZ82xdphBKHJAFJiAoaGYyrAl\nswIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

Likes to shuffle bits. Developer of the Egel language, see https://egel-lang.github.io/

","updated":"2025-12-20 23:30:17.071Z","user":"","username":"Marco Devillers"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 14:04:01.898Z","domain":"iosdev.space","followerCount":610,"followers":"https://iosdev.space/users/kern/followers","following":"https://iosdev.space/users/kern/following","followingCount":1336,"icon":"https://cdn.masto.host/iosdevspace/accounts/avatars/109/819/848/398/552/051/original/21a52329b3645733.jpeg","id":"1fgsi9o37u8w5k8","inbox":"https://iosdev.space/users/kern/inbox","iri":"https://iosdev.space/users/kern","isLocal":false,"last_fetched":"2025-12-20 23:30:17.337Z","outbox":"https://iosdev.space/users/kern/outbox","preferred_username":"kern","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvrDZXZ3Nxv/TTzHXkW+g\n1oSeGq7lEpKEi6oCHhZRHTVYaz542qTF5aSJacwPfUWRqstaXHpPOE0B/W+fw3tY\nh/TJBEeM7ThTv4hKnsJc3TzNhqAJJCQJ1mYbrG/gxFBDCcCmjKTFJ1jcM4u2L7gq\nvei3+OYUC/qOul/wv9SvbK6dhCkaojkvSleKu4DVzK0oExa3762NcKzeWuasx24R\nmsXf5/49jb8wK9NlXUIS8+nNs/DCEwPqI0ciC2olHwyJVCGLX8PBD3705/oZLwrT\ngmJwhzrrUd33XsHXT6WBpChwBu7UMGSqyIeJwxeXs4sB1EoCuetmB1QztsqkdweQ\ndQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-06 00:00:00.000Z","summary":"

👋 Hi! I'm an indie/contractor who specializes in Apple platforms. Fully booked through September.

He/Him

Seattle, WA

Bodily Autonomy, Labor, Mutual Aid, I block not-sees

I mostly toot about 📱 #iOSDev, 💻 #macOS, ⌚️ #watchOS, 📺 #tvOS 🥽 #visionOS, but also 🚐 RV, 🥾 hike, 🏊‍♂️ swim, 🚴‍♂️ bike, 🏃‍♂️ run, 🧘‍♂️ yoga, 🏋️‍♂️ lift, 🥬 #WFPB 🕹 #retrocomputing too.

","updated":"2025-12-20 23:30:17.337Z","user":"","username":"Kern Jackson :xcode:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 22:12:04.125Z","domain":"sfba.social","followerCount":638,"followers":"https://sfba.social/users/soaproot/followers","following":"https://sfba.social/users/soaproot/following","followingCount":1480,"icon":"https://files.sfba.social/accounts/avatars/109/837/822/980/827/614/original/50e9144219a9ccba.jpeg","id":"byzf681y436m56r","inbox":"https://sfba.social/users/soaproot/inbox","iri":"https://sfba.social/users/soaproot","isLocal":false,"last_fetched":"2025-12-20 23:30:17.517Z","outbox":"https://sfba.social/users/soaproot/outbox","preferred_username":"soaproot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxl6hol1VxlVYNol1aKSA\nwAOIfKm/a/wjD5FlO9mpCg3Dey+bobF4RykmGeD4cWHQmQSGo/ksuIr1gPdtxqFe\nWvAWQcaZF/28uWpYWGYnix3xWoz231VaF7EQr/4kQoetG2+hdMTb/XHrjbp6NVGK\nWrEQa3y2yhUlESXTkx6CRyLMA1v8rXhYvLkPKdG0ZqlzWfuxl17CX7iZKeOqS97a\nEThRa2jWGe0jGTDVMlKgRIxKrJ+3Pz4V76wnj7YTX9kobdYpM3/IHN3quYQZgHHZ\nqoVuuogZCCMXLmdX+T7HB4xQSvQeCQUQ5qYZ8R32nsatlTYZjWoH9tEvmeCacVAp\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-10 00:00:00.000Z","summary":"

Also known.as: Jim Kingdon. Interested in: formal mathematics, software development, dance (especially country-western and #MorrisDancing, but many kinds), plants.

🏳️‍🌈 gay

Pronoun: he
San Francisco, CA, USA

I'm on Bookwyrm at @soaproot (disclaimer: I'm a pretty light user there).

","updated":"2025-12-20 23:30:17.517Z","user":"","username":"soaproot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-16 03:59:21.272Z","domain":"amok.recoil.org","followerCount":1021,"followers":"https://amok.recoil.org/users/avsm/followers","following":"https://amok.recoil.org/users/avsm/following","followingCount":239,"icon":"https://amok.recoil.org/system/accounts/avatars/109/297/691/357/470/174/original/fb1a0ae1bc29cd8d.jpeg","id":"v33u709751f62oh","inbox":"https://amok.recoil.org/users/avsm/inbox","iri":"https://amok.recoil.org/users/avsm","isLocal":false,"last_fetched":"2025-12-20 23:30:17.712Z","outbox":"https://amok.recoil.org/users/avsm/outbox","preferred_username":"avsm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvlhBB6bv0waF0ZcMWsGq\nbjmRcCPTIYtDT97CRjTilBFPgjffwBGy05SjrWO7v66P0ZKV0hvOjakh75OQuToQ\nkeQVEZiqKxIH9vSB2CubvoUnBsJGkc9RoGjrrclbn1WLqUU/N8WruRHow9AX3/RF\naQsFOX+pvpHKiw7QUnKXMlLJNVHXhjVBYqSV3/ac3lnUuUzwLxfRvGvwvc3PhamS\n6kiUBtlTFUZgxq/cs1sAEzKgPNg1ZD/w4kPaOeL7bdYMTgh3rypHfPKFcSC3ELZ7\n2vov9aKuqo/fV90JmGvjSo8NNGFywAoMpZWmanK+WSF5M/pXUrsQhFsgowEelzGL\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Professor of Planetary Computing, University of Cambridge

","updated":"2025-12-20 23:30:17.713Z","user":"","username":"Anil Madhavapeddy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 09:54:30.692Z","domain":"mathstodon.xyz","followerCount":64,"followers":"https://mathstodon.xyz/users/vc/followers","following":"https://mathstodon.xyz/users/vc/following","followingCount":107,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/633/282/595/123/680/original/f019321e8523496c.png","id":"hilir91pr6t44m2","inbox":"https://mathstodon.xyz/users/vc/inbox","iri":"https://mathstodon.xyz/users/vc","isLocal":false,"last_fetched":"2025-12-20 23:30:17.747Z","outbox":"https://mathstodon.xyz/users/vc/outbox","preferred_username":"vc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwCfLKaPMCOm9tush2Nnm\n9HI8DNrx7x1hvDEYArYzs9lv3MH1lAs+7ZnK7mBQZLi7894KLdtXTq0nqJBNP0RT\nBBO/FA+AnqvR7P6eG3yygDIpvAkPw5fz8uLWc7UlYtv+m1a1R3anmlcnMrHIgwGq\nHbHEz8bZsvjrCzUIoX55gsoQJIYNI++kOzpqwMyPeRtz2/AWzs0u+1UwR33O07mf\nCyH3IJuVLFxu89zxvzjk/Qr8yhWaFYz+X+x4sa2Qo0e8GURmTOj/xA8DMo3a9gDr\nP7awNzLoUsZMnSbjJZyuwSM4x3PPcX/FZXM6l+am76q21/+Ff/oKBka+VDoJeLAP\nSwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-04 00:00:00.000Z","summary":"

Chancellor's Fellow (Lecturer) in MSP Strathclyde. I like category theory, type theory, logic and semantics.

","updated":"2025-12-20 23:30:17.747Z","user":"","username":"vikraman"}],"page":1,"perPage":10,"totalItems":444,"totalPages":45}

Jonathan Aldrich

Followers