{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-17 23:21:37.157Z","domain":"mathstodon.xyz","followerCount":224,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":89,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"4z7zbt4he4olzat","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-11-01 01:35:34.444Z","outbox":"https://mathstodon.xyz/users/carloangiuli/outbox","preferred_username":"carloangiuli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvouu2b1f0FLetuevYvL2\ngmIWjHQCU6JyMKnr+L6gSauW/p7YQMUa9FO6v1rz94hdOvBE0dSwECDWSdMKlhsy\nRYRJJNm9fLZHp5oP4tIBlQwlgHQcyeTHu84IyLRKftAxb6mOwC5FSaDvwkJ7G05w\nHTb0TYZuqMoxkh1L1ppVq8/Gs0ZL5H3u5clOQn6IyWOCUUvDutO+6+AEDyt3zgzn\n9giwiCqqlDReG+3KiCq5PAv7yDNsrSkn9S2vG7crxJVpI1MgsWwproM0xGA3GWKj\nGDXjzmRLMqJO0V86hHzUDGbrifzMHR/ib/LYmdoJGDavPfCdD8hVeuvdfWPDdtxV\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-10 00:00:00.000Z","summary":"

Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.

","updated":"2025-11-01 01:35:34.444Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-17 05:03:35.330Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/csgordon/followers","following":"https://mathstodon.xyz/users/csgordon/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/850/232/300/280/672/original/5fb29c5bf2874af4.jpg","id":"hl08rkek27bvllu","inbox":"https://mathstodon.xyz/users/csgordon/inbox","iri":"https://mathstodon.xyz/users/csgordon","isLocal":false,"last_fetched":"2025-11-01 01:24:14.123Z","outbox":"https://mathstodon.xyz/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzv621E1Ynfe9+QQ0Emf\nB86uxDl34d/GfsnvDfOQge1b6mIflzH1AHzP8rK83RqBPxzDp32sgHTNrJDlyr+w\ngTxe+fR+EtKSZlvBjokBPcffSyTjNcpNd3C/toYyZylXzh4yP5I19vlURK+0t5Oz\nrRIRG12zcJFpDiv7J22A+IqrLVGT4EiZJzeELBOqpn0QOpUGrdpvdwlnQmYJ4nWO\n69S6f4ObfB93j1jGxHz7tBy1ew56c8TeNmYa5TqB/VZEj4G/iPYQ32lgUpZbNg9v\n0riEpE3/0tb/BruuP4UmR1vmu+uWLHsPD4EmO/RB8mDMrvAqhH1bxdHh+WCQPgch\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

","updated":"2025-11-01 01:24:14.124Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 09:34:38.525Z","domain":"mathstodon.xyz","followerCount":1010,"followers":"https://mathstodon.xyz/users/emilyriehl/followers","following":"https://mathstodon.xyz/users/emilyriehl/following","followingCount":44,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/617/620/227/231/original/e01e739b1fcf160e.jpg","id":"xg7ltrbd1muby7c","inbox":"https://mathstodon.xyz/users/emilyriehl/inbox","iri":"https://mathstodon.xyz/users/emilyriehl","isLocal":false,"last_fetched":"2025-11-01 01:35:34.623Z","outbox":"https://mathstodon.xyz/users/emilyriehl/outbox","preferred_username":"emilyriehl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyKPUTTeToYOvGH7CUGMg\nHtJpfM3Gd1NlOX8aUGE3G4/PTgPiN9DwyRBW0xofpXOjES8juDhcJlOQtSR26Rhx\neCOiJ1W44UzwX4IhKAZY9SFwq49TagknZgG3gezvaQbSivuLtndN2mO9rxavokFq\nxKg2JeJsnqkK1o0h8Hk+eQnwB5Y+n3TDtYGKTl56v2FZDzcoW9PmCc++F61alslr\ndaCR/XM6fniN3zhTdJoov/sANggqtfKoL8bAIWf83h5e8p82+z6cNNDCr+77CyfT\n+GnfOb7B82K6YqqUush+YZNDtMDeOvpq9hrmFyL30ocJj0WfjpifDRhMHaj25Px7\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

category theorist, working mathematician

","updated":"2025-11-01 01:35:34.623Z","user":"","username":"Emily Riehl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 09:34:38.549Z","domain":"mathstodon.xyz","followerCount":4169,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":207,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"ptlbauwdx7odp26","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-11-01 01:24:14.086Z","outbox":"https://mathstodon.xyz/users/TaliaRinger/outbox","preferred_username":"TaliaRinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtj6yFND0XEEC+RJLhRMK\nApROqVTcQD1upSPlu+rnfNriyKxsRCie7kOzy/tyoaAd1fVrzHzu2hOkvxhzSO0S\nRGg6EtA1h85S68RqLD03b0u/ZpLF5myhGrsVqvPiIVzL190wQQejbvkV2GR+YXyR\njgz1leYw/qq84ggemIO5TbTEB0/R+nvPfvrxooHK/gxbfzxkIGeu+dtmzsQivpl4\n8YMcNoe9pzeL4BRQX1+X2L5kiFoXDUjHwjl13I8qIIUOGnJzy3f3GYLa4xZYlU+t\nZtj+r0nbwzHFHbXu1/X3eADHf8j7GlsHwM65XOOOPN2uFEX6+Dd4js6elJ3zKFWv\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

","updated":"2025-11-01 01:24:14.086Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-18 02:00:30.329Z","domain":"mathstodon.xyz","followerCount":10,"followers":"https://mathstodon.xyz/users/adldng/followers","following":"https://mathstodon.xyz/users/adldng/following","followingCount":59,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/070/316/751/634/344/original/16d7c7f9a011254d.jpeg","id":"ker6b9c5r9lo5jh","inbox":"https://mathstodon.xyz/users/adldng/inbox","iri":"https://mathstodon.xyz/users/adldng","isLocal":false,"last_fetched":"2025-11-01 01:35:34.660Z","outbox":"https://mathstodon.xyz/users/adldng/outbox","preferred_username":"adldng","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw01xh0OBWGutWtquTZAy\nyjNLQKh7+jbKe/J9poEkp6Ip9jqQ9HMmvNkYh/aleQo9fuiHHhlBe8qowDsflcd+\nebA7/5MWaMSo3mZDY2ZrbkcHo/jFu3GWauqW+WgHTPJiSiAM5p8y/L3CkS+phU1a\nnq/gaTuDAuU+RsC6ug3w3HKeIBzGlwrSP7D7uU+y/JD5Y+yO1W6hzmintHrMZxH6\nVejU27rzwRhQpjv06s0tP4seQFE7l2Y8k/pIrbKSOLSGltczXhO8SN1ULUvcmdNT\nQpTFAZXv5ISpb50pz76P5k5PErfPos/aEj75wETyyIH405pzOqoQZoqdbd6mYZJS\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-22 00:00:00.000Z","summary":"","updated":"2025-11-01 01:35:34.660Z","user":"","username":"Adela"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-22 03:38:39.065Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/logicbot/followers","following":"https://mathstodon.xyz/users/logicbot/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/055/260/original/55ff9b123e49bbd3.png","id":"17o9l5n8gvbuaai","inbox":"https://mathstodon.xyz/users/logicbot/inbox","iri":"https://mathstodon.xyz/users/logicbot","isLocal":false,"last_fetched":"2025-11-01 01:35:34.698Z","outbox":"https://mathstodon.xyz/users/logicbot/outbox","preferred_username":"logicbot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm32++LYiy6PEfirltcrp\ntGM2TdKIYlBs6uTXRpikA4bG5N6XlC+SKi6UJeBILFZwu3x9c1CmV7tcQCefQJMf\nYQvP/XWuXC6POwxi9rQIApbveq1+BTlQHNPTqxf2sAWoHFDpCFUrkdZ9LnTzfQMM\nW6x0nBC8LNENa/Jo/+kXFqVspzZwAfVq1fH9nbst1If1lCvrKvwN+lsHp8OZ7OgT\nGtS1m6t38vKZ5i3Ui4xihJeqvFldIfki/cbFejuepLZLHYTmlbJ25jKprGAjwmkw\nEmw2bfpgVQzpt2tgf2ESW7rL/rAkhbXe0i4NztA3UP+c/azoHOB74ulacTyGBPDs\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-10-01 00:00:00.000Z","summary":"

Created by @mscroggs

I tweet logical tautologies.

","updated":"2025-11-01 01:35:34.698Z","user":"","username":"Logic Bot"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

Chentian Wu

Following