{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-03-08 18:35:41.969Z","domain":"mathstodon.xyz","followerCount":9,"followers":"https://mathstodon.xyz/ap/users/116159891833300151/followers","following":"https://mathstodon.xyz/ap/users/116159891833300151/following","followingCount":28,"icon":"https://media.mathstodon.xyz/accounts/avatars/116/159/891/833/300/151/original/5c1ba4d3c1e6d8de.png","id":"f05b4qvcvpvseve","inbox":"https://mathstodon.xyz/ap/users/116159891833300151/inbox","iri":"https://mathstodon.xyz/ap/users/116159891833300151","isLocal":false,"last_fetched":"2026-04-18 00:00:54.453Z","outbox":"https://mathstodon.xyz/ap/users/116159891833300151/outbox","preferred_username":"cdrichards","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtDSKEaaG6t8fdPhrs+8y\nnyWLxILwPsjVDwVmIIc0h5SAAmNDU+FaQbyHVaZOZPzww7AU2BN/7AB/MQk4pGUO\nxnvnpsXptZcy+6vBn70bpYmEXSiOu+4yIidxpJ+fN2nC0Q8kICVNSWfs3xhNnqNa\nORI1MBnT2gQ6YeglOzD+8JKV+WmwmLiaQoJIb4m6/soRzn/pV3MG1O6o4gmB+/bn\nRoWC4LoUGx+4AsBw3qQe+J2mwF6gEZfzWzO+ZjHOwnLATNiFUAJIPoCgf5eB1QP5\n4Bw92hcNyGWJMx7GmN+Fo3vgz3/Hw+Nnu3VZoI2MCo3HSoexODlbRoGyCTHswHKu\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-03-02 00:00:00.000Z","summary":"

Software engineer and proof-assistant enjoyer.

She/her 🏳️‍🌈🏳️‍⚧️. I like poetry, taking photos, singing, tinkering with formal systems, and cats. (This list is non-exhaustive.)

Follow requests welcome. I speak only for myself.

#nobots

","updated":"2026-04-18 00:00:54.453Z","user":"","username":"Christina Richards"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-09 08:42:34.061Z","domain":"mathstodon.xyz","followerCount":74,"followers":"https://mathstodon.xyz/users/vc/followers","following":"https://mathstodon.xyz/users/vc/following","followingCount":136,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/633/282/595/123/680/original/f019321e8523496c.png","id":"02vszi56us92pa4","inbox":"https://mathstodon.xyz/users/vc/inbox","iri":"https://mathstodon.xyz/users/vc","isLocal":false,"last_fetched":"2026-04-18 00:00:54.492Z","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":"2026-04-18 00:00:54.492Z","user":"","username":"vikraman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 15:52:53.486Z","domain":"mathstodon.xyz","followerCount":104,"followers":"https://mathstodon.xyz/users/clemens/followers","following":"https://mathstodon.xyz/users/clemens/following","followingCount":152,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/287/050/196/501/528/original/1720cfcd36773059.jpg","id":"rvhqev4yq8o6via","inbox":"https://mathstodon.xyz/users/clemens/inbox","iri":"https://mathstodon.xyz/users/clemens","isLocal":false,"last_fetched":"2026-04-18 00:00:54.530Z","outbox":"https://mathstodon.xyz/users/clemens/outbox","preferred_username":"clemens","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo7c5ldnikO4Tb3pLKwmE\n+GB8p26b+NtAy2nZInjCKTnD7yXOsS2XYmBtcVPVrGUNx3lZgiLRkGbF7J5bFTIK\nokL7Ly1v/3bfSuApCEq3XHArgta1PgJLvWgZWREKZ5UiUbLHDtB8ixZtcPCbOkh4\nck9QyrBvrGqp73PjU0DHxnX1aufwLADOVHGszMoamxOLfy+H+4NM21K6Ak22VHtL\nNbrxd3P4pXFDSkX2UdhB4cQhr6d4xNYTGGTdbtGlpSgJXFoaPfAouRlqxzP0vn5m\nHhXhg2nDoOgDa6olF5+vzct8TcmzJ1xMs3gDfjz94EPPDtNImtmKpGXcoCblbTxx\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Logician/computer scientist living and working in Scotland.

","updated":"2026-04-18 00:00:54.530Z","user":"","username":"Clemens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-18 00:00:54.997Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/dilsatby/followers","following":"https://mathstodon.xyz/users/dilsatby/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/389/063/089/626/323/original/f8882b0102d6dd8e.jpg","id":"zx2kdsmmyll3uz3","inbox":"https://mathstodon.xyz/users/dilsatby/inbox","iri":"https://mathstodon.xyz/users/dilsatby","isLocal":false,"last_fetched":"2026-04-18 00:00:54.996Z","outbox":"https://mathstodon.xyz/users/dilsatby/outbox","preferred_username":"dilsatby","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwfHICVHHbEdRizgA3TGp\n2SgrX+Oqa6XVR4iwmX0KodreE/PS3gcFuVuBTgvo7toa6tJd2JHz0FAzbU5alvZD\nETbCmccUa2lAo8MpA6nBw/GuIHnOEKjnUWL7mI/nGGtuAtHoMwG+Bhq3G73d3rbr\nJDVchxi3j+46qI4ViWxvRQXD8sfKCKPxedCTjm8J0YnZjl5jAWqe1O2fdTi9WZxs\nBlkZnJAFq/OFEorCnhf9K1uwOyCdZUO27vwvcndc9fwUtwgHF55KUAMCOpH7Tudi\nrfPat6zGf/FZvwF9JhTXrz9MzWuif72qF2BpW6iRuPbJk8XZfsLN4qoKIjEJupMf\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-22 00:00:00.000Z","summary":"

PhD student

","updated":"2026-04-18 00:00:54.997Z","user":"","username":"Dilsat"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 11:44:58.209Z","domain":"discuss.systems","followerCount":339,"followers":"https://discuss.systems/users/jfdm/followers","following":"https://discuss.systems/users/jfdm/following","followingCount":237,"icon":"https://fd.discuss.systems/accounts/avatars/109/604/343/824/886/175/original/f2d879eddbbc9d21.jpeg","id":"sx6ed4jxvpd5b4t","inbox":"https://discuss.systems/users/jfdm/inbox","iri":"https://discuss.systems/users/jfdm","isLocal":false,"last_fetched":"2026-04-18 00:00:55.463Z","outbox":"https://discuss.systems/users/jfdm/outbox","preferred_username":"jfdm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0K7PCuyuCqgq4oeobhzQ\nCIDl/OtNP5JUY/PSOAm1SUeJka67Us5NWWooPNhhPWfdCIWE92TW+8uImglQKnpb\nVI0Bdiw8jUeYfR3fOZPF1DIkemxT3QAWQ2hN4It+AwzHJTUYnxb+oxWRNIbSIq72\n00N0vscH3QItsQMHQ2yRBNT7Go+f1T2ig71o4h+LhbQlTqHenSg/cWr1gZSC86aw\na70QbXT6YgWJirCD5pGNybgPxdUkkJJ48etGxapdArWzoxRjPgcMOSZBRGukC/ev\ne3JII7BKZDayI3ut2j6KSN9RvJL98KI1ZhJCnUKthoWSf4u6GjLkSuVX6tFKv76L\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-30 00:00:00.000Z","summary":"

Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in coffee, politics, music, the outdoors, sci-fi, high fantasy, & much much more! My work doesn’t define me; it is not my identity.

","updated":"2026-04-18 00:00:55.464Z","user":"","username":"Jan de Muijnck-Hughes"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 18:33:42.947Z","domain":"mathstodon.xyz","followerCount":24,"followers":"https://mathstodon.xyz/users/LunaticLuna/followers","following":"https://mathstodon.xyz/users/LunaticLuna/following","followingCount":26,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/282/924/081/539/435/original/6b78ee54bc678331.jpg","id":"grncav3g9gypve0","inbox":"https://mathstodon.xyz/users/LunaticLuna/inbox","iri":"https://mathstodon.xyz/users/LunaticLuna","isLocal":false,"last_fetched":"2026-04-18 00:00:55.501Z","outbox":"https://mathstodon.xyz/users/LunaticLuna/outbox","preferred_username":"LunaticLuna","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlmOKXH49zsQ9YLEI0y0J\nbIQOMTLBtqc1MAu6//0CQkeLCfBbqD2acZJaVRvLpxA3hRSwojlbbLmYXLQ45+Xq\n4ytl0pXNIW1XxPshMc3wpwEQQeZXkl6REUUet87cXKuCvuPk2ZfhUUXPSJadCEbY\nsNImnvmZSL5vZklgm5DKBDf7futuRW7j8g922SSvSiJXd6eEJ135YNwberLdC9hG\nVKBsQPaBydeTyKOkK0AzB663HgDSMcfjAfvkMSKe/2hrST/zUehtqasjELyuOL7/\nqRNupRZY/ZLtIGIOPvuTs33ujWdBfv2mxgg66hscH/XjJiJ1h9U1qtrbokY+BOJu\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-28 00:00:00.000Z","summary":"

silly transfem maths nerd :3
i have committed to mathsposting
i try to share my passion with the world

","updated":"2026-04-18 00:00:55.502Z","user":"","username":"LunaticLuna"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-11 03:11:35.706Z","domain":"mathstodon.xyz","followerCount":433,"followers":"https://mathstodon.xyz/users/buchholtz/followers","following":"https://mathstodon.xyz/users/buchholtz/following","followingCount":213,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg","id":"2oez806jj74hcic","inbox":"https://mathstodon.xyz/users/buchholtz/inbox","iri":"https://mathstodon.xyz/users/buchholtz","isLocal":false,"last_fetched":"2026-04-18 00:00:55.540Z","outbox":"https://mathstodon.xyz/users/buchholtz/outbox","preferred_username":"buchholtz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3PFH7hzHo7WthZQahsZr\nRzyxwy1ZI5crjWCgZqF6IOHUX3qisEIoI5ycjXWpUGlMH7UZl7GXnk3qw/nzh3L5\n+QkIvrj9eoifIvHFDxwgmu9oPHT4IqdmYG48bq5wBCEBisHcSVuuHs+JB0iV4I4r\nDHFwmJ3Mvo0gHWjmfex/E5n/FF7o0t6Ja9j5d5V1fwqFO0BunP55SdRcBKeVjmto\ncUb7Sm1+0OVIl5x4uZPTyIblSwm4/BpGy7aexy7GH5Uww3qzDCI6t8U3jsNoW4tE\nAYpPtSjHpMaaejbJQyGzdXErmxWUgaomnKjzof/IuoPD33BSZGWkXQ57Wy6zesy8\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-17 00:00:00.000Z","summary":"

I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.

","updated":"2026-04-18 00:00:55.541Z","user":"","username":"Ulrik Buchholtz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 02:46:54.930Z","domain":"mathstodon.xyz","followerCount":164,"followers":"https://mathstodon.xyz/users/fnf/followers","following":"https://mathstodon.xyz/users/fnf/following","followingCount":137,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/783/996/624/264/432/original/500f991a72be56be.jpg","id":"j86q8poyvfzk9ba","inbox":"https://mathstodon.xyz/users/fnf/inbox","iri":"https://mathstodon.xyz/users/fnf","isLocal":false,"last_fetched":"2026-04-18 00:00:55.580Z","outbox":"https://mathstodon.xyz/users/fnf/outbox","preferred_username":"fnf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1QvII2iYtrWXp1IXm4Q/\nZTGKtfqpaTXMsHVWb/Mdvz1aJZMdW671Fkhubvnb5Amiacc9U+61RpJXbKGCkbqr\njw0npAaCuyFoR2iRa26h5WDGFGV2v+4uLhvWEn+UefiQG8bySB+mt4AxhDHecBkB\nzxOnUP5EPaGnMGJB3dncoTuZvD/KofqyWkBQuLAg6WQXeiby4Rp5OpboppeUWFuo\n3CPkLi9Lyc8DEAiNDzz0WUuE0z1EehrXI3ZBw/aUlsNQM2RDCFtC4Iae+XYuYI+V\nHpvuQmbL9N1xWC6oN5nWn5rd1ijH3zVZhCj1RAZMcERKy1BQt/7T9TZisNMWiu8/\nAwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.

","updated":"2026-04-18 00:00:55.580Z","user":"","username":"Fredrik Nordvall Forsberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 22:33:33.671Z","domain":"mastodon.social","followerCount":2,"followers":"https://mastodon.social/ap/users/115731210911235255/followers","following":"https://mastodon.social/ap/users/115731210911235255/following","followingCount":46,"icon":"https://files.mastodon.social/accounts/avatars/115/731/210/911/235/255/original/059387a832c24430.png","id":"nonqb2k4lshlz3e","inbox":"https://mastodon.social/ap/users/115731210911235255/inbox","iri":"https://mastodon.social/ap/users/115731210911235255","isLocal":false,"last_fetched":"2026-04-18 00:00:56.266Z","outbox":"https://mastodon.social/ap/users/115731210911235255/outbox","preferred_username":"maxjmath","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuXrfpV38nzbHJR0go1Pc\nVlrUdNjgQyWeDsHGcCjp6eSpIJAUvfHDsDrt7BzlxkFyjdE+rWbL6L0okqVM8BvD\nn8qxRqbZVCPZM6ZY4A9BSM+TfI0QCFFtmIKGEIlADykYgfa90HBe00RHqw4diXHp\nR9O+YBVoBY4oCkxYczurxOxUymWb7zIon3Zc7kbkw8nTaQkppsB0rAwfNpcB4tfl\nZtQiihaZ6pvKLK+xlH0CNzB1LKr615mW66tGPHiTKfg3mXvZDhwKlINlfAjoAXFk\nHEeJe08TdjAfARUCtGrY5l2Cv020IMJ+4WvFevOGB8fVswMKGEFYC29HbGWBzFjR\n3wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-12-16 00:00:00.000Z","summary":"

I am finishing my Ph.D. work in Mathematics (Homotopy theory / algebraic topology). I am currently starting to work on some open source software. Gotta finish my personal website first.

","updated":"2026-04-18 00:00:56.266Z","user":"","username":"Max Johnson"}],"page":1,"perPage":10,"totalItems":20,"totalPages":2}

barbie's dream house of leaves

Following