{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:01:24.340Z","domain":"mathstodon.xyz","followerCount":32,"followers":"https://mathstodon.xyz/users/ar/followers","following":"https://mathstodon.xyz/users/ar/following","followingCount":264,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/310/694/557/019/739/original/9d524e29c2cd4ab5.jpeg","id":"66902098014t2xs","inbox":"https://mathstodon.xyz/users/ar/inbox","iri":"https://mathstodon.xyz/users/ar","isLocal":false,"last_fetched":"2025-07-29 17:42:03.332Z","outbox":"https://mathstodon.xyz/users/ar/outbox","preferred_username":"ar","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtPaXIQDj5huKtLeIpIv0\n/sXNTzu6oljfaCPJ9scqFgK6rfIYYhrgBpcSNALze8B+SdOA/oE05mwUsC9K7FQF\nr2rjM3GrtAH9QG+nz6WtRZjuvMdobVjFbFMqVN2UKIn/li8WRvGkh5EuHML3qOR+\nocXJVE8bymNbbacVzjM+W9zouvMP0CXY+wjB44+oWwxKpWDcYiZPsTwn9nnusSn9\nINr8kUO8eM3349t6z1fMIg0ljp4MTtntgT+XKEKCZy6Ls5NvUw9G1wAkysVMhNFr\n1Z+lAXdLjvWICz2iwXurlmka98cZJFu3OB0oR25/TRBF/a3zBzoOqpy6ru3K9HuY\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-28 00:00:00.000Z","summary":"

Applied mathematician in industry. Lover of probability, functional analysis, and numerical linear algebra. Secret APL/J/K/Q enthusiast. Learning about graphics, types, robotics and embedded systems in my free time! I also like to draw, make music, fashion and cats. 🏳️‍⚧️

","updated":"2025-07-29 17:42:03.332Z","user":"","username":"Lily"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:55:56.307Z","domain":"mathstodon.xyz","followerCount":516,"followers":"https://mathstodon.xyz/users/abuseofnotation/followers","following":"https://mathstodon.xyz/users/abuseofnotation/following","followingCount":323,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/615/239/393/216/554/original/9b27ccf52ced1be9.jpeg","id":"e08a39ud7v4nit0","inbox":"https://mathstodon.xyz/users/abuseofnotation/inbox","iri":"https://mathstodon.xyz/users/abuseofnotation","isLocal":false,"last_fetched":"2025-07-29 17:42:03.364Z","outbox":"https://mathstodon.xyz/users/abuseofnotation/outbox","preferred_username":"abuseofnotation","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAroWSYukrrZ2a1B8N8gma\n32+ZWalpv2nQPY7JrFGwsLym0JB0Dy9/jYyfQ2hK6S7F5ScDStxDdGK8qK2qD6iN\nElfnE+m3cppJg6mGo8rqPHj2aVAJ+5hnhKXFxxfRyoPZKTTWkvANpbserk6tlQ9k\n2gzg68sS7kFG9GTSujo1Is29aX2WAqVCXYXWjMCBA5ONYepA3mBEvE7e+Yg2/88A\nmdkTOUTSAc2GJn2KeKpTwVtPx3UbfHymzWNGpNtIZRiXAS8txhfhwHyf7oxKFKzA\nbaDUZscmUy8ESXVUadZnI1+oczTdjw4qYKHvkxIOqRq12bpymHj1H7ji7c2szfmt\nQQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-01 00:00:00.000Z","summary":"

‘here for a ${reason}!’

Sex, drugs, and obscure thoughts about capitalism, and technology.

Also #art, functional programming, logic, formal systems etc.

writing “Category Theory Illustrated”… slowly.
they/them

","updated":"2025-07-29 17:42:03.364Z","user":"","username":"Jencel Panic"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 10:44:56.901Z","domain":"mathstodon.xyz","followerCount":1707,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":467,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"r1866528xya1888","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-07-29 17:42:03.839Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-07-29 17:42:03.840Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 18:25:45.095Z","domain":"mathstodon.xyz","followerCount":62,"followers":"https://mathstodon.xyz/users/ryanbrewer/followers","following":"https://mathstodon.xyz/users/ryanbrewer/following","followingCount":74,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/378/946/728/824/397/original/06aab7bc4de821ad.jpg","id":"3i8b55gcg5xu29d","inbox":"https://mathstodon.xyz/users/ryanbrewer/inbox","iri":"https://mathstodon.xyz/users/ryanbrewer","isLocal":false,"last_fetched":"2025-07-29 17:42:03.870Z","outbox":"https://mathstodon.xyz/users/ryanbrewer/outbox","preferred_username":"ryanbrewer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0t1ZHeEtdVatC/iuE5dE\njJbTaMwDiZ4AhjE4iSiIXl16yCmv9c/rM4rRZY2GljVKxUlfivKqb5XfX/xclnto\np4Og8jSAG4YtiPdmPAWK8s/EKR5ADiPX2HKRwuTTUIVw72b49Hjp5NNGxt4P3Qxi\nskVsQ8d1vI30hQVSXHNUKvoilGGgJFOiO6wyB1rsaAjS+2XDtfBWhGyAGdw/Lz2+\nlIeKxCLKyqzkB08pUb4qZMQI3lUbdwMAhEeutFXVMxynDPZ/pegea9QQH7RoM+cO\nCaEw55lYVNIcBc/6352616vArZrTQWyemUN10+ohWVToyxqo/gnxirClbP4wfORU\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-05-03 00:00:00.000Z","summary":"

Coder.
Bunch of interesting projects including SaberVM, Cricket, Arctic.
Love logic, philosophy, type theory, abstract algebra, and PLT.
Leftist.
He/him.

","updated":"2025-07-29 17:42:03.870Z","user":"","username":"Ryan Brewer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 08:43:03.987Z","domain":"mathstodon.xyz","followerCount":12969,"followers":"https://mathstodon.xyz/users/johncarlosbaez/followers","following":"https://mathstodon.xyz/users/johncarlosbaez/following","followingCount":491,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/715/237/591/098/original/23b93c7b653be37c.jpg","id":"12o6ts0915h4e4i","inbox":"https://mathstodon.xyz/users/johncarlosbaez/inbox","iri":"https://mathstodon.xyz/users/johncarlosbaez","isLocal":false,"last_fetched":"2025-07-29 17:21:31.435Z","outbox":"https://mathstodon.xyz/users/johncarlosbaez/outbox","preferred_username":"johncarlosbaez","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvgJHppW3vD2wZm2hxOGs\nkA45SH/pWuvDLEXDBr3NKdKZywgO/IWBDY7vDiFZqrA7nrVv3GvYIOemv44CEl1Z\nJZ4tszs3PYRdfBHHZENkoWneCgfS1Ha1LIxBd9hQNqfD4Z7883QT2UrwXGQD3Vgr\nL+C9XsVPoD5bxDeEgiu8kHqbWdZfin2+J+tfrsoHjx+Y9q32ngXyCUaqssrnfJkw\n+KEwQGkNJob2p1RHYQcQaDdOWjKLfxHlQQJ/FuvV8wxBYYPkW9innQUxGSvgg8R8\nb38SdKXpyH8IYM/mfQnSJU8fRfvxuji+hock4CXdP44iCpyHjGDON1WdYuNXSRwQ\n4wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category Café, a group blog on math with an emphasis on category theory. I also have a YouTube channel, full of talks about math, physics and the future.

","updated":"2025-07-29 17:21:31.435Z","user":"","username":"John Carlos Baez"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 17:42:03.966Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/kei/followers","following":"https://functional.cafe/users/kei/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/112/172/860/186/080/823/original/d8699c929b63bc71.jpg","id":"mb9r3cy30im9eaf","inbox":"https://functional.cafe/users/kei/inbox","iri":"https://functional.cafe/users/kei","isLocal":false,"last_fetched":"2025-07-29 17:42:03.966Z","outbox":"https://functional.cafe/users/kei/outbox","preferred_username":"kei","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyD+mNp3thAZQWNofltap\nTvNEy7eYzazJqAPGwNaWL9/yHoC3xle3pMKHVyclX0FPMIxiguwnTjf/HZXZpF42\n63jJgJS8TYROU93ABpn/ZPP5CHRDrfZ9bizuh/oymjsgN7jvmLXIZXbOfvuzo1yG\nrjSMvV29c8umzh2d/DsHTpl0LruyBmjOEue43eeR6jhC1FrG+IT+XAHJ7nHL9J8g\nNlz2sQpUQGgq6PIN+6k1xxw/pVX0YCajOE/gyIDtaQFmHnc6HiMUZe/mqCjBz1LY\nhy+VN1adsmwBR3QedoLtUJvvdXMhq1Ac0sLR+ribkS3CqbOdn2l1/MNlVbHLD6sM\nEwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-03-28 00:00:00.000Z","summary":"

Type Theory, Compilers, Formal Verification. Haskell, Agda, Lean 4.

","updated":"2025-07-29 17:42:03.966Z","user":"","username":"kei"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 21:53:01.355Z","domain":"mathstodon.xyz","followerCount":50,"followers":"https://mathstodon.xyz/users/dcnorris/followers","following":"https://mathstodon.xyz/users/dcnorris/following","followingCount":109,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/982/358/149/789/382/original/03d9c2259b9b8ed2.jpg","id":"9v130172c19cg6h","inbox":"https://mathstodon.xyz/users/dcnorris/inbox","iri":"https://mathstodon.xyz/users/dcnorris","isLocal":false,"last_fetched":"2025-07-29 17:42:03.998Z","outbox":"https://mathstodon.xyz/users/dcnorris/outbox","preferred_username":"dcnorris","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnOstBeNHaeAB8Eo/RLCp\nXvT6sERVPkfr2FnhKUdYE8gwGYZjWdLeESvLCE3uiXdv68QGNUYG6pw5ZJbaOiZ6\nAZTIJBnXFUVamJURjABd9/dePdttIP/CLp1WYl9Af/9mwFfyXRrS36RAfjVfRyuy\nhrfVR3XkQ0Oz+60+Jq+zVmJ2X4zLla2j/CwhABVpPYwwrkyB4We1KD5XOvxIs4qE\n2vOkwmBT/AAfAPMzc/NQFVocZWQ3Rwj9uYJhpeOPHqgcNmKrwQWRw2TsQv2Iw3nP\nIfWygjPQy7fxiHy1LYlf+MBWzpdrskMmSW51BCs9UDfl9Y1UZuXn1fMv4OfaA1FX\nswIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-23 00:00:00.000Z","summary":"

Medically trained scientific consultant. Precision-medicine methodologist with particular interest in #DoseIndividualization esp. in #oncology. Currently working on a #categorytheory formulation of dose-escalation trial designs aiming (a) to exhibit certain ethical shortcomings of these designs as a universal property, and (b) to embed dose escalation within a larger class of dose-*titration* designs that transcend these shortcomings. (he/him)

","updated":"2025-07-29 17:42:03.998Z","user":"","username":"David C. Norris 🇺🇦"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:32:38.842Z","domain":"mathstodon.xyz","followerCount":2318,"followers":"https://mathstodon.xyz/users/antoinechambertloir/followers","following":"https://mathstodon.xyz/users/antoinechambertloir/following","followingCount":1773,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/042/098/original/32360b78d62f6ef7.jpg","id":"s4n2454lzn3n237","inbox":"https://mathstodon.xyz/users/antoinechambertloir/inbox","iri":"https://mathstodon.xyz/users/antoinechambertloir","isLocal":false,"last_fetched":"2025-07-29 17:42:04.028Z","outbox":"https://mathstodon.xyz/users/antoinechambertloir/outbox","preferred_username":"antoinechambertloir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp23Ap2z7eicg/wLWubWa\nQIdNrPL2My6NkRNMKy5/ffP9Kf3tgTN+c0/p7b9qJikZ8wkAtN2Ytc7bxkOQDIHP\n43D336sXYjPRMXx3RVKD+W56MIXNLy/7CE9OyhIWvEgXm7F+zjgy0o96U3MebIM5\nd+jVB7aACG62KlMp2ZUNvNgfgTKQwBCunzzBVM2WyrEp9aBFw+iNF+63JjLTxhom\nldYtVIHhWMytR9b89hpWHdrVQDbb4AT7BmCysYy0ingUsGd+++AIBdfIQnyK8zuf\n6ctjY1X23iolFXv6aiVxOy+GN6NdAkfPbq8aCruJYQwQqAt90eW1kdeNVFgvlQLp\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-19 00:00:00.000Z","summary":"

- Apprentice mathematician (Professor at Université Paris Cité),
interested in algebraic geometry, number theory and (more recently) proof formalization
- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).
- Apprentice progressist.

In love with math, jazz, indian music and poetry. ⏚

","updated":"2025-07-29 17:42:04.028Z","user":"","username":"⏚ Antoine Chambert-Loir"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:24:43.877Z","domain":"mathstodon.xyz","followerCount":526,"followers":"https://mathstodon.xyz/users/boarders/followers","following":"https://mathstodon.xyz/users/boarders/following","followingCount":957,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/317/297/912/589/339/original/84b40ae4487ded9c.jpg","id":"5ova236v2v09e4t","inbox":"https://mathstodon.xyz/users/boarders/inbox","iri":"https://mathstodon.xyz/users/boarders","isLocal":false,"last_fetched":"2025-07-29 17:42:04.057Z","outbox":"https://mathstodon.xyz/users/boarders/outbox","preferred_username":"boarders","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz/cnvr5B+jkQudKBTr7C\nmOG1qZ9SlJDjH9sqJGBjPuicEk0CGF7gXfakA7kn2ePxJIUYmLHED90/vJl1VEr4\nHgLzNgWwzn1vQ3tBNtrR0CVnNY58Kv9x6wH0UyAZPD3JaVnxysjuSPyLoV1WL7/J\nH0gxFeo6rVyscaDzjcq7+nfwJN0PLGXJzs7bMdK8xpQoJm1nQWXXv/1faCaHCXLi\naI8a+f+GfB/vGmhkcPlmaUfbAIEHIDezlA/9ya26qSgcNTmf5HSoPngcibJn89bt\nv7rBvgyJDWo5LPDJD3TDvaCYil1ACPdW74f0m1JpafsanC7EKXIr2lxNJox36JpY\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-10 00:00:00.000Z","summary":"

Interested in mathematics (homotopy theory, category theory, topos theory), programming languages, and philosophy.

","updated":"2025-07-29 17:42:04.058Z","user":"","username":"Boarders"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 17:42:04.094Z","domain":"social.praxis.nyc","followerCount":0,"followers":"https://social.praxis.nyc/users/lycheefrut/followers","following":"https://social.praxis.nyc/users/lycheefrut/following","followingCount":0,"icon":"","id":"ajve9epgyh93bp1","inbox":"https://social.praxis.nyc/users/lycheefrut/inbox","iri":"https://social.praxis.nyc/users/lycheefrut","isLocal":false,"last_fetched":"2025-07-29 17:42:04.094Z","outbox":"https://social.praxis.nyc/users/lycheefrut/outbox","preferred_username":"lycheefrut","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjTCJzBT2yNoLKAQeEXi0\n5sji+4wI8SCPYn3SXSZNX9NVFTIbbwOoa8s8nrH0St1yNuyqS8lP6m4yRMLSXLOG\n0T+Vc9jL7hm9isgdGJ2liMRhWmnCSeIc24QWaokOLhoSayr5yuIT9pAOHMDf2GfR\nkkpjujx9D4z/8rZMaX9g9yiitPuZ3qz3A2PEmz9DufgXK4qYKS25pdNrsLyTPY1V\nOZJUfAA2CSlyfqfCjnpTqN00t3P81KCNlziKdA173ODY0hcmy1AQ7lESu9wNO35F\n/GeXQQQh+uE2h3/F93rxKvmxwQTNEk03ncagKjx7Tz2VJeu6nlY1HgOxIQTzQHZa\nzQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-07-08 00:00:00.000Z","summary":"","updated":"2025-07-29 17:42:04.094Z","user":"","username":"lycheefrut"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:05:24.925Z","domain":"mathstodon.xyz","followerCount":75,"followers":"https://mathstodon.xyz/users/samkuhn/followers","following":"https://mathstodon.xyz/users/samkuhn/following","followingCount":660,"icon":"","id":"nvljt7uz0d1vl3z","inbox":"https://mathstodon.xyz/users/samkuhn/inbox","iri":"https://mathstodon.xyz/users/samkuhn","isLocal":false,"last_fetched":"2025-07-29 17:42:04.123Z","outbox":"https://mathstodon.xyz/users/samkuhn/outbox","preferred_username":"samkuhn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyfav9aeQYPfG5GJLwjrP\n3rFljo0RSb38FNbjC0kpt37FvAPjh8gCwMSEx4gQCxO9SEda/LOnBIxKaUuBsT1+\n9KLRJqRs/Wva5JypjpkTCNbPrkoOi3aIDlC/tcYCCDMXVpG5OVCzhn41OYmKD2uS\nt+yDL75gDUT6cwaglb/zd/gyUSEm0FnPH72XBsnr5x+DQEsGqLA7tIsQUERLbd1k\nQtdt98RGHVA0m1U6NohajLlx+n0vRp8dnr9v/1/25mLpl/4fyAPbsBPE61OX+U6S\nPDzq1fnVvuQgeLZF8P1Rt6OSNy4FYdVNL+YefFYWIR3dpEWvpKoLmHILyYqwjcZV\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"","updated":"2025-07-29 17:42:04.123Z","user":"","username":"Sam Kuhn"}],"page":1,"perPage":10,"totalItems":16,"totalPages":2}

Lane

Followers