{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-03 08:19:18.640Z","domain":"mathstodon.xyz","followerCount":1775,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":490,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"02igjeez1r8t15b","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-09-30 02:52:43.716Z","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-09-30 02:52:43.717Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-24 00:06:41.142Z","domain":"mathstodon.xyz","followerCount":173,"followers":"https://mathstodon.xyz/users/andresvillaveces/followers","following":"https://mathstodon.xyz/users/andresvillaveces/following","followingCount":165,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/335/839/821/535/524/original/2210efd034a0afcb.jpg","id":"ww2wftn2n5s0nmw","inbox":"https://mathstodon.xyz/users/andresvillaveces/inbox","iri":"https://mathstodon.xyz/users/andresvillaveces","isLocal":false,"last_fetched":"2025-09-30 01:30:58.202Z","outbox":"https://mathstodon.xyz/users/andresvillaveces/outbox","preferred_username":"andresvillaveces","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtZPV5HLJNNYfsGmWacp+\nnJEmJnfx1nMhNsF4s+7ZyiamBxjkyDvBnUTUUrIbApcV1KgAPmdstVWNmn2rgTJC\nV0Btljv3SyDJy64Wvp8DVwuhLO4hxRxH6Wj4b6HbXyS7zdx+QQaUcI4aIYULsd7N\nJnj/MF/QVEd83hd5IEn7HLiDxrVFI03Gv2Jps1edSxC3suQPWWvF8vm1DA+XTE6k\nfxb10VZD0p8mdvCpZHZ9TpX+RNjvqA4+MwucE0z/KKkYB7q6snumrgirjQ9hrQix\ny2fKxO/gke7PhTkS+6Eomqs2vaJKyQSVyTOMsPLNYtWWtbCxFmBh5y+pHQEbVWcB\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

I work in Model Theory and its interactions with other parts of mathematics. Usually, Abstract Elementary Classes, Infinitary Logic, and their connections with Set Theory and the model theory of analytic functions.

I also have a non-math mastodon account (avillavecesn@col.social) where I comment other topics. If you'd rather only follow the math posts, this is your place.

I write a daily very basic thread on the Muisca Language (a language revival project): #MyskkubunMatutino

","updated":"2025-09-30 01:30:58.202Z","user":"","username":"Andrés Villaveces Niño"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 13:21:26.797Z","domain":"mathstodon.xyz","followerCount":89,"followers":"https://mathstodon.xyz/users/todd/followers","following":"https://mathstodon.xyz/users/todd/following","followingCount":83,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/989/227/414/998/466/original/63ce774b7b51d16a.jpg","id":"99q99ktiw7634su","inbox":"https://mathstodon.xyz/users/todd/inbox","iri":"https://mathstodon.xyz/users/todd","isLocal":false,"last_fetched":"2025-09-30 02:33:57.430Z","outbox":"https://mathstodon.xyz/users/todd/outbox","preferred_username":"todd","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx/Ch4U2108rlXGZefljc\nVoPynUiMlGUo4/qAhq+mNlshXfPlcpie1u2DgSsGfWhMSycJCscvxv2h2o6IAu6R\nNqcp8a7bQVoJxIIgDoYpnNi/suMssRubfd6asd5nI4qqodeVlFaAHvK/OAldnbJh\nhx5qHAgOQwYqgj50x6IMhT1lngLCEdxbjGYncBOSJ9CLfYZgsvv7f0VINkXD0Ox7\nPW4BBcYotNZ3xKdIkPE5J1p7Ol+AsKN8igR1deZr2pyXD4gBAEnut8fTOcopNJ5a\nLO7MrGW/s+oT9T3AYk7yfrt37bMQb18ux4LNCTwpGAuFsFbqCRWZuWjfpTOdMWPy\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-01 00:00:00.000Z","summary":"

Theory & Teaching @ University of Birmingham -- Interests include Agda and Type Theory

","updated":"2025-09-30 02:33:57.431Z","user":"","username":"Todd Waugh Ambridge"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 02:10:44.589Z","domain":"mathstodon.xyz","followerCount":430,"followers":"https://mathstodon.xyz/users/JadeMasterMath/followers","following":"https://mathstodon.xyz/users/JadeMasterMath/following","followingCount":262,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/383/525/375/198/137/original/89c54202bbf5367f.jpg","id":"9k68akg6c9v3921","inbox":"https://mathstodon.xyz/users/JadeMasterMath/inbox","iri":"https://mathstodon.xyz/users/JadeMasterMath","isLocal":false,"last_fetched":"2025-09-30 02:52:43.774Z","outbox":"https://mathstodon.xyz/users/JadeMasterMath/outbox","preferred_username":"JadeMasterMath","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzE+Jj51Jg2SCBWstuW6\nYmgkoiIG/to5jlChVqo51zc4aRpEqGa7XPJ22vOwSs7T7doz6bOdeEGaq4Ug6Hgr\n2GqnIbnhqNKwkML7R2FRHNqQw5PKSWHBBLJJBwQLEY2hGW2UIPysZ/hdASkuffyW\nYnP58S6P4JfO4lHVJe4x+EwI7yhvC7zFYc80uhduo4u8ADsaqt21MegqdebVFARw\nQef01CCT4zG3SjLGB59IEl+ZMRzBXKs1+wWHnWFiaSLaa3P/GGSdLX41CqgDljV1\n3ty2h2mOcA1iq+b+S03NdOzrSafFSYyEA/WvZK5Jmug7j/WU//v4Tzn1KZffUl4F\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"","updated":"2025-09-30 02:52:43.775Z","user":"","username":"Jade Master"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-02 17:27:15.970Z","domain":"mathstodon.xyz","followerCount":525,"followers":"https://mathstodon.xyz/users/stphrolland/followers","following":"https://mathstodon.xyz/users/stphrolland/following","followingCount":2807,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/728/342/231/503/913/original/5855485b67a8a8f0.png","id":"sr18ed838o79x3f","inbox":"https://mathstodon.xyz/users/stphrolland/inbox","iri":"https://mathstodon.xyz/users/stphrolland","isLocal":false,"last_fetched":"2025-09-30 01:04:44.577Z","outbox":"https://mathstodon.xyz/users/stphrolland/outbox","preferred_username":"stphrolland","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr6mlit4xMAJWMj3B6Bx9\nYlWEn0hUJ8jCQQ2oXbqGDwQKRtEexTrJP0tnP53lbriKfBBdrKzVjXFM8FqiiHkw\noBzA6S1VgdRGneQ99nch5hUQgJp3UoRph0dHU6Ifa/p8FJ7QWEejwtXqWGTwtU0U\nOR4oLLC331cSCKOdivtMDvHjzypn7b09rbvtwHj//kyPv7QK5r0w8cTiv+FcdZ1L\nOoDtGPyUoJG4HdWzKKiT+14PpVGYzkQzn20SQptV9srVFfhIIBVCWjUa5lVPMMHP\nnUzDDRVkzKgcZNyoouiCgd37Q1RLppsS+IlYnWrZZ7Nux1ugIE+rZDni7uRxet9N\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-17 00:00:00.000Z","summary":"

More Curious Amateur than Expert

#Linux
#NixOS
#SoftwareCraft
#FunctionalProgramming

Denotational Design & Semantics
Graph Theory & Transformation & Formal Grammars
HoTT/UF/CategoryTheory Diagrams & Props Networks

Machine Learning/Statistics/Probability
Natural Language Processing
Computational Linguistics
Information Theory

Dynamical Systems Pde/Chaos
DSP Audio Math+Music/MamuX

Lots of things to learn. Endlessly learning.
Trolls say they are not trolls.
I am a night elf.

","updated":"2025-09-30 01:04:44.577Z","user":"","username":"Stephane L Rolland-Brabant ⁂⧖⏚"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 20:45:50.756Z","domain":"mathstodon.xyz","followerCount":5425,"followers":"https://mathstodon.xyz/users/ColinTheMathmo/followers","following":"https://mathstodon.xyz/users/ColinTheMathmo/following","followingCount":7359,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/000/013/original/d3bb832f7c670bec.png","id":"v1ln0g93y6rj1j5","inbox":"https://mathstodon.xyz/users/ColinTheMathmo/inbox","iri":"https://mathstodon.xyz/users/ColinTheMathmo","isLocal":false,"last_fetched":"2025-09-30 01:07:36.585Z","outbox":"https://mathstodon.xyz/users/ColinTheMathmo/outbox","preferred_username":"ColinTheMathmo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6OrmrQbTJl3U0FDjFjLq\nLyCZ8+V+XYSclQqm3PMrjmphEbhprMWUJlmHzpV1gGY9WS4JjS3IuM1sPopTNsCL\n9lerUbxE4NvHee/8S8zRQSVkZkEGU6ppB/i7dzScraZp7L2+R/fZGkYxjWB+zxn/\nWDW9pX/i4MofAecP3BeRRuglXW5aj04yWCZr23EiZ8uib4bGQboI0VH5dJ1eH1zR\ntdzOmS105RTGg4CiMuDht4V0gJuGiaR0d8CghGfBntfoC0sDmnCE/UdRj7aPgtqY\ng4+S9j37RYCoSzNfbsF9y5Za1Xl71TxkfmPefBFDh0peefOUTfbyHq2cWhTZ5xzQ\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-14 00:00:00.000Z","summary":"

Fulltime freelance provider of outreach and enhancement in maths ... I talk a lot. About maths.

I talk about other stuff too, like ballroom dancing, juggling, unicycling, education, engineering, software, and "other things".

But mostly about maths.

I tend to follow back, but only if you have something in your profile.

","updated":"2025-09-30 01:07:36.586Z","user":"","username":"Colin the Mathmo"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

David Escobar 🏳️‍⚧️

Followers