{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-16 10:30:27.031Z","domain":"mathstodon.xyz","followerCount":207,"followers":"https://mathstodon.xyz/users/plain_simon/followers","following":"https://mathstodon.xyz/users/plain_simon/following","followingCount":409,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/536/401/226/710/955/original/cd3395defcb5aaf9.jpg","id":"jweailkoju5muhg","inbox":"https://mathstodon.xyz/users/plain_simon/inbox","iri":"https://mathstodon.xyz/users/plain_simon","isLocal":false,"last_fetched":"2026-04-22 14:03:00.499Z","outbox":"https://mathstodon.xyz/users/plain_simon/outbox","preferred_username":"plain_simon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuRanyrmyw6wskT2JQEAC\nAR2e6Z1zniYaLG19A4Xl/+qjJcOv+Oyif/t/6LihlOSksqbf6wE0rtTXGsOvhgO3\nImOnMxJVdLJmbC7O6OL92CSMN4/2y3Rij+Ia9zTqUBihKtzJPa0Wl2JLa8ft8U0l\n+Q/2rKU5Awj0MODJCzImaEer+5BaG234mSVptwGXi4n9mG/KfMHTX9lqRsuqZh29\nbN/8879Zfv9reSP4OW8+KJGpH5j9saUlzuoIytmi1/t+ypU+WW0/+H7hxVZt0Btw\n9ePB0fh5HTcsfP5zzs52vZZjNbYgDRxY+bgNN7sEzb9ArUj3CMIYSKLegjXLzewE\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-18 00:00:00.000Z","summary":"

Mathematician trapped between algebraic geometry and homotopy theory, with a motivic twist. Soon to be at the University of Amsterdam.

","updated":"2026-04-22 14:03:00.499Z","user":"","username":"Simon Pepin Lehalleur"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-31 00:34:02.113Z","domain":"mastodon.social","followerCount":775,"followers":"https://mastodon.social/users/masonporter/followers","following":"https://mastodon.social/users/masonporter/following","followingCount":215,"icon":"https://files.mastodon.social/accounts/avatars/109/252/379/328/997/395/original/e08b33fedbdebcea.jpg","id":"f74tqbxcb5oi1rc","inbox":"https://mastodon.social/users/masonporter/inbox","iri":"https://mastodon.social/users/masonporter","isLocal":false,"last_fetched":"2026-04-22 14:03:00.577Z","outbox":"https://mastodon.social/users/masonporter/outbox","preferred_username":"masonporter","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3a0GkA0fOzdMTKgziz0J\nhS98qQEJDbEDXqRyDq/1RiSJAndGXlBm1Sx/WhTKMYu/FaeakcXYFgMr768vFavT\n5wvE0yRz4nmKq7twUgcbrY23BitoLSDJwTUy0C26RnzgspodeTRhyq9QPz12ynJq\n7M46QGCKjuEQLiIXgFleH0PjEswE4bKtGe/iTaAXTRD2YdO2vHIiNOZQvvjN1YXi\nT6FsZ5wlujaFlufLKNn4Zi5MRmjUylJ3Zx7kD5vseMdbugtoiZ74PW7svhVauqJD\nzn7+uIWiQnOVEWE/KA6mTMsmSr+B6KZ7a8uUILUbpq+k4zNLZ+YopekckjoVv/Y9\nAwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Professor of Mathematics at UCLA and External Professor at Santa Fe Institute.

I am an applied mathematician (and occasional physicist) who studies networks, complex systems, nonlinear systems, and their applications.

","updated":"2026-04-22 14:03:00.577Z","user":"","username":"Mason Porter"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-06 03:25:05.628Z","domain":"mathstodon.xyz","followerCount":628,"followers":"https://mathstodon.xyz/users/MotivicKyle/followers","following":"https://mathstodon.xyz/users/MotivicKyle/following","followingCount":191,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/287/262/original/f3be4737471a7fe5.jpeg","id":"to9n0fvch17b84h","inbox":"https://mathstodon.xyz/users/MotivicKyle/inbox","iri":"https://mathstodon.xyz/users/MotivicKyle","isLocal":false,"last_fetched":"2026-04-22 13:21:21.946Z","outbox":"https://mathstodon.xyz/users/MotivicKyle/outbox","preferred_username":"MotivicKyle","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyGjO2D6SvU/uG6knUqrj\nMNN3610t8FH2VIrhAp21cCoubUwrNkQMGfMD/8YOXn7NVMcCnyzVIWgmwt5K80nW\nlouNE5BOEgn2vN1b+E8Sh1gwDMYEjW+ysECz1X+icfpvCO+OozZ8J/z9yMroT155\nIU6BGgeXv8eB/tC7hXEysCiyRzlt5bKecBPVvDLXxfZFcZkK2UPf5hWUsajV5cvf\ntktdIdt5IubC14wGNLmGrK+yGNtBgabzxMrE4FsEVNMo9i31xm3/3k26g2RpQA5A\nrUldpL4lbNhgLptoNMMB2kcP8LxxWP5k2NQYIaFPBespFefArnf8OKjNWioxxZYu\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

Numbers and shapes at Reed College. Mathematician, parent, spouse, runner, 𝔣𝔯𝔞𝔨𝔱𝔲𝔯 enthusiast. He or they.

","updated":"2026-04-22 13:21:21.946Z","user":"","username":"χle Ormsby"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 00:22:05.169Z","domain":"mathstodon.xyz","followerCount":734,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":778,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"vde3dzf9ftornml","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2026-04-22 14:03:00.627Z","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":"2026-04-22 14:03:00.629Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-22 14:03:01.044Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/WKCosmo/followers","following":"https://mastodon.social/users/WKCosmo/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/246/618/203/281/017/original/feae5dbe5e74d99f.png","id":"c4t0jbvb5yp18o6","inbox":"https://mastodon.social/users/WKCosmo/inbox","iri":"https://mastodon.social/users/WKCosmo","isLocal":false,"last_fetched":"2026-04-22 14:03:01.043Z","outbox":"https://mastodon.social/users/WKCosmo/outbox","preferred_username":"WKCosmo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwtpg1Yh3spai0GItADoO\nr97aA9tQccgvk+fAPy9lZCXcT29SNCr0KYvocJI8KFmK6TflcmgxdZwtY2UL5QFv\nL5B4TIyHZ0m/0/YuAdjquD0SYuO70BqL8EbtoheTQlnFIMlrPluCYSa8kSdRy1tD\n01pqwQ3ss5Ja4ujAtki6lBKflLg20eL6vEvro2nunAJ590MY/9lzMVdkIhYATKn6\nioulhXakmKWRfAQ9pj603DcecHB4NeSFuZHnxR1Ay5qD7KjxEvRx50fPCRGoKqyt\nAjJaVF+CfVRhzfdWr34NblmScecR/hsKcX2/wblz69W/L6UyAb7j+zETzQEsZKg+\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Cosmologist, physicist, dirtbag mountain biker, expat Montanan, Copernican extremist. Part of the problem.

","updated":"2026-04-22 14:03:01.044Z","user":"","username":"Will Kinney"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-28 16:30:09.823Z","domain":"mathstodon.xyz","followerCount":521,"followers":"https://mathstodon.xyz/users/stringdiagram/followers","following":"https://mathstodon.xyz/users/stringdiagram/following","followingCount":145,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/337/780/676/405/855/original/a3a1e08fa187529c.png","id":"an52ww91cudl4x6","inbox":"https://mathstodon.xyz/users/stringdiagram/inbox","iri":"https://mathstodon.xyz/users/stringdiagram","isLocal":false,"last_fetched":"2026-04-22 14:03:01.092Z","outbox":"https://mathstodon.xyz/users/stringdiagram/outbox","preferred_username":"stringdiagram","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3/BdU3KnV7aLTDIi9p25\n2O9G6aFDsG0g+eK5ojuzS5H1vJ4kxibLE0RKBiHlQCKg0D+1VkdOqBhGNdPoBvwp\nJkMaQIjtYLPYa1T+u7dUINjiPrFgc6hFH7OdbCBo3z3LxCe0SPrCTh7J/Z3ATd2B\nF2ACFiwEZuIq9HrwU/FDIDtuq7IlNtvbt3/s48rpqVW8MB4TJWCzZ6Uztygna0nq\ncMnzNEckSblJvcmeTrTD/5XCKJIsrvnuo3FPfzBMGf7teWbXwfGlXDTPdpm6Dbp6\naZ6mMt1eKhO0WhHbq3glKQKfOuNxeD8/zZVGnigqiPAo8skmYxOSfMsU+0Ont9zM\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

Categories, computer science and logic

","updated":"2026-04-22 14:03:01.092Z","user":"","username":"Dan Marsden"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 11:19:01.056Z","domain":"mathstodon.xyz","followerCount":1965,"followers":"https://mathstodon.xyz/users/julesh/followers","following":"https://mathstodon.xyz/users/julesh/following","followingCount":150,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/36ca43f59c382f91.jpg","id":"vgn2znnzrp2w1ps","inbox":"https://mathstodon.xyz/users/julesh/inbox","iri":"https://mathstodon.xyz/users/julesh","isLocal":false,"last_fetched":"2026-04-22 14:03:01.138Z","outbox":"https://mathstodon.xyz/users/julesh/outbox","preferred_username":"julesh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv+8GStBTcZ47c0ZqpWg4\noSPey8n0oMa20EXxJSYmefWnBhQjQb8rBgZUoJjmFd2vB5svOSWi9Mhn7TqWYpJM\nOPk3fJzD1M9qw41MoTPE+DoGQFkyYSAzA3bHttJi7BewDk3yoRKp79lym520D5zq\nV1GDN934Fg5zn9u3H0BQHYExlIw+c1KlfJGAZAGB1Hw+r9I73OXWzob11fPBzrGg\nkb+JlBZo4Fuc2d2A/EM5MAu2JzAjUGIcocVQOc/8zEEl/+Nac0YNpkclvz/60mHt\nTgvNmAg3Z4DMSIQQhQpdV43XGq/oEY72+X52rIsBbDu5yVG5fBRd8ZKUhjrJApU5\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

Applied Compositional Thinking

","updated":"2026-04-22 14:03:01.139Z","user":"","username":"julesh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 13:56:27.248Z","domain":"mathstodon.xyz","followerCount":4273,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":227,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"ka90b2p70pg4yxk","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2026-04-22 12:05:59.395Z","outbox":"https://mathstodon.xyz/users/TaliaRinger/outbox","preferred_username":"TaliaRinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtj6yFND0XEEC+RJLhRMK\nApROqVTcQD1upSPlu+rnfNriyKxsRCie7kOzy/tyoaAd1fVrzHzu2hOkvxhzSO0S\nRGg6EtA1h85S68RqLD03b0u/ZpLF5myhGrsVqvPiIVzL190wQQejbvkV2GR+YXyR\njgz1leYw/qq84ggemIO5TbTEB0/R+nvPfvrxooHK/gxbfzxkIGeu+dtmzsQivpl4\n8YMcNoe9pzeL4BRQX1+X2L5kiFoXDUjHwjl13I8qIIUOGnJzy3f3GYLa4xZYlU+t\nZtj+r0nbwzHFHbXu1/X3eADHf8j7GlsHwM65XOOOPN2uFEX6+Dd4js6elJ3zKFWv\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

","updated":"2026-04-22 12:05:59.396Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 06:07:31.074Z","domain":"mathstodon.xyz","followerCount":650,"followers":"https://mathstodon.xyz/users/Scmbradley/followers","following":"https://mathstodon.xyz/users/Scmbradley/following","followingCount":670,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/356/197/413/473/939/original/b7d611c0fac1b0e0.jpg","id":"hc5kco4o3j0d692","inbox":"https://mathstodon.xyz/users/Scmbradley/inbox","iri":"https://mathstodon.xyz/users/Scmbradley","isLocal":false,"last_fetched":"2026-04-22 13:21:22.416Z","outbox":"https://mathstodon.xyz/users/Scmbradley/outbox","preferred_username":"Scmbradley","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3Q24tUSeG0bzacyL/7Bz\nyOsOPNzph4XUR233HieNltel+BpdDbecpRMlZGckWKENOadJ5fQ6iH6Gi1f297bf\n9tMvl4weV840Gn7K0dylfF9JDbQdoOzVCVyWHSkJOfBXTIhVvMuU2qFz/S4JtgwB\n2smBlcBCGPA64vLdALSWYjhsvSyYMqM4iD03DIUaj4HZOwfDV7OxBwmADqxDhpR0\nuewKNsnv4HKwgA6KmjNptyIV0HCU86gE583wzIKlOyimjgZfI7Vq8b4beLcJZsMO\nTNRLXZThpvtbdTc+CTnMovVAmrg79Pq4KrYs6JNF+0RovxykNm32XV0X8EXhONee\nMQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-24 00:00:00.000Z","summary":"

Boring tech guy. Former professional philosopher.

Unremarkable cis-het middle-class able-bodied white guy. He/Him.

Irish/British. Currently living in Leeds. Former resident of Luxembourg, Germany and Netherlands.

This toot will self destruct in one month.

","updated":"2026-04-22 13:21:22.416Z","user":"","username":"scmbradley"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-03-18 15:29:01.755Z","domain":"mathstodon.xyz","followerCount":202,"followers":"https://mathstodon.xyz/users/trans_versality/followers","following":"https://mathstodon.xyz/users/trans_versality/following","followingCount":151,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/398/158/021/334/original/49bb5b8296a8c5c1.jpg","id":"09xhgnjg7jt0b2w","inbox":"https://mathstodon.xyz/users/trans_versality/inbox","iri":"https://mathstodon.xyz/users/trans_versality","isLocal":false,"last_fetched":"2026-04-22 14:03:01.199Z","outbox":"https://mathstodon.xyz/users/trans_versality/outbox","preferred_username":"trans_versality","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuLNHe26aJ3spz+8rS/TU\nHAYXbFNAkkA4nX8nJN2sIHDKJqV6c+ke1ysWqcqnFjoT4NG/gYH0//aVfQ1h4NGN\niJx/khIDBbHRzhpOZoNwqgLM1FH5gHfQ6njO1empMoAgGwb6xZ4ZDLCs/6VY7pTt\nKEExzZiABcmzKNPxcytacUxNN8ZVEEwOs1rQDttbAlw5I47ZYNFJxKnzSRjA4saJ\nx/sDkDFL2pU8auS/S0YxvjcE29Ixz+zn5KDpfaakwDHwVLZnz/itJEHBX1hGMQXZ\ngpez/9KDHcE3sj6khMinYPJK11rZdYh5QlWFtJBfbvI2bSzHGSytBsN0109kLGIP\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

I study knot theory via Heegaard Floer and Knot Floer. He/him

","updated":"2026-04-22 14:03:01.200Z","user":"","username":"Seppo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-19 09:03:07.608Z","domain":"mathstodon.xyz","followerCount":17,"followers":"https://mathstodon.xyz/users/sapoteo/followers","following":"https://mathstodon.xyz/users/sapoteo/following","followingCount":27,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/345/333/263/163/100/original/20b65fbfa5ae0832.png","id":"mnf02if10bwby4a","inbox":"https://mathstodon.xyz/users/sapoteo/inbox","iri":"https://mathstodon.xyz/users/sapoteo","isLocal":false,"last_fetched":"2026-04-22 14:03:01.242Z","outbox":"https://mathstodon.xyz/users/sapoteo/outbox","preferred_username":"sapoteo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyx7l0ePXSR0KNPIkM7r2\nDdDvR1Gmcia7QbK2+TCV1HEVjuwLLJG0yAirbRqfhqKIgCog6E41j0r2t2T4LDuR\nmAOKSWpAlFd4YXURALKSurKUCLgqMgNdrzB/nywd5+ImGSpPR+UkRLJQtd6t0VW8\nav8NIm2z22RUV+HXceNuo+3gnZzyZGNwxwH+sKqlaxUMxYXuMizGn4J7yh9ZAr/A\nUm3OTiszkLPBFgv8BSY/CZSkDAh/GzUGSRCNxHpweBuft3zSgvnS1Us33TRUdx3G\nB9gkSHcRjfOT571qddUJJZtp6Qn/fz2AZGtQDkUUXkFBCqHsMbySFvfWUlWfKasK\n1QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

Ongoing Master in pure math @ IMPA

#trans #nonbinary #math #musician

","updated":"2026-04-22 14:03:01.242Z","user":"","username":"Locally Ringed Teodora"}],"page":1,"perPage":10,"totalItems":15,"totalPages":2}

🌿Julia M. Rosedale🌿

Following