{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 19:50:14.257Z","domain":"mathstodon.xyz","followerCount":4,"followers":"https://mathstodon.xyz/users/johnstewart/followers","following":"https://mathstodon.xyz/users/johnstewart/following","followingCount":21,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/859/871/334/933/523/original/f58868bc530e6f26.jpg","id":"7188865z6u657ss","inbox":"https://mathstodon.xyz/users/johnstewart/inbox","iri":"https://mathstodon.xyz/users/johnstewart","isLocal":false,"last_fetched":"2025-08-28 12:08:29.779Z","outbox":"https://mathstodon.xyz/users/johnstewart/outbox","preferred_username":"johnstewart","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqVobV4chdMJ3A9Gp9ZwX\nEkqTkU1OOMyFAZs0EERseYw9WvJ7s8bZI7anOl9qiNwY8QxMGzg2Vt57b4RSlFDO\nKmj4Wiq/afPxm866UmMCy7mbuMr9wk4znkadjtOdvOzEywd1UFJpSrrjvqlCx+MS\naGPmehNimEinCP0Tkx+ZZH7W99gIFTSs8TmQGuJO9twXTmQQflqTy2J09bfZIUKn\nq4srnEvqdPhTTf97wU79u4kN0yz1uBYcSNr50FO2WTVjVjKNQPfONuiP7exlvyCS\nO+P71w23fraRhlOn14iPoxBnlBP1e6FCf2WXR3InJnSBpG0DqTeayHtB1FxwXlKV\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-15 00:00:00.000Z","summary":"

Interested in functional/logic programming, homotopy type theory, computer science, programming language theory, and software architecture. Computer scientist building the Anima next-gen programming language; multimodal higher dependent type theory, algebraic effects, no phase distinction, and self-hosted, versionable syntax.

","updated":"2025-08-28 12:08:29.779Z","user":"","username":"John Stewart"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 06:26:15.603Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/KennethSera/followers","following":"https://mastodon.social/users/KennethSera/following","followingCount":0,"icon":"","id":"773lcx39iglp28w","inbox":"https://mastodon.social/users/KennethSera/inbox","iri":"https://mastodon.social/users/KennethSera","isLocal":false,"last_fetched":"2025-08-28 12:08:30.553Z","outbox":"https://mastodon.social/users/KennethSera/outbox","preferred_username":"KennethSera","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApn0T+fHxvTzQ84WauUNS\n/2XJHcmmLFTaKXaXGS2hDHDEKDMEBO+okMOB5RrcIXw2rKERGH1GzV6/C1ubzsP5\ntmGvFj3DXPRFzfsL83eXe4poBqIxj14ag64cC31Zj891D8toi4fMQaKJVau4KUCD\nBzIiUX1c9Pk9bS3SAW0EtBJ2v3FZyaSnH01EKUFs621dnD0Arz5219t43ZUA2o5m\nZL5NxXqENm9LyUFGAiXkJvKtH+LaCTAlXeJ5MaIUbIypSY97VubjWiJOtyqocK8I\n0ZzwgJinBzH7Hj6s46835jO2rAmjz0l5F7tN8fy7DyL/NSp6hWvHqyNdKk3ADyaK\nLwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-29 00:00:00.000Z","summary":"","updated":"2025-08-28 12:08:30.554Z","user":"","username":"KennethSera"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 16:28:09.483Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/zackbach/followers","following":"https://mathstodon.xyz/users/zackbach/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/627/730/215/722/523/original/8ca9fa620d85bb2c.jpeg","id":"w9cn9ekj7c3b8a3","inbox":"https://mathstodon.xyz/users/zackbach/inbox","iri":"https://mathstodon.xyz/users/zackbach","isLocal":false,"last_fetched":"2025-08-28 12:08:30.710Z","outbox":"https://mathstodon.xyz/users/zackbach/outbox","preferred_username":"zackbach","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA12rXw1shGM9GeiS6b+IB\nkfDZTqiibv8NfgpgorLqH07Fq2RjmpV9UIy2Zn3FBr1g3RVt+dc3WugIlkRxeDmh\noMzzLavP2P5NkIRTolrrpodGGaZyMhrh9icWB7Z/YSyc2oMtBFqiccxf6POQ7MJK\nApn7VCEK0x6KktSUgiRXiioyiGLI0RmfKdcB9zXMLr/vQ8LKnlkWdv+frS6Z+W5L\nYKqG/zP5RTZzlqa2Ei/PzkOIKb9p33pr/qx8Uh/PgsyKEzq7ibucMu6WIu9NdhRy\nIlhIpjMDEObQ1s95+Pk3mk+FYL1pqspm9jIP4Bv5ZcI411GoUf8ZHMgIi52mr5ti\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-03 00:00:00.000Z","summary":"

Undergraduate programming languages researcher @ Northeastern PRL
 Logic, types, compilers, categories
 Research intern @ Apple

","updated":"2025-08-28 12:08:30.711Z","user":"","username":"Zack Eisbach"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 04:44:52.073Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/RajathS97/followers","following":"https://mathstodon.xyz/users/RajathS97/following","followingCount":0,"icon":"","id":"n082rd8vq8c177q","inbox":"https://mathstodon.xyz/users/RajathS97/inbox","iri":"https://mathstodon.xyz/users/RajathS97","isLocal":false,"last_fetched":"2025-08-28 12:08:30.867Z","outbox":"https://mathstodon.xyz/users/RajathS97/outbox","preferred_username":"RajathS97","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw61g70+jII5Y4Lh/7nHI\nd+eehwGeHgrOX071rd9czMbUztuLwmVHkVbD74In55l2SgPmFzlZUPYNLeL2nOln\njNs0bQXjMj/wb3WqhH4N8vbkdOQqMnjSW8Wy1hmn++cRoymwOm0xjjdSAqVOkXjG\ngjJY56+8nBHJ9uoO4FgzrgHsqLforbPeY9AeIQruGMXwEvc3u+mb7Ync/rks4dp5\nF7I5eZOOjq4gt/gYcfxmSstq40Z252S7QCLjESnGeeUBmcec3GQk7E0D5KHneg6J\nx7DDvMonP8ignQQ+F8iF/K8s6bUZR0fCQ4R/Q6Py3VCTjrnLQqKFYvrRa2pKaG0Z\nnwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-20 00:00:00.000Z","summary":"","updated":"2025-08-28 12:08:30.867Z","user":"","username":"Rajath Sharma"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-25 03:49:34.109Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/alex_groth/followers","following":"https://mathstodon.xyz/users/alex_groth/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/356/291/508/950/060/original/0d51eb83f02ca3f4.png","id":"7bns6k47936m2wq","inbox":"https://mathstodon.xyz/users/alex_groth/inbox","iri":"https://mathstodon.xyz/users/alex_groth","isLocal":false,"last_fetched":"2025-08-28 12:08:31.444Z","outbox":"https://mathstodon.xyz/users/alex_groth/outbox","preferred_username":"alex_groth","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx3gvegWRLbnVuSLnMPlw\niH0KWSypQBPorOv4I7yOtP+dyo7qLhhQ5HiMnqolnKux07+UYQyxAJSSplSvQdi2\nIsjvj5iu1REVT9wzeMeqRMGK7eAGhawFwZ48P77UQjMircV9SuCoUqy21RqMnx+a\nXD4g9AEvOZTQxkpE6pxidUf9Pg7GqKPzuGSqYaocQr7ghCFX7X7ywwsGxtyb3pz4\nvo0FvOxPwhzFFDXcloIGGrxtxjiyc3ImKtzJAZmqOE3wYzEhssitYWKyFzlv/4EI\nXnzj12Cr1BdtwI6e7RkZ04zeNSlhIXXyijcTAcBTY76Z605udMutWS31n1CL1jlB\nBQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-23 00:00:00.000Z","summary":"

Mathematician, Programmer, Artist

","updated":"2025-08-28 12:08:31.444Z","user":"","username":"Rohit Tanwar"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 19:51:07.275Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mvr/followers","following":"https://mathstodon.xyz/users/mvr/following","followingCount":0,"icon":"","id":"1dy28x7ps17u4p4","inbox":"https://mathstodon.xyz/users/mvr/inbox","iri":"https://mathstodon.xyz/users/mvr","isLocal":false,"last_fetched":"2025-08-28 12:08:31.747Z","outbox":"https://mathstodon.xyz/users/mvr/outbox","preferred_username":"mvr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2X+ERIdUcP0V8I4/8WZ6\nMtg6MS/out0f0KC4jn7+X+avTQ+RfAB4nzv//rmHQHtjrA4VTUtQ7xMXILDBYsYq\np+xLA0BundU/XXuPeuDMsOUJZH1d1geBlDhWLp3jLS/xp8seoMLUmri8bZSbcS1H\nAKid3TJc0k77ayMKhhMkJ0LCKihwIET7JCGvmwsETY3lQ4qcKun+iTLNV+q92+as\nux64vn1429KVdtecpB0XF+Gbi0q2z9iSGoGq6F/1qas2yFXab+O6e/v72Df6+P56\n4jcLWxhAnDWqeaxYYLW95nV1ET6qvJWs/N//9B7WS6PVPIVzNiF+wLeHBGI0FgFn\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-27 00:00:00.000Z","summary":"","updated":"2025-08-28 12:08:31.747Z","user":"","username":"mvr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 16:42:18.631Z","domain":"mathstodon.xyz","followerCount":16,"followers":"https://mathstodon.xyz/users/shinghin/followers","following":"https://mathstodon.xyz/users/shinghin/following","followingCount":50,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/392/508/047/202/572/original/a75d610439eacd63.jpg","id":"yaf74qqk2593x04","inbox":"https://mathstodon.xyz/users/shinghin/inbox","iri":"https://mathstodon.xyz/users/shinghin","isLocal":false,"last_fetched":"2025-08-28 12:08:31.905Z","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-28 12:08:31.905Z","user":"","username":"Shing Hin Ho"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 07:30:31.222Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/rossquantum/followers","following":"https://mathstodon.xyz/users/rossquantum/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/105/449/911/998/547/original/617d023d54aab8f6.jpg","id":"ax841at88lzqfho","inbox":"https://mathstodon.xyz/users/rossquantum/inbox","iri":"https://mathstodon.xyz/users/rossquantum","isLocal":false,"last_fetched":"2025-08-28 12:08:32.061Z","outbox":"https://mathstodon.xyz/users/rossquantum/outbox","preferred_username":"rossquantum","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu1OWF1Q/deQcDaUgJDwF\nl4pd4DHlI9M0hhXUOxKPrQYqo7V1fwOETfhvN9acZG3jdEudM1XOzBSBj4tz97o+\n7shQbeMX3ePftprCdQuzC1N+uc8v9EyhDfEfBX9JNaUR3dFwSvNIgzdYYojYmM5h\nuDKJjr9hdQK0S4dIDD5KhDattHUGFTZ6gdYnsgBpydrKyFRDBmqaNAeWFf2ANw+G\nup7rXlV1T4L+UgBvzDvi1T1m8ZmWO2MsJ7Ld0jl6dHeiPWlRfNH00gdfWHjdRdlw\nzAj3CmtHcCb25J13czucg9faZsDc0SndkhjrKQ7yuZY55y8svHAmdBZqFO+6ZxOk\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-03-16 00:00:00.000Z","summary":"

Head of QuantumSoftware @ Quantinuum

","updated":"2025-08-28 12:08:32.061Z","user":"","username":"Ross Duncan"}],"page":1,"perPage":10,"totalItems":291,"totalPages":30}

James Wood

Followers