{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-08 13:17:29.444Z","domain":"mathstodon.xyz","followerCount":10,"followers":"https://mathstodon.xyz/users/qschroed/followers","following":"https://mathstodon.xyz/users/qschroed/following","followingCount":46,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/201/246/029/030/564/original/fa3f4f2a116f5f7b.jpg","id":"g7ssgf45713w5s5","inbox":"https://mathstodon.xyz/users/qschroed/inbox","iri":"https://mathstodon.xyz/users/qschroed","isLocal":false,"last_fetched":"2025-09-08 07:38:50.688Z","outbox":"https://mathstodon.xyz/users/qschroed/outbox","preferred_username":"qschroed","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqusAjEyi5XPlRX7cdWX0\nnZe8XkQ+sUkHgWvGoodMW0ofG2Ja68c2EaLr0faIpO0XmN02x0q8PMZmMYJGUd7V\nL7pBHlgfQybifzWHCNpUirIjN3J1KvqDOi2NfI5RumjftRlAUjfnjlbA8AUPiA30\n6yoragXr2kRZ7oyHZyMY6YtU+7FnXyUN2TCR3DTWu9zU/RnmhE7UxXNK/RxrZ1fd\n50xJZKj/y12A4+h/jjYXrqVdVx4+qsGkJsFAhNDCLV7zU/YbLb12TjPiZA9fDelF\njuTEOslfDyi4XU+Z/VVcygl6DZz2ZuMg7L7D/XnZfFi74jkqrcLfiorsfjWUQHBI\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-21 00:00:00.000Z","summary":"

Master's Student in Theoretical Computer Science at U Paris Cite.
Doing an internship on Lax-Idempotent Monads with Jonas Frey at LIPN (Paris Nord)

","updated":"2025-09-08 07:38:50.688Z","user":"","username":"Quentin Schroeder"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 11:37:27.402Z","domain":"mathstodon.xyz","followerCount":188,"followers":"https://mathstodon.xyz/users/counting_is_hard/followers","following":"https://mathstodon.xyz/users/counting_is_hard/following","followingCount":133,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/383/922/808/770/225/original/2cdd68e49c78fc86.png","id":"a6xba7z0bi4g4p2","inbox":"https://mathstodon.xyz/users/counting_is_hard/inbox","iri":"https://mathstodon.xyz/users/counting_is_hard","isLocal":false,"last_fetched":"2025-09-08 07:38:51.054Z","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-09-08 07:38:51.055Z","user":"","username":"Counting Is Hard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-03 16:59:25.119Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/kelton/followers","following":"https://mathstodon.xyz/users/kelton/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/430/438/246/719/564/original/5086b3e1d3819bf2.jpg","id":"5is0sax8090wuvm","inbox":"https://mathstodon.xyz/users/kelton/inbox","iri":"https://mathstodon.xyz/users/kelton","isLocal":false,"last_fetched":"2025-09-08 07:38:51.220Z","outbox":"https://mathstodon.xyz/users/kelton/outbox","preferred_username":"kelton","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAi8SvnLZcPviqN/Ucy+GX\ndji1pKduXCVbNL77qkAErdGqpeoGu++TljyqjL8j48bj5WT0yEmkro3tfgPjt9i+\n4+uc0Ve446H44xAwC/AgRrPt/wWXl97aD4w7nH17Yp/33Zgb1f7KNWF7nycwM6NE\ne/y0KXto/JUWjeLKzArVx9R1zbMIfCstQt5CmnG1T4Qr5QRbYE9EhaAFiKoK2qru\n/HBz2h4FdJwQV5CVhIkwpL0f4L+Ht40Y2/gsne20piEDEIuRDrtq5zlHzMXhDx6/\nmx9C/esb4nsYRE1cgdyWyXXfMggX2O+fVZea56jaQjOSgvpqviJ4Bl55n19uf5Fg\n1QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-05 00:00:00.000Z","summary":"

1St year PhD student at IU advised by Carlo Angiuli. Type theory wannabe. From Minnesota.

","updated":"2025-09-08 07:38:51.220Z","user":"","username":"Kelton OBrien"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 09:54:20.194Z","domain":"mathstodon.xyz","followerCount":199,"followers":"https://mathstodon.xyz/users/mortberg/followers","following":"https://mathstodon.xyz/users/mortberg/following","followingCount":88,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/243/289/583/681/637/original/9a704c7061812fb0.jpg","id":"0kt8l47y35a7amj","inbox":"https://mathstodon.xyz/users/mortberg/inbox","iri":"https://mathstodon.xyz/users/mortberg","isLocal":false,"last_fetched":"2025-09-08 07:38:51.386Z","outbox":"https://mathstodon.xyz/users/mortberg/outbox","preferred_username":"mortberg","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp3fBKDd/Y+/viDMsTZ+k\nkM8DRWkohyTUlgznclEW+xzL7UcNMt4TtRpJUb/G0yLAS6Cy+v4rA9RiK4oF13Z5\n9qrjij4+rumfwRg5ybZfY5nTHHhEDd+TzMrUmzS6blKyo1bv8HTNxBJwRpCvpxP5\ncaCCnfo1ZwR2maG5k2KiAihteLdnsfdYC4Defod+F6BYHGHYg70VbUjJVjos5t/q\ndW3gQRQEH1ftHlVkY97RBwLLr8XGuOBOHuJEXG6lT6z0BvBtGInJrhodkn6xzkWd\n56FFnIgwE2me65gCV7/KkxWaWJnIQSsTL4GeoX2F4sf1tLlTL6phBllncO/iU+mi\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-16 00:00:00.000Z","summary":"

Associate professor (docent) in computational mathematics at Stockholm University.

I'm interested in HoTT/UF, cubical stuff, constructive mathematics, logic and type theory, category theoretical foundations, functional programming, computer formalization of mathematics and computer science, and much more.

Webpage: https://staff.math.su.se/anders.mortberg/

","updated":"2025-09-08 07:38:51.386Z","user":"","username":"Anders Mörtberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 11:31:45.269Z","domain":"mathstodon.xyz","followerCount":36,"followers":"https://mathstodon.xyz/users/mabeltree/followers","following":"https://mathstodon.xyz/users/mabeltree/following","followingCount":70,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/284/246/961/454/467/original/88c8f099f6a27868.jpg","id":"x9b02u377d9i26m","inbox":"https://mathstodon.xyz/users/mabeltree/inbox","iri":"https://mathstodon.xyz/users/mabeltree","isLocal":false,"last_fetched":"2025-09-08 07:38:51.551Z","outbox":"https://mathstodon.xyz/users/mabeltree/outbox","preferred_username":"mabeltree","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt4FauN/sOGRXCyxbWVew\nKLACSQVGVr96J0QXlJLV67hHE+ZCJ3pm5zBjZfiBBDLdgzYcjSxGemGDFlyDud17\noYt7h4kw/0ipuXEvR5L1Ll6M5EJzy0vPLZLeWytpek+RjbvBVC3sG6Zu+SsMq0fk\n37ZMtzPhwof6WtaztT2ZhTR3ZsWAf2u1WGvn7u398ZtU/qXAzR6ERxwNtpRhwmkq\nqaV/zuXHR/0N53zV+U/ERoOQypBVPeIpNshq3/ICxsE7ykVP+xZLCCrEW8K3Bh3B\nM/vLQqc36uITsyBB/I8I/Mt+pXRkaWGrMKlcrhmSDBFYzasNA3Gc84sBij1VYSbw\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-29 00:00:00.000Z","summary":"","updated":"2025-09-08 07:38:51.551Z","user":"","username":"Mabel Najdovski"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-26 07:14:47.408Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/a9f8caee9b981011.jpeg","id":"aok362u60p23aa6","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-09-08 07:38:51.799Z","outbox":"https://mathstodon.xyz/users/zyang/outbox","preferred_username":"zyang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0kW4yO9lrk7bOzIjXf1c\nYAioFNv4UbQHLVcHLvyWf3wUajWdrBPOvK2yUu32mmPTOIXJGFbgNKwmIrGBUwd1\n6UoPy8FSO+KLUG/5nQZHdpm6T6vCRlvSo5EXXEE2iyAwEApTiFBc9Z/1UN2w0/GQ\n+ZSy9oNRvfKo6Ux8QqO3TuvOqMzOc/iZj1S6jSFSPREfnHttIFo2ckFDfab2voGn\n5A8uxqVgl6/eCIkrSoXjm7vsLtJamvoipNyE4P26HvOqHQBuRdnUq02Yb7j+RFcv\n2g4Q2tL7kF2Xij26sVSZjc7dUCVrYqiqh85ZQDBYGatckCp4va+92/KC7ek1Hv5b\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-14 00:00:00.000Z","summary":"

Postdoc interested in algebraic and logical methods in computer science at Imperial College London.

","updated":"2025-09-08 07:38:51.799Z","user":"","username":"Zhixuan Yang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 18:02:04.591Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/tomstructured/followers","following":"https://mathstodon.xyz/users/tomstructured/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/744/089/422/276/824/original/06ab7a145b56a9c7.png","id":"jtw69hhe812342n","inbox":"https://mathstodon.xyz/users/tomstructured/inbox","iri":"https://mathstodon.xyz/users/tomstructured","isLocal":false,"last_fetched":"2025-09-08 07:38:51.961Z","outbox":"https://mathstodon.xyz/users/tomstructured/outbox","preferred_username":"tomstructured","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnU6yomKQNUBDVR3HS8cE\n2wbd0ibXY6CZYaw3UB5MRvXWHR+UJddGZnKtnXNBbPrJOKsMabu3MmGAwJg1XH6g\n5caTkocL7hwlz0wpEe5ZUiLseAzrKGtvnRFHx2A7BM80erDh5+H9K7YQxlZLV95Y\nIq6LTKxTKCdQaCFTPT4j3XQMNK17mqZ/q5q1gf0dYDJ+UwylE1GtinmHPVy0Q6bB\nZ4Sqm8Vap4VdImRqPIBxWY7RiS+J7LxO0HSexv6piY464FoQqZ1Lnnyc24r5E5zD\nGSpzZUSMhnqIb3kDryVfWuoGtgcSEx1jVy8F4J4lp/DWshjMbbdb7y70SfieJVcV\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-30 00:00:00.000Z","summary":"

CS student. Studying logic and programming languages.

","updated":"2025-09-08 07:38:51.961Z","user":"","username":"Tom"}],"page":1,"perPage":10,"totalItems":21,"totalPages":3}

Yee-Jian Tan

Followers