{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:08:01.244Z","domain":"mathstodon.xyz","followerCount":139,"followers":"https://mathstodon.xyz/users/HarrisonGrodin/followers","following":"https://mathstodon.xyz/users/HarrisonGrodin/following","followingCount":170,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/264/622/363/673/731/original/f1cb84f180df763f.jpg","id":"sf4agsj2ok9x376","inbox":"https://mathstodon.xyz/users/HarrisonGrodin/inbox","iri":"https://mathstodon.xyz/users/HarrisonGrodin","isLocal":false,"last_fetched":"2025-08-11 16:48:02.371Z","outbox":"https://mathstodon.xyz/users/HarrisonGrodin/outbox","preferred_username":"HarrisonGrodin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvblujHjZEWIgsP0RzGHP\nJf6nteF1WIhn5PpC0jIITqcN/VBbHg+3RR+7E4DZNLI/atCCjkY0STlVa7TAPCu8\nNkwcEZM0FGwrZA9dRsx9+j9NGV2mIP1LUDO3W9HxBJwu1R0jZ7vB9Js/D90w9ifz\nCi9qggN9Q4gwy+SNlmv+VP5TIaFo/S2D3h9N0ZdyShm2PCtnMNljchULpCTd2Gg8\nO87rUUN5ebiQ6oQsBOWLS8rf0/3DvjcCB7T7kXmRUNaSQQMsuDJrVB9HS4h+24+m\nuLobrc2CsAeaIbQrxnCkPanazHM0uir6/PG/KvXb2CD0MtKJqBeRm4+Vby8AMFs0\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory

","updated":"2025-08-11 16:48:02.372Z","user":"","username":"HarrisonGrodin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 10:13:59.234Z","domain":"mathstodon.xyz","followerCount":53,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":116,"icon":"","id":"a74110bx3u841s3","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2025-08-11 16:48:02.405Z","outbox":"https://mathstodon.xyz/users/nmvdw/outbox","preferred_username":"nmvdw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5X4P6dHNX6+/moc3YOsc\npMCylVK7d2vXH8jCxCBpFUVpsTjVa3CFgqbrbqEEFD1t10vrnwAo6rsbQVj3nEQb\nJ1gSNMuDJ+sXKwy1Z2HIiCNu2E7YW5w0fowqltcknUEbqAkoStHOFfaPG93lquw0\nKZiW2m4nVA1lAOMU/jWvg09upRmXNxO1vJd3aWtf7UC4d2lRfsmWLhwm+cpBiZR+\na3WOhXXr3enkMgjzpWtDbcf4AIlbTqjbXNAwztRTq3LT2YAWHkDXDnfYfAOU7omR\nIPx5ciC1qovu0UHbl2iYMHq8PC7uCdjYzKt6/LPCnsp6IwtT0RPv+n+NpbX+lB05\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-12 00:00:00.000Z","summary":"","updated":"2025-08-11 16:48:02.405Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 00:38:48.805Z","domain":"mathstodon.xyz","followerCount":185,"followers":"https://mathstodon.xyz/users/counting_is_hard/followers","following":"https://mathstodon.xyz/users/counting_is_hard/following","followingCount":132,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/383/922/808/770/225/original/2cdd68e49c78fc86.png","id":"c354mih9g92ftkr","inbox":"https://mathstodon.xyz/users/counting_is_hard/inbox","iri":"https://mathstodon.xyz/users/counting_is_hard","isLocal":false,"last_fetched":"2025-08-11 16:48:03.036Z","outbox":"https://mathstodon.xyz/users/counting_is_hard/outbox","preferred_username":"counting_is_hard","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuO6KbT4prXOCBid4Knyn\nVahzc7P0HMlkqCetsRLnIVIvO+X+SqZXxVER4ZFGE2TIirVQUTTffyemt33seFbt\n6j+lyID6tNkNnZO8tny98eCg9OL+j3s9MxVmqcAr4GnBeQjlSf4gjIkotLDSuxRp\nhAIVvD7EzILlMB6MUXTMzMXLJv2Qkh3lT3i0s4UxsiGQ4PMe+ZL0ucLJ4Et0yYCF\n5Gmi1c1OWRK40SieA+QHCRKWKP1gikWejjv6tciy8eJVfO1ndouX6kCmKLZ0XZ5w\n//awpncmgJDS7v5sni3nWFJJNRfYUfYSOt19WbO0YauqA16DDj59UI9Puh1GIngU\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"

Formerly @counting_hard on twitter. YT coming eventually. Pedant & Co-Pedant.
I don't check here every day
Dodecahedron Fan
Combinatorics / Category Theory / Type Theory

Non-Maths stuff: @shift_reset

","updated":"2025-08-11 16:48:03.036Z","user":"","username":"Counting Is Hard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:31:58.140Z","domain":"mathstodon.xyz","followerCount":59,"followers":"https://mathstodon.xyz/users/clemens/followers","following":"https://mathstodon.xyz/users/clemens/following","followingCount":108,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/287/050/196/501/528/original/1720cfcd36773059.jpg","id":"mcq03451lwbwk4r","inbox":"https://mathstodon.xyz/users/clemens/inbox","iri":"https://mathstodon.xyz/users/clemens","isLocal":false,"last_fetched":"2025-08-11 16:48:03.096Z","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":"2025-08-11 16:48:03.096Z","user":"","username":"Clemens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:45:14.939Z","domain":"mathstodon.xyz","followerCount":21,"followers":"https://mathstodon.xyz/users/matematiflo/followers","following":"https://mathstodon.xyz/users/matematiflo/following","followingCount":80,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/685/598/128/444/419/original/fb55138140c33137.jpeg","id":"urv8oq88692h0p7","inbox":"https://mathstodon.xyz/users/matematiflo/inbox","iri":"https://mathstodon.xyz/users/matematiflo","isLocal":false,"last_fetched":"2025-08-11 16:48:03.128Z","outbox":"https://mathstodon.xyz/users/matematiflo/outbox","preferred_username":"matematiflo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAkw9XAyKMLYcfWUzGpQM5\nPnSZD3f7ugEVCTiuvQFN5kYb+oH8vEwAnnQ61lF7slnBEw4LEQnRTaD5p11Yjx8J\n1ABpQQMd0AbTIcbfFHBz0Y7WXtkJ/QKMxTjq3Ymi74RQH43Pg7/eN7dUIxj6cknR\nhfoCfvWlYOPFGJCjWTQVktod0H+lJxDxGUXtSyAKu+SwknNDkvBshM12Jxkh4cPq\n0BAqPLnoPi+TIb3YbpN/e30JTgDyOUJB/M69ELVqYyoTMVP/4zQ6XPXECCVes7bv\nGrV3BfgxM44vtl4Pv2+OCqbKTQjbBUJWPjN+MujCp9P+6baezTpEIXIFwBX4gG+Y\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-20 00:00:00.000Z","summary":"

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

","updated":"2025-08-11 16:48:03.128Z","user":"","username":"matematiflo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 14:26:40.353Z","domain":"mathstodon.xyz","followerCount":40,"followers":"https://mathstodon.xyz/users/omelkonian/followers","following":"https://mathstodon.xyz/users/omelkonian/following","followingCount":52,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/285/072/197/876/866/original/daf18f7c21784711.jpeg","id":"38n214v3b8mrppc","inbox":"https://mathstodon.xyz/users/omelkonian/inbox","iri":"https://mathstodon.xyz/users/omelkonian","isLocal":false,"last_fetched":"2025-08-11 16:48:03.164Z","outbox":"https://mathstodon.xyz/users/omelkonian/outbox","preferred_username":"omelkonian","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnjKO8LekVhMhWk7lBITk\nd9FG5o5Oq2hVCmAPdHKFkhR1C7syBne2R8Hm7PtVXMncQ5z+yh5T9cDo0J/2dqYH\n4jqdoEVz+RqURFRw3Mme0EcUuB0TLVjf7/NXjTwMYy2qvQ2FHHwjXXWQYHhjr3PV\nwsPpDSHUhNvO+ZPXSnmtSlbzLYnNBSkn80UQhl1m7aWEKLpDnF6GX+BVmzom8Uq9\ncAJDhfJo7FT1SeR2n8Ih4piSveCfar2MRsHxb90Ti09D9ObNoieTsE4dA+2SWAhq\nQF7uBy/0IMFwY79rThnN90TENuY8taXzJKJuW2tizrjqL0tY2KABIWeXWi2V6oLJ\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

PhD student @ Uni of Edinburgh.
Previous coq'aine addict, now seizing the means of production (code) with Agda & formalizing consensus / UTxO blockchains / smart contracts.

","updated":"2025-08-11 16:48:03.164Z","user":"","username":"Orestis Melkonian"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 23:27:02.735Z","domain":"mathstodon.xyz","followerCount":311,"followers":"https://mathstodon.xyz/users/czhang03/followers","following":"https://mathstodon.xyz/users/czhang03/following","followingCount":1124,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/351/081/350/510/459/original/e8510960ad837989.jpg","id":"puw1q9691t7u7w8","inbox":"https://mathstodon.xyz/users/czhang03/inbox","iri":"https://mathstodon.xyz/users/czhang03","isLocal":false,"last_fetched":"2025-08-11 16:48:04.865Z","outbox":"https://mathstodon.xyz/users/czhang03/outbox","preferred_username":"czhang03","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw+7Z86RWLBlWfiCEUoJ4\nQVkAPG/9Iz9f4iuauVzWGUUumV37mB3jCQk6vLweQD8oFt7qOcHX8JY1h9EJlxrQ\neC1u9dBZeA5mwe9FLlBjjPRvviAxpuejEWm6onFU1UBDmR8OuRrPJxgtoc/l6vGh\njv8a+Hn/lV4QRcPdgG1TGDxTqrR/4+f0Y1MYpUuvOtTQ8/CgqVXiwSJeKV8VJClY\nQ2DK6QCdWu01+GZiQ51FsR5xAO22VQPSqYv6gcw11LG2Rj3DDVylqgMRzj2N6kf6\nAjT8CuV+fixSdMP53d+VZ+Hvn+gmvO2UbbOuhybEYlaDpCLr7NVohIhLcd27pS+G\n2QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-16 00:00:00.000Z","summary":"

Vibing good vibes; mathing bad math.

non-associative, non-commutative, non-symmetric, non-idempotient, and non-continuous.
Do not lift, extend, or generalize.
A fixpoint that is not least, a functor without adjoint, and a directed-incomplete partial order.

Generally co-menacing co-categorical co-object.

"I cannot Grothendick construction under these conditions."

","updated":"2025-08-11 16:48:04.865Z","user":"","username":"Cheng Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 16:48:04.910Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/erikagain/followers","following":"https://mathstodon.xyz/users/erikagain/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/986/462/412/494/072/original/201f2e4ce186314f.jpg","id":"1uak60rp19ttz8l","inbox":"https://mathstodon.xyz/users/erikagain/inbox","iri":"https://mathstodon.xyz/users/erikagain","isLocal":false,"last_fetched":"2025-08-11 16:48:04.909Z","outbox":"https://mathstodon.xyz/users/erikagain/outbox","preferred_username":"erikagain","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvaFmlMkhsNlf/aepLz5p\nejTibdia3eqjvRHJUBUjZFcxcRTcvuv7+9/LHs5ZwFO019UPb7+xQ+acVO3lYFDT\nZE+P0Z2hOLTXYrdcBeEbvrHKUXJZWwpCWKi7KwPFt3EWWcFPVHK1FdbH6s2tOls1\nZSNltDauCttQMP7ZzkTofBHsSVXjOR4NMT6y3T2nFlu7Ps+6cXyiKRD0gCVZh1h5\nOL1HjV609Jg7ViD53SJ04NPYQFNpxa3iXq8MjT/2WM8Dxd8c69Uv2Tcvdp2+rjDC\n8oMnBgL4pe0jyf76aX3h9SjdWpjrL2XttRJoIVEYwbsKjF5RbukI0PxZPzZy9Z/G\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-31 00:00:00.000Z","summary":"

profunctorial plumber from the Amsterdam area 🇳🇱🐄🌷

","updated":"2025-08-11 16:48:04.910Z","user":"","username":"Erik Post"}],"page":1,"perPage":10,"totalItems":135,"totalPages":14}

Fredrik Nordvall Forsberg

Following