{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-25 02:48:20.585Z","domain":"mathstodon.xyz","followerCount":216,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":88,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"z7u251m1p449np4","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-10-13 19:05:41.158Z","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-10-13 19:05:41.158Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-28 04:12:57.479Z","domain":"lipn.info","followerCount":0,"followers":"https://lipn.info/users/theowinterhalter/followers","following":"https://lipn.info/users/theowinterhalter/following","followingCount":0,"icon":"https://lipn.info/system/accounts/avatars/109/545/536/560/951/104/original/1f2279ff49b61c08.jpg","id":"kt5kn9uun45h95b","inbox":"https://lipn.info/users/theowinterhalter/inbox","iri":"https://lipn.info/users/theowinterhalter","isLocal":false,"last_fetched":"2025-10-13 19:05:41.977Z","outbox":"https://lipn.info/users/theowinterhalter/outbox","preferred_username":"theowinterhalter","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA375lWDOtVB7tN+iQYdE5\nXREnqdQ1pFniqR4D6ySGRhzbB7BeBEm2pTnqCzYeGIJjcAGgoxYrZHbRvREKcHnJ\nPvKU74iaqybCgUoo1uiKp274bwqVFfpgRlAOwrx2UJpuuURKyewfpiMpkKdLlNzE\nMfjAh8W4BHO4Ti4/7QnXsZBwN67TxBQ+5wVPXbmxZRqfBjsKiez0gHeFYkqwW8I7\neCn82H8uC/E/+Ag/8GpvNnFVkv7Eq4ogL235NqrnfHxVYbBlFKpZsTpHfimmnPal\nAlxKPm8gCZHynvo5zs/nXamX5EDc9m51PcUojoEFW+FE1WwJ9fmp+Yls2bWK7JaR\nwwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Researcher at Inria Saclay in Deducteam. Type theorist. I want to make proof assistants a better place.

","updated":"2025-10-13 19:05:41.978Z","user":"","username":"Théo Winterhalter"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-13 19:05:42.008Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ljungstrom/followers","following":"https://mathstodon.xyz/users/ljungstrom/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/372/943/920/125/198/original/e49b66cdb7b5dd2c.jpeg","id":"e28nxpoq6wek004","inbox":"https://mathstodon.xyz/users/ljungstrom/inbox","iri":"https://mathstodon.xyz/users/ljungstrom","isLocal":false,"last_fetched":"2025-10-13 19:05:42.007Z","outbox":"https://mathstodon.xyz/users/ljungstrom/outbox","preferred_username":"ljungstrom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwYUbvKvZSk8kP6tU3iDK\npn+yqw/GKx00rEFGU3CgVDOM0hSTW3dyv6PSh13PCfMSX6grbzVNsv5OqRCjY96K\nDxd5BGAlFxtORlSDUcpIU0+IUul3vG9tl2gQzG2x4Qzf8LmwRhNrjhrMLN88fZW8\nfvt0/dPH3OR2U/5vq7d3ty7j0AJWKnWWKB6bKU7qN6FnhU3ZAJCgVGznWyhLdU+C\nKH6WyW0IBf11gMTn2N5KmlIAxkLXjJefvFK8hZhTUa9LqpUf6REu/mNHS8F3elSW\npX9i8DTN4yFDJnY2wGzkp72XZJLxz2X+MY2ZVy1GIi38+qAMBZogZ9AiO/cqBndf\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"","updated":"2025-10-13 19:05:42.008Z","user":"","username":"Axel Ljungström"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-13 19:05:42.445Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/FredrikBakke/followers","following":"https://mathstodon.xyz/users/FredrikBakke/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/031/391/195/563/790/original/5cd58a9b85397c19.jpg","id":"v9novjf9kcp3v00","inbox":"https://mathstodon.xyz/users/FredrikBakke/inbox","iri":"https://mathstodon.xyz/users/FredrikBakke","isLocal":false,"last_fetched":"2025-10-13 19:05:42.444Z","outbox":"https://mathstodon.xyz/users/FredrikBakke/outbox","preferred_username":"FredrikBakke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1LL/GUEojV+/YNdm7l3m\n1VEalid0YEwvuFTe1NmSwA38H9yXfVocngTn3RRtiLGcGle4MD8yg4btSWuwVgjX\nCkbUW+GeC9o4iJGrwLj3VD3pZG8yYP93igY/2Xj7aRoWttbL5r6XAhH7YN31m/GM\nXbrM/s9kfiiHhVpCCEXVLiW4koWEEZ/4kUc1a0RFginpXyeNkumWwsEFl8Rs+xF+\n7KJTUx4rq/agXNtW+RsGZemeoN6jjCIORYvp6ixePG7crB/97KHjKheYGmZ0L+Ez\n9Al3YZZCTua0f69K/DIpIVW9l1S0StiCYkAI+ZgqQAKgagK+ODq8xJ3B5B/f0+Oc\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-03-03 00:00:00.000Z","summary":"

PhD student from Norway formalizing lots of stuff in univalent type theory using Agda

","updated":"2025-10-13 19:05:42.445Z","user":"","username":"Fredrik Bakke"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 23:40:00.314Z","domain":"mathstodon.xyz","followerCount":93,"followers":"https://mathstodon.xyz/users/dwarn/followers","following":"https://mathstodon.xyz/users/dwarn/following","followingCount":48,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/501/286/213/066/314/original/5df0f67d2c063969.jpg","id":"4k5gzm3ea996ul4","inbox":"https://mathstodon.xyz/users/dwarn/inbox","iri":"https://mathstodon.xyz/users/dwarn","isLocal":false,"last_fetched":"2025-10-13 19:05:42.472Z","outbox":"https://mathstodon.xyz/users/dwarn/outbox","preferred_username":"dwarn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4TIeRwiJ1+7m1LHe4cOX\nxoghf/ySdxR4MlTYSrTYv93pquz9bj6YE/tnSOd0ud5JGmxm5nCpvqqMH9gS+Ouv\nk0OiZUe0FZE1VGAIDQkvWZca9bfTA2myHDiJuUYhRxDvDgvlTQc9PZew2sAOSVG6\nTcIbW0oYhe5S3dug6F6KDYs3H1uekq391VpByoL3br4j3um1BosPwK4Sp9yZK/R5\nRVHGxi1Tn+XosaAW+TsYYvc8wcrhldiavVkhOFKfIFuxPmhcEmxW8pWWPOHG5haL\nPt+pPL6mU7vAqcvrqgC6WSx+HQR43wuQqHgtSUszzWunrs6RcjNCGPuxw9qk4OsU\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-12 00:00:00.000Z","summary":"

PhD student in homotopy type theory at the University of Gothenburg

","updated":"2025-10-13 19:05:42.472Z","user":"","username":"David Wärn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 19:10:42.351Z","domain":"mastodon.social","followerCount":187,"followers":"https://mastodon.social/users/spitters/followers","following":"https://mastodon.social/users/spitters/following","followingCount":119,"icon":"https://files.mastodon.social/accounts/avatars/000/824/964/original/4c3355cd1170fcef.jpg","id":"29mxnmdo4iy1x9e","inbox":"https://mastodon.social/users/spitters/inbox","iri":"https://mastodon.social/users/spitters","isLocal":false,"last_fetched":"2025-10-13 19:05:42.817Z","outbox":"https://mastodon.social/users/spitters/outbox","preferred_username":"spitters","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz44SqbBD2AqI1LZID0Qm\nyktjAEawYFbpwPL86tfF15o51yJ9rVER0eAHb5bH+GWEbI5YlnkzuJ+LmNGRwn2N\ne1SiG4e4TfmG4jbUhPUPDq1NpilulIv6ffP3YaArAk/hKMycbGcM0uMEToH2G2zd\ndooAzk0gUrYaZPQVH5pgeRZeRzXwp/HS4K+kC1wdgHr+B3D5Y4N2BPWDbcqyQxoV\nAPAW4lOhZeGaShNGFfSazzIIt9NHfwx7nNYIXzQOoB7pt9qWs7pR3Hc1e5aWZCCD\nMimw+J6ioFvx3tK+hLXQqRCEV66K71Ej+tH8ObTsxdSxj02wuCVpaM/MMSESbC1V\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-06-01 00:00:00.000Z","summary":"

https://www.cs.au.dk/~spitters/
https://twitter.com/BasspittersBs

","updated":"2025-10-13 19:05:42.818Z","user":"","username":"Bas Spitters"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-27 19:51:09.979Z","domain":"mathstodon.xyz","followerCount":225,"followers":"https://mathstodon.xyz/users/ecavallo/followers","following":"https://mathstodon.xyz/users/ecavallo/following","followingCount":72,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/370/069/239/586/021/original/7c05af7ae01f01c6.png","id":"2cpew7ab09fn9u8","inbox":"https://mathstodon.xyz/users/ecavallo/inbox","iri":"https://mathstodon.xyz/users/ecavallo","isLocal":false,"last_fetched":"2025-10-13 19:05:42.844Z","outbox":"https://mathstodon.xyz/users/ecavallo/outbox","preferred_username":"ecavallo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3naHyQYGx2MOOHVquVvU\nE96oVhPSB7n5Vv057Z1shKe6LrA4iil8I5Y/nYlfKkayG9Mc4F2cSqWCbH1JXAVG\nYg2fqbwLaT0bLzqFYD1f3YRF8CoLznKtklAhenmZuSmsYfMrrjKsPL8qOEqyQnCf\nxsrbkR8fX7LiekElCE9BEuFdVW3AZ6GD4YLT3mYkFW/DadDs43jo6Ttnoxv8Va5I\nNpI31QiWC4cnjpOq9xpXfzc558kcVZX5iqDX61pWC7gM9PfN2AfJ3dBsPtpgXlOH\nq6TvHUiSSVsYYJL0sNtxdxgnB2/JsYXrsRQ/Fvah+KUEjG7YnRS72KEEiLNEG8BN\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

Postdoc at Göteborgs universitet. Types + Cubes

","updated":"2025-10-13 19:05:42.844Z","user":"","username":"Evan Cavallo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-28 04:11:32.532Z","domain":"mathstodon.xyz","followerCount":512,"followers":"https://mathstodon.xyz/users/danielgratzer/followers","following":"https://mathstodon.xyz/users/danielgratzer/following","followingCount":170,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/347/460/237/678/866/original/fe1b63e2b580975b.jpg","id":"8hqjj8d2rptk225","inbox":"https://mathstodon.xyz/users/danielgratzer/inbox","iri":"https://mathstodon.xyz/users/danielgratzer","isLocal":false,"last_fetched":"2025-10-13 19:05:42.869Z","outbox":"https://mathstodon.xyz/users/danielgratzer/outbox","preferred_username":"danielgratzer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtoCR+Cf9KOXg93ijIjse\n9Lx0S9ArGsljMyDe+ovl/zmbUIF248uGiXMfSUHCDkbqYUklge84qqUX/TinIVI9\nbziw5lWZAVcxmb9n68Li/JKv+N6hbuqOIF6Kjg119M8NXijYTlIkVckyszl2sOEp\nBmcqVvjNBF12LvulCGaXQRbUaRKD988sJREnSDDFPACG1nHa/A3WhMuJ7Lb2RJiv\n9xmQV575mGkjHPVOqtxUwmnRdXrNFzq4ZNZTtoFg35p3SdXZGqfPQDA2fm7MXfHf\ntZWQoFdAsDApp5LG9n2KqANKxMNiJHJtK78QIEOddKr8vkoV2lGx0Rj7Xi0Sh75o\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

","updated":"2025-10-13 19:05:42.869Z","user":"","username":"daniel gratzer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 19:39:27.391Z","domain":"hci.social","followerCount":2656,"followers":"https://hci.social/users/chrisamaphone/followers","following":"https://hci.social/users/chrisamaphone/following","followingCount":1005,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png","id":"mw56l9qk8k75rsm","inbox":"https://hci.social/users/chrisamaphone/inbox","iri":"https://hci.social/users/chrisamaphone","isLocal":false,"last_fetched":"2025-10-13 19:05:43.237Z","outbox":"https://hci.social/users/chrisamaphone/outbox","preferred_username":"chrisamaphone","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyp13rnOkuLdtoCTF4zmK\nqvr5McTnu5VSBpS438rK//bd1oxB5KGyZDDbLAe5OSO05JPz/6GLH7JIIxmCxsYv\nFt9QIW0DR/DlZTOsDT4vATI0xXFoFX1X5gmaK+CQGraORUQeZGtLh0vtKVStm7b1\nt6DjrR+9QUVZ/F7WxVDrV6jxebjTuwmlCcFVw8WzRiV/6ZTkG5lBjMGwEIxjTjAP\n53ZjK3i13L1jhwoEZyxA0RUILTpQH0ooYzRRj6o3SYVrWkc1nz0NHXJ41yh7Q10W\nxPu9o7zwST8VBQxsEmVfEs3BCQQ20sGqf/XjIbpmXv09hlMYMqkVw4U7prKhd425\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

go slowly and quietly, and look deep

","updated":"2025-10-13 19:05:43.237Z","user":"","username":"chris mort💀ens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 12:00:18.449Z","domain":"mathstodon.xyz","followerCount":130,"followers":"https://mathstodon.xyz/users/jacobneu/followers","following":"https://mathstodon.xyz/users/jacobneu/following","followingCount":77,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/953/800/739/556/319/original/09203b74c7711cad.jpeg","id":"k6c9qh0njc18igh","inbox":"https://mathstodon.xyz/users/jacobneu/inbox","iri":"https://mathstodon.xyz/users/jacobneu","isLocal":false,"last_fetched":"2025-10-13 19:05:43.264Z","outbox":"https://mathstodon.xyz/users/jacobneu/outbox","preferred_username":"jacobneu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApNZVtuclurHmTVKQGWco\ngaT8krPZ40HIcmfdcjKu5Je4ioiTuReor2JVroqJGoq1TpSblUAMb/ht3wx2eG3a\nkXj7y2XnYsf4QCVG3d6dvY0TqQ48zSu+2mVDwzuC6m97xCLLpetXO15CRlsA1xxf\nO3tgr/C9Q52Q6MArx3MHpuCEe6cvOYcXm894DoVBUZDkAPuCsYZXEjp8ijlcXbdG\n/gDEsXdpNQh5EseURpImcOeypeZnP6xDWLEYk2oI30tX4hB5Q44yHEktVNwXqbPq\nhvgg4lZfhXXtvu66MNyeuvEGDzqKXXaTgSo8k3fFHT+02jTqNietVDFa8jK7W5wu\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-18 00:00:00.000Z","summary":"

Ríkjafræðingur og gerðafræðingur at Reykjavik University
Previously a PhD student at Uni of Nottingham
Lover of bright colors and spicy foods
Has been known to sporadically create content

","updated":"2025-10-13 19:05:43.265Z","user":"","username":"Jacob Neumann"}],"page":1,"perPage":10,"totalItems":19,"totalPages":2}

Johannes Schipp von Branitz

Followers