{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-08 21:37:54.770Z","domain":"mastodon.social","followerCount":1943,"followers":"https://mastodon.social/users/raventhesciencemaven/followers","following":"https://mastodon.social/users/raventhesciencemaven/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/111/275/245/527/972/542/original/db86c29b8ec1fc92.png","id":"oke63v4xhs1muu6","inbox":"https://mastodon.social/users/raventhesciencemaven/inbox","iri":"https://mastodon.social/users/raventhesciencemaven","isLocal":false,"last_fetched":"2025-11-10 01:57:57.047Z","outbox":"https://mastodon.social/users/raventhesciencemaven/outbox","preferred_username":"raventhesciencemaven","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjXleWBo5bdftCr+8URRW\nOnd9JBcSTUQ5KyRVAHGcQrr8ZaKqepf7zecrlw3fDxLUxUHFTklnhtv2sdEodaii\n6dsHS6obSd3HHGyi2uxMvcleNg2qjBr2APaui1B2OKtm99dOsURXADmeEKfcNwMS\nEWae/cYwhO10Dj2vn2IXTJtqfHqr7LU1fEq1BbehNxssfqQM7eLW/jkPT7hi/rJD\nRvp4augcBNHeSSSZy8eKrx8B9MjPfhuFmRVlSSliMpRk0DCcfrtj1q+Jsly5O4dq\nKIlcJjz4boa/rUPKTUVKGWZGgisPoWdbUi+ESWzsM9DCJrMUxmnx1Dc4iFnIT/LT\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-21 00:00:00.000Z","summary":"","updated":"2025-11-10 01:57:57.047Z","user":"","username":"Dr. Raven the Science Maven"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-10 02:52:19.428Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/m4rk1x/followers","following":"https://mathstodon.xyz/users/m4rk1x/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/497/029/518/714/784/original/a17b4b9905f12388.jpeg","id":"t5ik34x83th26x7","inbox":"https://mathstodon.xyz/users/m4rk1x/inbox","iri":"https://mathstodon.xyz/users/m4rk1x","isLocal":false,"last_fetched":"2025-11-10 02:52:19.427Z","outbox":"https://mathstodon.xyz/users/m4rk1x/outbox","preferred_username":"m4rk1x","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx6GNwpBW9dWPq0xgDIuc\nBKvejU3hI8H8Yy0ebgJjkodBwzXcqR9HSl99z/ON0WR0usdDd5uWiMwlD0Ay1xnt\nYhKwWi6uKlJvFb2NzzgzFnqC/V7OoT4SdQJwtOFPmf7uFfq25a0NqCLCz/uA1WY1\nHKZBRpNMxzkRSHn4q6LkyaaoKkL9OjXmQ2c7XSAD8/1ba2GjDK9KXw9xb7p24jE3\nkt4oVZLntqKTawUaAammLMLsraIgL8PFuK17eiGtAxU0WMX6HFQY0ryQqkDYUBC/\nyZvgz8P+1de7oT665veqACoJ+cditAKzNkM7PjaEdP0Q6uacmCy0YPMzCu7Mmzuq\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-06 00:00:00.000Z","summary":"

Category Theory, Semantics and Type Theory.

","updated":"2025-11-10 02:52:19.427Z","user":"","username":"Marco Paviotti"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-08 00:00:39.533Z","domain":"social.edu.nl","followerCount":0,"followers":"https://social.edu.nl/users/jaror/followers","following":"https://social.edu.nl/users/jaror/following","followingCount":0,"icon":"https://objectstore.surf.nl/mastodon/accounts/avatars/109/926/271/567/624/730/original/06debad423ab1039.png","id":"2lb7po6ym8456j4","inbox":"https://social.edu.nl/users/jaror/inbox","iri":"https://social.edu.nl/users/jaror","isLocal":false,"last_fetched":"2025-11-10 02:52:19.489Z","outbox":"https://social.edu.nl/users/jaror/outbox","preferred_username":"jaror","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvwAP9wwEJ2Bol4ATUIf2\nxzxESB/yicmz8ESoEMYmAUUyerodYzCMA6krudUwG3mBT3HpPtLnlsGZ+tKMVfwE\nTyAK18O1/+gWghz0q1ASFPRLMEOMAQ4xt0M8F97tlAJZsIHzmRfU3WOABMmOL2gb\nnYSDuCGLMDzsj0XdcyP6Rb+2rwOZ17qiZ0Uq0Mi+V0m/AH2i+Ur4dS0L9NjQzM+o\nBk6dHmNVoHvCjaNAm7g6mjNABQMhohEQ49ORE7rxsSxTfIU1/jvIVRFH1J0WdsFS\nsZ6vzr9sl4SWqOVdAoqUPLEUzcpCchoZR+RW2qrzKIWpMF/JMnOFSm65AeCnztyV\nqQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-25 00:00:00.000Z","summary":"

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda.

I'm also a #Haskell enthusiast, #GHC contributor, and member of the Core Libraries Committee (https://github.com/haskell/core-libraries-committee/).

Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.

","updated":"2025-11-10 02:52:19.489Z","user":"","username":"Jaro Reinders"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 22:59:50.982Z","domain":"fedi.kbg.sh","followerCount":28,"followers":"https://fedi.kbg.sh/users/kevin/followers","following":"https://fedi.kbg.sh/users/kevin/following","followingCount":134,"icon":"https://cdn.masto.host/fedikbgsh/accounts/avatars/115/407/174/698/166/845/original/ac5443c218ce2ab9.jpg","id":"4in7axqxk8ma21n","inbox":"https://fedi.kbg.sh/users/kevin/inbox","iri":"https://fedi.kbg.sh/users/kevin","isLocal":false,"last_fetched":"2025-11-10 02:52:19.623Z","outbox":"https://fedi.kbg.sh/users/kevin/outbox","preferred_username":"kevin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu4rgvPD/d3QK//Qfw+rw\nRTizAnNY7uu1JovLKZvF4kAntte6eoGWtwKJq1NRSgUMkMfvBZJprIV+WrX+RMV3\nQOftX9YZFu3qlbrssn1uDb2oppj0TtHW/9AJNOgd3ewwaA3vfjHXBIGh1fghjjiO\nNHh8QF23DsAq4SiYpTmUPUdNmW3NVNXL6QJRPeRWRnGwAwUoKgneYuXBVpst7csi\nEfqHU2NhGPzimw4MjACLkxgPHNmmkqoFrG19Ry9UT+JeMBVY4yBa3FjYVct/spAW\nByGLZfdyMh/vf4neZIfZApsp/zu90Qnb0aX0suhYE+IH3mKT91aatgx+d8KD5xAW\nYwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-20 00:00:00.000Z","summary":"

Independent CS Researcher At Large, Classical Maya Enthusiast, Durian Enjoyer  No license, implied or explicit, is granted to use any of my posts for training AI models.

","updated":"2025-11-10 02:52:19.624Z","user":"","username":"Kevin Graaf"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-29 01:39:41.765Z","domain":"mathstodon.xyz","followerCount":145,"followers":"https://mathstodon.xyz/users/ayberkt/followers","following":"https://mathstodon.xyz/users/ayberkt/following","followingCount":133,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/122/801/original/f1232d87d585c5d2.jpg","id":"e7xiwrj3tfd36b5","inbox":"https://mathstodon.xyz/users/ayberkt/inbox","iri":"https://mathstodon.xyz/users/ayberkt","isLocal":false,"last_fetched":"2025-11-10 02:52:19.863Z","outbox":"https://mathstodon.xyz/users/ayberkt/outbox","preferred_username":"ayberkt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApNXWfWwkJCPEhfPzAtMr\nrrMZjwwpBILOXL/QdKfrdTDsDdjQ0HeqTtPgA2RfmkhQTwDyJh7baxVrtAlj7fwq\nRRK2uun6Jtul/ZYGVSIF0LpqqN9lud/tAnmQW2e2ISKhqmsYjXlyrLof1wgPOcRu\ntLNyzkUeWXRQz5RhsIPR4++I4EIB8UwlOP6DSALbIEOnCaP6BFoaMUpBeG6yuyft\nk6KIq5ttKP2QFkjmpTVkr+36mXHNb9rjNVfyag3TK3BiRQcEyT7j3aZXBIK2AAwS\nTuh4hrQypzjpon/rpXyFbkUhjmjQtIPY6TsGrjjtm2RhsuVJe+bAvn8nqTb7g9dC\nYwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-11-20 00:00:00.000Z","summary":"

PhD student at the University of Birmingham interested in the topology of computation.

","updated":"2025-11-10 02:52:19.864Z","user":"","username":"Ayberk Tosun"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-08 00:00:39.603Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/maxlin/followers","following":"https://mathstodon.xyz/users/maxlin/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/723/560/067/890/510/original/779d981d5269b03f.jpg","id":"y5m3i0e0eb48i24","inbox":"https://mathstodon.xyz/users/maxlin/inbox","iri":"https://mathstodon.xyz/users/maxlin","isLocal":false,"last_fetched":"2025-11-10 02:52:19.894Z","outbox":"https://mathstodon.xyz/users/maxlin/outbox","preferred_username":"maxlin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt/byd5GMYJRmZgI2J2bl\nGAvHaPS1+ttIvLdQiWVvGyroH6W/8iAlpg6nE26QqZruowd7xQywkBHsMsRlKhdF\nTe3vVcAdeaL1RGtqdXk7+noEPUpVancPyStXTfyWkEQjbvC6vLXCnkVkvVJkJ/RF\nlpNJhI4FIc+Q7FZoqKlfjCLSmHgaOyLvwjRgWGuKB6YSFD3JvxHZvrPxd7j9mjTz\nEB7ZhDvMWtyfnz1+8K/dfMYacpJmtToI4IfvOXW7vBP0Re8CUmRFcarpspwXo9Lj\nvsn/xn9PiXhMdGzfSwmabCHcrOQJk37N38bvoFLKzRrEaWP96dBfDFzWQs9jB23N\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-07-03 00:00:00.000Z","summary":"

Ph.D. student in Universal algebra and Category Theory

","updated":"2025-11-10 02:52:19.894Z","user":"","username":"Max Lin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 06:05:38.631Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/shinghin/followers","following":"https://mathstodon.xyz/users/shinghin/following","followingCount":53,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/392/508/047/202/572/original/a75d610439eacd63.jpg","id":"o2ta95t623nv74g","inbox":"https://mathstodon.xyz/users/shinghin/inbox","iri":"https://mathstodon.xyz/users/shinghin","isLocal":false,"last_fetched":"2025-11-10 02:52:19.925Z","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-11-10 02:52:19.926Z","user":"","username":"Shing Hin Ho"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 06:51:26.411Z","domain":"mathstodon.xyz","followerCount":25,"followers":"https://mathstodon.xyz/users/Supernaut/followers","following":"https://mathstodon.xyz/users/Supernaut/following","followingCount":146,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/948/856/158/659/524/original/4a050465ebe92592.jpg","id":"95kvkl0kgw82286","inbox":"https://mathstodon.xyz/users/Supernaut/inbox","iri":"https://mathstodon.xyz/users/Supernaut","isLocal":false,"last_fetched":"2025-11-10 02:52:19.956Z","outbox":"https://mathstodon.xyz/users/Supernaut/outbox","preferred_username":"Supernaut","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1TLJzd+eVgVXCsEM2Uuv\n8+yzCMKuFSfY8o1i+nGSqoUg7QvZ1C77DH+hUJrNITSnPFmJfBxwzbtXvuSU/jJG\nV3zhaB0M06WRHZMx7tNs82eWoUb8/UXV61Z4hEAFaxPIFhsFXgUiQsiko+pUzkpT\nhK6Pw+C84hb3TrzzKSHpX4WEV5aA7U9ObGRUervCxcR+MzaxDOuD39iCSrBaDKxf\nuPlpee8fhrGXX0b311H7qAifRCR91dTR/DguFwNvjg0hUjE2Mkwya8EYFWIFSkCG\npXgQLSWElIo2BqXO2HSJ5+XWStfPkAE+bmXjAo+K17epH1uG9/znKjVCPM3cKIXz\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-31 00:00:00.000Z","summary":"

Mathematical logic and some attempts to do art

","updated":"2025-11-10 02:52:19.957Z","user":"","username":"Daniel Rogozin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-31 04:17:29.927Z","domain":"mathstodon.xyz","followerCount":58,"followers":"https://mathstodon.xyz/users/zackbach/followers","following":"https://mathstodon.xyz/users/zackbach/following","followingCount":130,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/627/730/215/722/523/original/8ca9fa620d85bb2c.jpeg","id":"ul6574jf5471r28","inbox":"https://mathstodon.xyz/users/zackbach/inbox","iri":"https://mathstodon.xyz/users/zackbach","isLocal":false,"last_fetched":"2025-11-10 02:52:19.985Z","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

","updated":"2025-11-10 02:52:19.985Z","user":"","username":"Zack Eisbach"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 11:07:49.393Z","domain":"mathstodon.xyz","followerCount":84,"followers":"https://mathstodon.xyz/users/pamorim/followers","following":"https://mathstodon.xyz/users/pamorim/following","followingCount":69,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/059/283/868/650/409/original/6242fa04a82b8e5d.jpg","id":"ye481p8uvf1i73b","inbox":"https://mathstodon.xyz/users/pamorim/inbox","iri":"https://mathstodon.xyz/users/pamorim","isLocal":false,"last_fetched":"2025-11-10 01:48:41.520Z","outbox":"https://mathstodon.xyz/users/pamorim/outbox","preferred_username":"pamorim","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1muxgXT2cZclsGkzuia1\nfrERi9LL03awfkc6TEdpKysf+mto5WSsGSz96e2HQFKMlb0JIzwH+w/I1GyaWHE8\nxTBuWmr75TzUloaoNvU0g26CPKZTTao/4CqMcmFtEhaBbar8ig2BsNwlMHhb8OEU\nF7AcmeD3S0xs2vq6q80Qp96qlRr8uCxpxF5JF7eV5Nlv34BDYC6p3IOw5LQsQGop\ndWNO/bPlR03XcCsWI2CZxpzQwMpT2+gG877wczgZzQWlxuMh6q+s2xSR7boygHyc\nL+d1PCGHjyNxsZawrOSX+99Ggnoexza0AIf5NODaqysL1JSRYIIoTp5nZcSknIB2\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-21 00:00:00.000Z","summary":"

https://pedrohaa.github.io/

","updated":"2025-11-10 01:48:41.521Z","user":"","username":"Pedro Amorim"}],"page":1,"perPage":10,"totalItems":701,"totalPages":71}

🇨🇦 Joey Eremondi

Following