{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 01:37:37.090Z","domain":"mathstodon.xyz","followerCount":20,"followers":"https://mathstodon.xyz/users/chasenorman/followers","following":"https://mathstodon.xyz/users/chasenorman/following","followingCount":10,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/247/943/664/436/926/original/d6237516f209b772.jpeg","id":"sph4ai27xk78561","inbox":"https://mathstodon.xyz/users/chasenorman/inbox","iri":"https://mathstodon.xyz/users/chasenorman","isLocal":false,"last_fetched":"2025-08-01 18:07:24.914Z","outbox":"https://mathstodon.xyz/users/chasenorman/outbox","preferred_username":"chasenorman","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmm2Z+h3RArCWvb17jx5L\n7s20tj/nQSJCCzYUsh1BGCzCiQpK42FdOKG6B75cN97/O3kRKCFs+H7mI2J0oe3s\nc9CXvpblDU86shy1xQ+a3HgqVuz4uNWAVzIIIeYeNCgpNEGT+uuSRlXO9KLMVDIm\nPcrgideZvhgf8Xfm/69TG1VgkpgPPI0mKfWRoYlgPbhhIaSELwlx6RhtqJjIKVrN\naYih0zkDzr2M2dQOBkNhN8Jh5rmLTsJaXhUqUGniU+/OsHvGkv9/mZ7olPIDbpsQ\ntc7q7TKYKRpl35hP+Xm+mMDy1wBx2GA9gVUF8CbZzl0g3A2NqwCRuzz6VPkhiVQ1\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-29 00:00:00.000Z","summary":"

CS PhD Student at CMU

","updated":"2025-08-01 18:07:24.914Z","user":"","username":"Chase Norman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 17:44:27.360Z","domain":"mathstodon.xyz","followerCount":518,"followers":"https://mathstodon.xyz/users/stphrolland/followers","following":"https://mathstodon.xyz/users/stphrolland/following","followingCount":2810,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/728/342/231/503/913/original/5855485b67a8a8f0.png","id":"c8210034kz4qss9","inbox":"https://mathstodon.xyz/users/stphrolland/inbox","iri":"https://mathstodon.xyz/users/stphrolland","isLocal":false,"last_fetched":"2025-08-01 18:07:25.099Z","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-08-01 18:07:25.099Z","user":"","username":"Stephane L Rolland-Brabant ⁂⧖⏚"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 07:48:47.921Z","domain":"functional.cafe","followerCount":614,"followers":"https://functional.cafe/users/kha/followers","following":"https://functional.cafe/users/kha/following","followingCount":173,"icon":"https://files.functional.cafe/accounts/avatars/109/664/180/140/228/769/original/47bc0e69d6f0e5d6.png","id":"ljh8353n3h1lt98","inbox":"https://functional.cafe/users/kha/inbox","iri":"https://functional.cafe/users/kha","isLocal":false,"last_fetched":"2025-08-01 18:07:25.432Z","outbox":"https://functional.cafe/users/kha/outbox","preferred_username":"kha","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4JUUAZ0qgKQOXkSE4O0\nsV6QBaKlww6Sy/AotxRic5ys+s5dZ+k+1HJuKMHzhJcX0MgB2d9SvvTMyZU5kHjL\n728HFmx4JK/pK15epZrh0VC9nv/qHG+j5HZeeslBn9oQ5/6/I02RbaJVes9zLZ/v\nNhziBdCTqKGxOND15sCLOj1t4t5LB1yY7iylHcnWhkEB7Hwk9cLpr5vudaxVlgY0\n6Zp6nWMPJQpltl8gWRm/smt5O1Gi6cltwqU8Mvw2CWyzc42spbHc78cQvJX6AYjJ\nX4WIVzJbuOx/MvwX1LIFzmhfi402xaCOiicR4pDcoH72s19yewgdSzk+RPSaEEaX\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-10 00:00:00.000Z","summary":"

makes Lean at Lean FRO

Munich, Germany

","updated":"2025-08-01 18:07:25.433Z","user":"","username":"Sebastian Ullrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 12:06:44.508Z","domain":"mathstodon.xyz","followerCount":311,"followers":"https://mathstodon.xyz/users/czhang03/followers","following":"https://mathstodon.xyz/users/czhang03/following","followingCount":1121,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/351/081/350/510/459/original/e8510960ad837989.jpg","id":"kpl80s3wg2sb1ee","inbox":"https://mathstodon.xyz/users/czhang03/inbox","iri":"https://mathstodon.xyz/users/czhang03","isLocal":false,"last_fetched":"2025-08-01 18:07:25.471Z","outbox":"https://mathstodon.xyz/users/czhang03/outbox","preferred_username":"czhang03","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw+7Z86RWLBlWfiCEUoJ4\nQVkAPG/9Iz9f4iuauVzWGUUumV37mB3jCQk6vLweQD8oFt7qOcHX8JY1h9EJlxrQ\neC1u9dBZeA5mwe9FLlBjjPRvviAxpuejEWm6onFU1UBDmR8OuRrPJxgtoc/l6vGh\njv8a+Hn/lV4QRcPdgG1TGDxTqrR/4+f0Y1MYpUuvOtTQ8/CgqVXiwSJeKV8VJClY\nQ2DK6QCdWu01+GZiQ51FsR5xAO22VQPSqYv6gcw11LG2Rj3DDVylqgMRzj2N6kf6\nAjT8CuV+fixSdMP53d+VZ+Hvn+gmvO2UbbOuhybEYlaDpCLr7NVohIhLcd27pS+G\n2QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-16 00:00:00.000Z","summary":"

Vibing good vibes; mathing bad math.

non-associative, non-commutative, non-symmetric, non-idempotient, and non-continuous.
Do not lift, extend, or generalize.
A fixpoint that is not least, a functor without adjoint, and a directed-incomplete partial order.

Generally co-menacing co-categorical co-object.

"I cannot Grothendick construction under these conditions."

","updated":"2025-08-01 18:07:25.471Z","user":"","username":"Cheng Zhang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 18:07:25.511Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mkramarz/followers","following":"https://mathstodon.xyz/users/mkramarz/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/541/037/146/056/639/original/3ed52f4527465f07.png","id":"p5bxw4bd8koxo17","inbox":"https://mathstodon.xyz/users/mkramarz/inbox","iri":"https://mathstodon.xyz/users/mkramarz","isLocal":false,"last_fetched":"2025-08-01 18:07:25.510Z","outbox":"https://mathstodon.xyz/users/mkramarz/outbox","preferred_username":"mkramarz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoN0FFPt8R69dnPaCK/c/\n8fK2L7fTxxZzFtrFoRrJ6d5tHufIJXlHbmLVx3Ko8NEs4bc7ZeXlYtIEW5Jz0gSy\ngAXDxPRoHcgDNOKiHpfMVn+8RlhjmXGcuJVeZD42aaKAe9JKRRMI2G0pBBWfbfKj\n3ZeDCBDn+A5pgCVS5XQ7ifIoolNJSoEo8AGMxlQYDFw1p3GHxlv9W3gO04pMt0fE\nHzkE4RHmj0OplledUqDiWMWA5oMyOayfI358XUZ05V3aN4j6PdTAZnnu887fXDuw\nTBdbQhTmzrfY/Y/h2C/PLKy36mH6WZMPnkTLi/PTVYcHvtXAKEnIGVffFf+a+YrG\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-25 00:00:00.000Z","summary":"

MSc student @ UToronto

","updated":"2025-08-01 18:07:25.511Z","user":"","username":"Maite"}],"page":1,"perPage":10,"totalItems":40,"totalPages":4}

Thomas Porter

Followers