{"items":[{"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-07 23:24:07.933Z","domain":"social.wub.site","followerCount":511,"followers":"https://social.wub.site/users/simrob/followers","following":"https://social.wub.site/users/simrob/following","followingCount":366,"icon":"https://files.socialwub.site/accounts/avatars/109/543/586/470/059/526/original/e715a6211469dc5c.png","id":"o88h4kl6ft80050","inbox":"https://social.wub.site/users/simrob/inbox","iri":"https://social.wub.site/users/simrob","isLocal":false,"last_fetched":"2025-08-24 21:22:11.620Z","outbox":"https://social.wub.site/users/simrob/outbox","preferred_username":"simrob","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzC3oz9cU0JeBra9NChSx\nC50ikGTRC4bTfy5I0j7/0qyEidDxyo6fRQpJV+N0MKD/6qPPyWYrRKCrAZC7WbVd\nX74YNTDkd0Ot6RtFzJuDcZ98VLMOY9Jb9fhSrk83IztS4SE/OUnbNl7GlhY+ZICL\nwvekiIZPaAE78PCn/yvP6OPqACvQz4Rrt3DCmQgYJCJDKHncRV4+VC+zxlmzu840\nrnC0BUAvs0juk/4tv74ZqCLqMe7cCJA5Ft2oQekIxz3vleQOm9q9GmsOk/PBfDZG\n2B8EnzZJCNHYghm8m3nVCFVtNj50KLXy0D+uXt7eh2WSWn2iixieRkpmMq7EK4zU\nSwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

an admin for social.wub.site. interested in computer science education and cats. in boston. he/him (privacy-protecting they/them also fine)

profile pic by chrisamaphone

","updated":"2025-08-24 21:22:11.620Z","user":"","username":"Rob"},{"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-20 02:18:06.319Z","domain":"mastodon.acm.org","followerCount":294,"followers":"https://mastodon.acm.org/users/plcon/followers","following":"https://mastodon.acm.org/users/plcon/following","followingCount":18,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/779/792/803/960/144/original/f158e0d44cc010fd.png","id":"2jz735d5pbx87gz","inbox":"https://mastodon.acm.org/users/plcon/inbox","iri":"https://mastodon.acm.org/users/plcon","isLocal":false,"last_fetched":"2025-08-24 21:22:13.020Z","outbox":"https://mastodon.acm.org/users/plcon/outbox","preferred_username":"plcon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2/wgZXrMJ57wNRjs303l\ncfRl7KlRduIvIiAeI8PA6YWbu4efCwskRSQmVsAt+l4KgUNT8atMw6KWl4UwwttG\nChmqFbeua4BP622FD8zbc6ybYHAX7ig4eIEHK/fPug1x/EkUOagFuwW+0WTdoZM2\nJs4SzTkUfi/l8myjq80+SCTFPAoNftDLmR/RbWgINGYMbi8GV9KXAmxcWyEsMZQm\nuvlH3MTpXc4B/ZLNjtc+tvZ9ZvWPCY9NO7YGC/0nZ/Yz6t1TQaWwnKTgXKEPGKjk\nePcN39NxQ4F4ux0VioXUkEt2YuQbA9cDE6E5rgTSoe6+ZMnHglLVGLnFllwjRT83\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

The premier fake programming languages conference, providing the latest satirical announcements from SIGPLAN’s nonexistent Programming Languages Conference (PLCon).

A satirical account providing respectful, constructive critique of programming languages academia in general and SIGPLAN in particular.

iconography thanks to @shiwei

","updated":"2025-08-24 21:22:13.020Z","user":"","username":"PLCon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 14:08:34.331Z","domain":"mathstodon.xyz","followerCount":4129,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":199,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"2q6p52mlg37pk43","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-08-24 21:22:13.054Z","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":"2025-08-24 21:22:13.054Z","user":"","username":"Talia Ringer"},{"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-07-10 04:07:34.097Z","domain":"mathstodon.xyz","followerCount":110,"followers":"https://mathstodon.xyz/users/jacobneu/followers","following":"https://mathstodon.xyz/users/jacobneu/following","followingCount":75,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/953/800/739/556/319/original/09203b74c7711cad.jpeg","id":"wz8iv06377t7ebc","inbox":"https://mathstodon.xyz/users/jacobneu/inbox","iri":"https://mathstodon.xyz/users/jacobneu","isLocal":false,"last_fetched":"2025-08-24 21:22:13.731Z","outbox":"https://mathstodon.xyz/users/jacobneu/outbox","preferred_username":"jacobneu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApNZVtuclurHmTVKQGWco\ngaT8krPZ40HIcmfdcjKu5Je4ioiTuReor2JVroqJGoq1TpSblUAMb/ht3wx2eG3a\nkXj7y2XnYsf4QCVG3d6dvY0TqQ48zSu+2mVDwzuC6m97xCLLpetXO15CRlsA1xxf\nO3tgr/C9Q52Q6MArx3MHpuCEe6cvOYcXm894DoVBUZDkAPuCsYZXEjp8ijlcXbdG\n/gDEsXdpNQh5EseURpImcOeypeZnP6xDWLEYk2oI30tX4hB5Q44yHEktVNwXqbPq\nhvgg4lZfhXXtvu66MNyeuvEGDzqKXXaTgSo8k3fFHT+02jTqNietVDFa8jK7W5wu\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-18 00:00:00.000Z","summary":"

Ríkjafræðingur og gerðafræðingur at Reykjavik University
Previously a PhD student at Uni of Nottingham
Lover of bright colors and spicy foods
Has been known to sporadically create content

","updated":"2025-08-24 21:22:13.731Z","user":"","username":"Jacob Neumann"}],"page":1,"perPage":10,"totalItems":11,"totalPages":2}

Yotam Dvir

Following