{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 10:26:12.872Z","domain":"mathstodon.xyz","followerCount":187,"followers":"https://mathstodon.xyz/users/PfaffCatherine/followers","following":"https://mathstodon.xyz/users/PfaffCatherine/following","followingCount":107,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/293/274/194/399/528/original/f94deac1f79f536e.jpg","id":"d4zw1tf41l3e39l","inbox":"https://mathstodon.xyz/users/PfaffCatherine/inbox","iri":"https://mathstodon.xyz/users/PfaffCatherine","isLocal":false,"last_fetched":"2025-10-19 22:27:36.173Z","outbox":"https://mathstodon.xyz/users/PfaffCatherine/outbox","preferred_username":"PfaffCatherine","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwHjgsD2OWdm43eQbPIOg\nIiAy1BarXBc/FfZpmvELfoCAwqGHyvVUXVMRCuijZx/WrV3oiOxeWRftghv1dA5e\nx01BkPRlYC2dq3yHNku3GzjJ4dYShvRM6Rt4BHTxXG50mvcCB/mMW5UfUi4W1e1d\nKFu+0tros6sk1bdVJ7DysJcrm16Vjb7I1lUqa9VFBpGiXMeI60KjJOZM/LoMBelI\nVOXk9wl1HmnnrtMmsr0GsbXInjuHF0aP0dM4SkkjyVtrTRIhUXLUnEu9mGgIr5QW\nI32rTLIuuMNVDbpRSql21aCiK/JwA/r4bTjOZ29avSSbO0Ckwyvg/4b1ffiUv4GF\nQQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

I love beauty, adventure, order in chaos, & the search for understanding. Thus, I'm a mathematician. Math prof at Queen's Univ, topologist, soccer addict. Views my own.

","updated":"2025-10-19 22:27:36.173Z","user":"","username":"Prof Catherine Pfaff, PhD"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 03:00:41.294Z","domain":"mathstodon.xyz","followerCount":59,"followers":"https://mathstodon.xyz/users/joannako/followers","following":"https://mathstodon.xyz/users/joannako/following","followingCount":46,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/200/372/580/825/409/original/83989c7e881ed6df.jpg","id":"3289j2pl469739r","inbox":"https://mathstodon.xyz/users/joannako/inbox","iri":"https://mathstodon.xyz/users/joannako","isLocal":false,"last_fetched":"2025-10-19 22:27:36.218Z","outbox":"https://mathstodon.xyz/users/joannako/outbox","preferred_username":"joannako","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwbwokB74CDn3szXHog+P\nXBdG5h7kJQxe02axX7nSpC2c29qmCuPICb0wKv722jQalsSN4SWRzk/fsPxRnAHp\n+eHoSMLGZRTWfaQ1Gpv9U2sZl0TymqZbn8VgDchIUFP40EGjyab6iQITxHp7fkkD\nX/iBXN8cqZE/sfjlBDLXmNHDks0RvtkppEBisF9wcrskHZXWbaE8Bxm1Kh3rULh3\nyV0jCeIQBqLzSDwvdeG4UatJqh8smytFs8GBa+IzwLckTYFDHZWc1ZFGAWEECVmP\nSQFx9RdpZoiSOaicubKzFJkWllqttWBj4PBYiLxRuagsEodPuAWxp5ZhAmLeVoJY\nrQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

Abstract non-sense.

","updated":"2025-10-19 22:27:36.219Z","user":"","username":"Joanna Ko"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 00:22:43.997Z","domain":"mathstodon.xyz","followerCount":63,"followers":"https://mathstodon.xyz/users/clarkbarwick/followers","following":"https://mathstodon.xyz/users/clarkbarwick/following","followingCount":54,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/463/144/821/674/877/original/9f0cb4fdeb93d228.jpg","id":"5fd6z6b3751owya","inbox":"https://mathstodon.xyz/users/clarkbarwick/inbox","iri":"https://mathstodon.xyz/users/clarkbarwick","isLocal":false,"last_fetched":"2025-10-19 22:27:36.496Z","outbox":"https://mathstodon.xyz/users/clarkbarwick/outbox","preferred_username":"clarkbarwick","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmvLxLT+aJCsV16QrLtFe\nB79I3o60/Rjb+M5N0qMwglBZ9qsdI2/cKiU/nhmnDquUvUUHFPWm30lrXk5q++uv\nIXWOCp0R0clK9KKKjeA54Ydrcy3ZNIqSM6/2G+lkMUPmQG/Py/6Vsezy0SIf7ajd\n7hnDTUqE0wD1M3mFtfehETqFxFUOXYbmMLWkd0qpRXA62wMaiKSUyE5oCkPQiXmT\nOC9L1CfyOKiAbLWXU3EFLF3wdtzgOP/PrtzpNxDrLYyuaJ/GkiIm9WioQ69ChkKE\nWNDoWYwr/Mjd7mx9vp2Fwiz2ch2MR4sZS7oCfX8GHx608iADFSqRB99DxPp/G6wL\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-11 00:00:00.000Z","summary":"

Mathematician.

","updated":"2025-10-19 22:27:36.496Z","user":"","username":"Clark Barwick"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 14:59:57.032Z","domain":"mathstodon.xyz","followerCount":116,"followers":"https://mathstodon.xyz/users/maxhorn/followers","following":"https://mathstodon.xyz/users/maxhorn/following","followingCount":165,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/123/597/545/410/478/original/ce0cb0b9304903a3.jpg","id":"k63ufseg505689l","inbox":"https://mathstodon.xyz/users/maxhorn/inbox","iri":"https://mathstodon.xyz/users/maxhorn","isLocal":false,"last_fetched":"2025-10-19 22:27:36.537Z","outbox":"https://mathstodon.xyz/users/maxhorn/outbox","preferred_username":"maxhorn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8J8XSL8TD9JS/4ussVnR\n08MVabls2aESIlOK6ij/L5HuTR3zC7B0Zw/YV8aFkkdQseBphj3ZAeJixnlIfgpn\nvS17xcWyPHqBelFviIkz0iOzYRAs+8Y+Mo4BJqllyGDH4VeVeqwtL1cCOt297G1B\nT1TM03rJpLAprQ27ACQmyEHvsWNdLBlEHphNWYS/JBl8RSVTfvBHZJGgqXDNVb0f\njJO39TJGMTya++8h9Trnc6jaM+P+So4rqeAI1U33iPXUUco2jQsA6wQzdSi3zyM5\ns6JPDL6hkGmrs1lqkRXxBYyrRzCJORQxibeiEUlcnWC/D0NFBGVmeRghI/h5mnU4\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-12 00:00:00.000Z","summary":"

Research in computational group theory and algebraic Lie theory; open source; working on computer algebra systems OSCAR and GAP; Julia programming

","updated":"2025-10-19 22:27:36.537Z","user":"","username":"Max Horn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 23:46:00.721Z","domain":"mathstodon.xyz","followerCount":90,"followers":"https://mathstodon.xyz/users/prettydiagrams/followers","following":"https://mathstodon.xyz/users/prettydiagrams/following","followingCount":104,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/764/962/521/575/830/original/3e2b19550e23a808.jpg","id":"97237jan6t1u41e","inbox":"https://mathstodon.xyz/users/prettydiagrams/inbox","iri":"https://mathstodon.xyz/users/prettydiagrams","isLocal":false,"last_fetched":"2025-10-19 22:27:36.578Z","outbox":"https://mathstodon.xyz/users/prettydiagrams/outbox","preferred_username":"prettydiagrams","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7JWAYJOSMry+RYN+64yH\numXoMJgx4jP6SgUi0QyhrUSr8iNOWTVs9TBLJcet8572bjrNCLhztXEpTAu6S8CB\nr1hTLvZKKBYoQiXgwXoJBnX2NVNQwKR+43ah9sb3LkEctxHLluGayr08eVH0s6TY\ns7e/JaS75UaRJiolSA5a8YCIM+57OBKKEtMnH8M9D4sPvTtYJHWnSixDCofC3S+w\nxXt+EhqAMgBsyUNARWlsMXsOG0PcMX+IDGh+WMUaSK22YfsQlIzxeZ9r5O+bYaVv\njH+n0bf3IkNvR2TKQdBD97RMLYhEil+uzPGp3CFqFo+DiAm69Bdi7vsqYrABJ1bq\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-07-11 00:00:00.000Z","summary":"

Aesthetic blog for posting pictures of #mathematics. I like #geometry and #algebra.
Based at #AaltoUniversity. From #HelsinkiUniversity.

","updated":"2025-10-19 22:27:36.578Z","user":"","username":"Pretty (and) cryptic diagrams"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 14:43:51.695Z","domain":"lipn.info","followerCount":204,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":95,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"64qu7iy2i545lz2","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2025-10-19 22:27:42.222Z","outbox":"https://lipn.info/users/mevenlennonbertrand/outbox","preferred_username":"mevenlennonbertrand","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlgF0/w8VsRnfACR0mhY9\nfxAQ8LpjL/r8DtwC4L8LXsPp3jj3Mphz1dU23xPxcIY/Ob0j97dDKRW7keUc6urx\nYULRfonchTRGcmC/4paJWX9/6DA4ezKgw3Q5bwJzGkCRQLpe3zUvlX8xXPJd4qyl\nOrxUMCXdYC1i+mOikY38TjSNQlzkQMOg4dIbLrtF70FHcFujS199XWsB9t79DyGo\n5Xmb+eDaBGAzxGjka4C/cPorfuEIO00C+Wmty9Y0hJZtTx17lyw+cYkfayqoZWSJ\n9ZNPMyb/nppVcCRDspk0eR0LJ1YPpq/+9tprElIhNuNDkwlwFXIHGv0/HI11T3Tu\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-22 00:00:00.000Z","summary":"

Post-doc at INRIA/IRIF/Université Paris Cité.

I mostly try to convince proof assistants that they are doing reasonable things. Sometimes this involves studying type theory. Sometimes this means understanding what our implementations do. All in all, it's not too bad.

Profile banner (from the Leonard comic by Turk & de Groot):
- I wanted to serve science because it it my joy and instead of that, what am I doing?...
- Yes, what is he doing?
- I guess he's complaining!

","updated":"2025-10-19 22:27:42.222Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 02:15:47.965Z","domain":"mathstodon.xyz","followerCount":125,"followers":"https://mathstodon.xyz/users/taooftypes/followers","following":"https://mathstodon.xyz/users/taooftypes/following","followingCount":36,"icon":"","id":"60958u98p82p4d9","inbox":"https://mathstodon.xyz/users/taooftypes/inbox","iri":"https://mathstodon.xyz/users/taooftypes","isLocal":false,"last_fetched":"2025-10-19 22:27:42.264Z","outbox":"https://mathstodon.xyz/users/taooftypes/outbox","preferred_username":"taooftypes","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxDxqNE8LP3P6BmTY/O46\nib1FXKjoWtgaeqspO1tBtJ4hq4WkGkotLOgSLkUhVbyVFVcP5qQb3WMdFQHcUwyq\nfJBWIGeQY1H9KuBWym9RuU069ZjUxdrQDeG/kJtATTFagl3fF24Q7bsftAUWlZdu\nhc2Ugl8sNmtVmv3cVQaxM5xAy6SUFfZTzI5GE/aaC5JP+O36kIP0xeTz1GX0U9E5\nBSPBC9fqjNOYworMbV97QyIWCGmMUkyqX0+tT6gexhgtPCJT9JdWzf6i/im1G+J7\njKByaKfBb7soXPBUNUzNRA56LJGbH7bRL3VBkyDNQq/WS5Eh8iDtT+6q6C90f/sv\n8wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-04 00:00:00.000Z","summary":"","updated":"2025-10-19 22:27:42.264Z","user":"","username":"Thor"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 03:35:33.872Z","domain":"mathstodon.xyz","followerCount":183,"followers":"https://mathstodon.xyz/users/boutiquemaths/followers","following":"https://mathstodon.xyz/users/boutiquemaths/following","followingCount":174,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/330/171/699/761/274/original/8f5784e127b521b9.png","id":"p8v8tuybr1xpfcc","inbox":"https://mathstodon.xyz/users/boutiquemaths/inbox","iri":"https://mathstodon.xyz/users/boutiquemaths","isLocal":false,"last_fetched":"2025-10-19 22:27:42.811Z","outbox":"https://mathstodon.xyz/users/boutiquemaths/outbox","preferred_username":"boutiquemaths","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuQ1/n7iVdIGKrjbCdzHU\n/teR92PsyOmMPS2wfcSNCgTFa0cZc7Hv46lftvFKYkTzav9RxJZr/IpLWw2evNk0\n5wtCx4AhrfwvyIWXtRx9Uobjj0czbhuwP35Hpkotwq4iiB0ajVZIcMOn8DbAvtD5\n0ZIXmyvUpQO5jzS1VcNVGb5NQPhBfwcbsdXi6p9T4W480obc3gER0O2kbHB145aj\nf2OVuQCLYoW3/sW12tyHWM2iE+2gsXlIVceCzGWJ8wVQTd1y6z2Dg1LPF+QTRhzo\n/6ay5Nx7JW5umk5OD+Lga1lRgSGd/uNFGYTa5Igy1Qk1SmKlXcNHYRQDZ8rmxnV3\nlQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Hiking in the math wilderness on weekends. Math is a human invention and cultural good that we can all enjoy and contribute to ✨ Boutique Maths on youtube. she/her Berlin/Brisbane #iteachmath 永不称霸

","updated":"2025-10-19 22:27:42.812Z","user":"","username":"boutiquemaths"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 12:44:58.754Z","domain":"mathstodon.xyz","followerCount":129,"followers":"https://mathstodon.xyz/users/rahulc29/followers","following":"https://mathstodon.xyz/users/rahulc29/following","followingCount":310,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/000/576/441/398/077/original/cc969ce3469b42dd.jpeg","id":"6gr690mim8dh5r7","inbox":"https://mathstodon.xyz/users/rahulc29/inbox","iri":"https://mathstodon.xyz/users/rahulc29","isLocal":false,"last_fetched":"2025-10-19 22:27:42.850Z","outbox":"https://mathstodon.xyz/users/rahulc29/outbox","preferred_username":"rahulc29","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4F6FWT6SX9m3x2teRuiY\nzIwmlYKz8fOEwkb7lu6zAO/IWRXsxgOS93UVT3Zkuvn7WTGLKizSSgfTR38yen9o\nh0AzXpSZo8pbN3VXSZ+bzQv8Ui8UX5YpbUwA46ohx2NWhMjty1ks6sdLvLK5kAut\nlb0BgJDZuTr/0doPQZz3uLPyRDrxy63eyig0NJ7g4Vs1gPPeHioiNyw0A3+TvG6B\n+FzAFMQjSmJTm+a1T59sjuobVmagMDLA5qPuI3bYxNGNvKNaj3Ffj/g3L41z0BeT\n/uJ5PJ36Gus9Y05/2zyJUF/I/n4pE8Sw9wA1J3wxk4kmzKxRl1joJm4J1bX3lyTi\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-03 00:00:00.000Z","summary":"

PhD student in the Logic and Semantics Group at Aarhus University. I have a general interest in (homotopy) type theory, category theory, domain theory, constructive mathematics and their applications to computer science.

","updated":"2025-10-19 22:27:42.850Z","user":"","username":"Rahul Chhabra"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 14:07:46.093Z","domain":"mathstodon.xyz","followerCount":202,"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":"83610lbnmcat65o","inbox":"https://mathstodon.xyz/users/mortberg/inbox","iri":"https://mathstodon.xyz/users/mortberg","isLocal":false,"last_fetched":"2025-10-19 22:27:42.890Z","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-10-19 22:27:42.890Z","user":"","username":"Anders Mörtberg"}],"page":1,"perPage":10,"totalItems":31,"totalPages":4}

Julian Külshammer

Following