{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 13:27:39.975Z","domain":"mathstodon.xyz","followerCount":27,"followers":"https://mathstodon.xyz/users/myslsl/followers","following":"https://mathstodon.xyz/users/myslsl/following","followingCount":316,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/524/894/617/529/686/original/a66161cd455c4f3f.jpg","id":"4407jl5arsonio3","inbox":"https://mathstodon.xyz/users/myslsl/inbox","iri":"https://mathstodon.xyz/users/myslsl","isLocal":false,"last_fetched":"2025-08-24 19:35:52.193Z","outbox":"https://mathstodon.xyz/users/myslsl/outbox","preferred_username":"myslsl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs8a8Frs+1z5TBg7CaTDS\nTPz2aqZ8JWPbPztwQfsHU+UmbYZCoh1InIU7zE4aPC5/jLiVHqjWl8Ugd+RouBh2\na1dvQwNCu7INsK8Zjgno0PGMdkPanxN2r34TOXWxwjZW66BOW2xH/CSfZ5Mm7kdW\nkUpcc/hI7HB25LfQXDI51Hpk2yOhxGri9oltm1elAVb7Dj5kFu/44hAdI5mzC3bp\n79yEF2Y09eRBeoD9IciFqlyUQPRKESF4CKLtX58IBJmp0kL8pB+dVYgr1zZORcrS\nodxUUt1oYEMzT8c0Qzlw03bF6GJRVtCqCQhTggAkZDgMmJdZ6JaCmmW1eVZj5ywv\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-11 00:00:00.000Z","summary":"

I'm a relatively new Mathematics grad student. I have a BA in Math and a BS in CS. I am currently interested in all things related to Logic, Algebra, Computability/Recursion Theory and CS.

","updated":"2025-08-24 19:35:52.193Z","user":"","username":"Myslsl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:55:56.191Z","domain":"mathstodon.xyz","followerCount":25,"followers":"https://mathstodon.xyz/users/drScott/followers","following":"https://mathstodon.xyz/users/drScott/following","followingCount":59,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/005/740/876/662/206/original/92d49c0a2b98544c.jpg","id":"cogmd8ryjoh0ka7","inbox":"https://mathstodon.xyz/users/drScott/inbox","iri":"https://mathstodon.xyz/users/drScott","isLocal":false,"last_fetched":"2025-08-24 19:35:52.228Z","outbox":"https://mathstodon.xyz/users/drScott/outbox","preferred_username":"drScott","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxAVTs0HrcqZNb9FWwPpO\nGjw2mKRQp+jML3/FMtFR/uxoWbxlS+GY8S88ubTHTA+3Gji5iN2tCbkUHYKc7NLV\nT08TKZlk8C6GqglfcqiIeDp+xPKennJyWFVG3/R5F+Y/VQxsE8uzkKYOKEfhCO8R\nyJkq4Wt398b62cANzJEt2PVi0XssvESONEWq7mrZXvwNVEton3zFm0MrmCXG9v8k\ns/AuTvydfiEFp7oOdOy26xbPzgmObZxN1ZRki2llhZf6UfNMs9hnOewvT2IeoCwd\nHjsQIro2WnRUG9Ygffq1nH73rkUrOWfx9SCFCYX3l1aQuwjRl3lGKvkDyQgQbE/F\nFQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-22 00:00:00.000Z","summary":"

Mathematics PhD previously at the University of Michigan. Will be at ICERM Fall 2025.
I like thinking about combinatorics, theoretical computer science, and number theory.

","updated":"2025-08-24 19:35:52.229Z","user":"","username":"Scott Neville"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:22:08.478Z","domain":"mathstodon.xyz","followerCount":676,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":735,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"he5yknq988zfstw","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-08-24 19:35:52.256Z","outbox":"https://mathstodon.xyz/users/joey/outbox","preferred_username":"joey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuuyXP12Q1eND/tAmB3sh\nmUM/G/Wa6Gfm7F+0OZCgK7abAUpk/PiAw8dsj7wBJ5NoHYJsh5MCUEEu6OPeVj89\n5P9bldhXOojmU+oCzlA6i8aAgJF9f+LSCJHIwEJhJLL0Hi0bCfoZb+++zTj12Qbe\nipRiZXeFC+WcTHPx/3aET+octDlHTxerh6cPyrUnRbPG+DnqflivQcSHrVAHW3rC\nl09LDWvf9soeYPNZl3j1CeefYY+XIlPQD+6mzBmdexr71MmXMq6/5vFNLrAbJR58\nqO+/rt3kAqxpgz9hMTEiFB571qtp8tGlQ3XAa4rdsA7dCG1NYu/vmJsODA0FqWw0\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-22 00:00:00.000Z","summary":"

PL Researcher. Assistant Professor at the University of Regina. 🇨🇦

Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/

Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

","updated":"2025-08-24 19:35:52.256Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:06:55.094Z","domain":"mathstodon.xyz","followerCount":673,"followers":"https://mathstodon.xyz/users/noamzoam/followers","following":"https://mathstodon.xyz/users/noamzoam/following","followingCount":402,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/262/369/988/210/813/original/493bd444df424bae.jpg","id":"c2308xs3r83auhe","inbox":"https://mathstodon.xyz/users/noamzoam/inbox","iri":"https://mathstodon.xyz/users/noamzoam","isLocal":false,"last_fetched":"2025-08-24 19:35:52.286Z","outbox":"https://mathstodon.xyz/users/noamzoam/outbox","preferred_username":"noamzoam","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArsuLfrpJ9iJbRWR7DgtJ\n1EPK7kyslOFT26mUGK3c2UUCR5Rju1NW27N5HitNwNwNqFCLXCospNKdn4Ik1ZEN\nDmloODCahHuuyNrEQdrEkTPUHILmjWTXpWhrp0aSUL7QQNvXMfLEPDbmjHSdDXoH\n1RMS9eRgAnoLrEJJhUFmqCECY/1JB2nZIWhgSCPB9CngxWoh6wmscBC7g+JSfg3+\nRkt87xhXnqQmwMhuUT+SZaVOtdS04krp5PTJfuoIZp0cZJFslUHvHBhIOeUJEnb7\ni5LdRAoRNjMuU5D9VBCLhM2xWZGpDGToELxWuWhVWOFJ5ru6BiPYrVvP3fuvHyum\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.

","updated":"2025-08-24 19:35:52.286Z","user":"","username":"Noam Zeilberger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-04 15:15:23.754Z","domain":"mastodon.acm.org","followerCount":39,"followers":"https://mastodon.acm.org/users/FMASWorkshop/followers","following":"https://mastodon.acm.org/users/FMASWorkshop/following","followingCount":63,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/307/358/534/970/256/original/99146ba98d7c9472.png","id":"1xnh1o4o3o81s0d","inbox":"https://mastodon.acm.org/users/FMASWorkshop/inbox","iri":"https://mastodon.acm.org/users/FMASWorkshop","isLocal":false,"last_fetched":"2025-08-24 19:35:53.256Z","outbox":"https://mastodon.acm.org/users/FMASWorkshop/outbox","preferred_username":"FMASWorkshop","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwv2X+bMKrFVBLL2+Aiy0\nlkukbVK1qle8z8/9qIQz+odWvKtBXatjVfz1HWZpOTqXkoLtxFgKS2CmXyEr+tN3\n6sSkpLxM3Q0uvYxo783TCfmXIMpnOuvng9HGKrcOpOapDkIwIaRUt5ogS/6vn9fZ\nzuvX2S8QtkUKT+wsdfuf3+StU+DmCFkcomp8xcG69BU5ic3+rSrew6lMClmfb8VD\nmYma3BoynsOG3U62TCmRso1fC7l6lTLnTfVKISAAd+HHIoCYonGq3mjwX/lRYMt0\nrCeHjj5W1ceKAi6zILdg5Z8MS3rQq3gJ+rnq/bwO6J5i/pnfB45hz1ImRmktRcbm\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-14 00:00:00.000Z","summary":"

The International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Toots by Matt Luckcuck & Akhila Bairy

","updated":"2025-08-24 19:35:53.257Z","user":"","username":"FMASWorkshop"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:14:09.377Z","domain":"mathstodon.xyz","followerCount":522,"followers":"https://mathstodon.xyz/users/stphrolland/followers","following":"https://mathstodon.xyz/users/stphrolland/following","followingCount":2811,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/728/342/231/503/913/original/5855485b67a8a8f0.png","id":"tnwo7dx79xm5in4","inbox":"https://mathstodon.xyz/users/stphrolland/inbox","iri":"https://mathstodon.xyz/users/stphrolland","isLocal":false,"last_fetched":"2025-08-24 19:35:53.288Z","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-24 19:35:53.288Z","user":"","username":"Stephane L Rolland-Brabant ⁂⧖⏚"},{"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":958,"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-08-24 19:35:53.316Z","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-08-24 19:35:53.317Z","user":"","username":"Boarders"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 22:57:36.507Z","domain":"mathstodon.xyz","followerCount":136,"followers":"https://mathstodon.xyz/users/dingc/followers","following":"https://mathstodon.xyz/users/dingc/following","followingCount":323,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/041/136/912/366/160/original/b5cbd4282a39e511.png","id":"c9204ti15q25488","inbox":"https://mathstodon.xyz/users/dingc/inbox","iri":"https://mathstodon.xyz/users/dingc","isLocal":false,"last_fetched":"2025-08-24 19:35:53.345Z","outbox":"https://mathstodon.xyz/users/dingc/outbox","preferred_username":"dingc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyfnhgZq5C+jhOmgasNEz\n7QHj0A9rvlSFL9EE4c5amcbJXIty5RwlvORkw8rsMHqCsLNBXJg1Y/P4n0axYQxp\nqXbyM6NLqz71E2bfVBLS82k0+lBobTeYsL3zHGDTVbTqyZt2YfDjnI8/yT4c5nU7\n9/OrhvZ2+uTVh2gx9LEd4AIzgUXpkJ+eYC4p0n4jinu9OkkBt3ll4WlvXsiwoOUi\ntL/RUIWMd3G8Y9ySd/9l9mAOJsdsRggajFJxg/pb0xpWotHndrB7JHr7KZGFt4Ly\n2RpdRj/1D6AcD7BL4jvtQti+VFtGVwbBpYVs8aAKQQSFmzRt1+xbpxWe9QktRXl6\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-10 00:00:00.000Z","summary":"

Account of Functor Network - a blog platform for mathematicians.

","updated":"2025-08-24 19:35:53.345Z","user":"","username":"Functor Network"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:26:46.961Z","domain":"mathstodon.xyz","followerCount":289,"followers":"https://mathstodon.xyz/users/ohad/followers","following":"https://mathstodon.xyz/users/ohad/following","followingCount":232,"icon":"","id":"vp5j7etov085rnr","inbox":"https://mathstodon.xyz/users/ohad/inbox","iri":"https://mathstodon.xyz/users/ohad","isLocal":false,"last_fetched":"2025-08-24 19:35:53.372Z","outbox":"https://mathstodon.xyz/users/ohad/outbox","preferred_username":"ohad","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArjMhAQbCW/Jblx8lt0wa\n8lz/ZN7+gV1GnJD7kSQdiha3AvhJQqom59ebn0doPCyBPSTJx5Nb5dYUKTBxiMGQ\n6CPsdStx77HSfLh2hD/RsseW+pFSreuYVeIx7jcfbZptGNdS1mw5tZcvZ7DzSCHU\nHFyNKLvvTMRgmyl986gExTB6GXp+v3pap2pqOXiPswicUKrHhsTaSFZ2xiISsmFB\nGGC4piu3fBXTzdtUo5PGcZcWuEb32mJK9H8jXqfITY8CibLkr9dPtlKzkoDXIChy\nizy+8Dlm9t77j20u8dRsECY6We+meVxwtxsZLEKu3L9J+DNRlLqqSrhZQEj3+s07\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"","updated":"2025-08-24 19:35:53.372Z","user":"","username":"ohad"}],"page":1,"perPage":10,"totalItems":11,"totalPages":2}

Yotam Dvir

Followers