{"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-03 16:59:24.326Z","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-03 16:59:24.327Z","user":"","username":"Quentin Schroeder"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-16 12:05:25.204Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jaycech3n/followers","following":"https://mathstodon.xyz/users/jaycech3n/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/331/282/956/573/481/original/e07c7befff03e2b6.jpeg","id":"9m463xjrl1jx0ha","inbox":"https://mathstodon.xyz/users/jaycech3n/inbox","iri":"https://mathstodon.xyz/users/jaycech3n","isLocal":false,"last_fetched":"2025-09-03 16:59:24.535Z","outbox":"https://mathstodon.xyz/users/jaycech3n/outbox","preferred_username":"jaycech3n","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxWvucV+bLdqNbrNzTdxP\n5TFkuUqSNolSfg3+O0x4XJ65StDbmTnRv6ABeH+eiqfFiApoPjbCoGBVxwQ53J7i\njVCalmNsaAh+CLKLr4vg9U4KYcvBHUW6NESTRWLB57h35hWB8ocndGSs/t91nstQ\n//iWtHM7gwjtauN4A8HtmKUn5CUB1w6occFuUxn4MUQQdMOxETbYdKZjf+Td3dH8\nL6meuF6MN+zH8GikaSm5867nqiB3Bl80m0sCui6gpIjWFW7qrEeH5Sjt+SHo3+9B\nnIwzbzs0S7QFOjwCznTookyOwWPJrWbi9Q5IP5KMGgIIF2XWMFi0dgMVSMxbjGaF\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Logic, categories and types · FP Lab, University of Nottingham → Theory of Computation, University of Birmingham

","updated":"2025-09-03 16:59:24.535Z","user":"","username":"Josh Chen"},{"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-03 16:59:24.700Z","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-03 16:59:24.700Z","user":"","username":"Counting Is Hard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 09:54:20.194Z","domain":"mathstodon.xyz","followerCount":187,"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-03 16:59:24.907Z","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-03 16:59:24.907Z","user":"","username":"Anders Mörtberg"},{"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-03 16:59:25.119Z","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":"

M2 Master's Student at MPRI. Incoming PhD student at IU. Type theory wannabe. From Minnesota.

","updated":"2025-09-03 16:59:25.119Z","user":"","username":"Kelton OBrien"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 00:52:15.150Z","domain":"mathstodon.xyz","followerCount":197,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":85,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"3575ci51953x164","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-09-03 16:59:25.426Z","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-09-03 16:59:25.426Z","user":"","username":"Carlo Angiuli"},{"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-03 16:59:25.591Z","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-03 16:59:25.591Z","user":"","username":"Mabel Najdovski"}],"page":1,"perPage":10,"totalItems":21,"totalPages":3}

Yee-Jian Tan

Following