{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 17:10:40.735Z","domain":"mastodon.social","followerCount":3339,"followers":"https://mastodon.social/users/shriramk/followers","following":"https://mastodon.social/users/shriramk/following","followingCount":735,"icon":"https://files.mastodon.social/accounts/avatars/108/262/011/720/829/669/original/21d7b109c09f7c06.jpg","id":"0j7u7d481v318ir","inbox":"https://mastodon.social/users/shriramk/inbox","iri":"https://mastodon.social/users/shriramk","isLocal":false,"last_fetched":"2025-10-17 17:53:35.209Z","outbox":"https://mastodon.social/users/shriramk/outbox","preferred_username":"shriramk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu0RCMvnQyQz1MGEj+W44\nCpbS6TayqZm5gzPD7DBtvvkNp6AkQAjS1PrnfUgQqsvEQgZDWNp0cbp+72/x8i8A\nWRTd+++Zx+iVB2lLLFl6dUogpDVLvMaQ3hf40AcRQmbrqjEuamUBgs2mONY9lYkr\nrsykejMVewI0iI8Yn11z6id/5/UQaK1S95tNypzRZ4l1TlkR01t8i/hhJIrH86PY\nMUHtvePbqGDUIBCTPCF+D32pITYXqUF8a8n+mjrbNpH4oCEpfm3tCO4PJB7hpga5\noWY7mVGapoOuVM9y9f8TaN67kfF21VlHYDJMktLW96k++sSSYYdTypY2DziYEtsK\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-07 00:00:00.000Z","summary":"

Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket

I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.

See https://mastodon.social/@shriramk/109302532598801863 for longer #intro.

I wish to be searchable by tootfinder

","updated":"2025-10-17 17:53:35.209Z","user":"","username":"Shriram Krishnamurthi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-14 15:06:25.589Z","domain":"mathstodon.xyz","followerCount":19982,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"8q42sc8meq51uak","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-10-17 17:38:54.192Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2025-10-17 17:38:54.192Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 09:27:13.336Z","domain":"mathstodon.xyz","followerCount":4149,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":202,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"3x4q79rbqg2qje9","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-10-17 17:53:35.318Z","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-10-17 17:53:35.319Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 19:25:29.488Z","domain":"mathstodon.xyz","followerCount":692,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":749,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"b47voo6r07xcwjm","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-10-17 17:53:35.359Z","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-10-17 17:53:35.360Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 11:34:58.513Z","domain":"mas.to","followerCount":129,"followers":"https://mas.to/users/joelr/followers","following":"https://mas.to/users/joelr/following","followingCount":30,"icon":"https://media.mas.to/accounts/avatars/109/311/792/333/309/926/original/f0ba74999dfc1ef7.webp","id":"dy8l4ew92n59rsy","inbox":"https://mas.to/users/joelr/inbox","iri":"https://mas.to/users/joelr","isLocal":false,"last_fetched":"2025-10-17 17:53:35.403Z","outbox":"https://mas.to/users/joelr/outbox","preferred_username":"joelr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwKisnWLb4Z/QCUMjckaF\n17ryGtBWojnxU4b1hD7p/7fOFSmdQ1SxFqRgoE0mNdCzJyI3CiuKmWueZXsATTgZ\nM5fbJ4KgNqMqtVbWeYggg6fuxQ6pyUGV5J9ezpt2o0lsMpcgvUdgvLIhXa2NHVgS\nZA/xJCUrkBuXdzzNUqyQVHYRPIfphpAsUHV6TqTwp6of3mHjiAGhH6LQ4ykPxSay\no4UH0/CNkpz7K1ux2Kiej537VrA7Gahh94GADOC0xXvyPLx6xqyDWMgl15UJighd\nRU/0/A21dd/9Wj3ionO8NbbxXcuYFVjwWOq6sG7ALdjVkBDkXgQPJvC5M4hmgzNk\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

Guy in a garage, making things. Creator of Pixelogic, Every 5x5 Nonogram, Yarnly, Momentory, hott notes. Founder okayest! studios. Tired and proud dad. Former Googler. Also @ https://bsky.app/profile/joelriley.com

","updated":"2025-10-17 17:53:35.403Z","user":"","username":"Joel Riley"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

karaki

Following