{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 12:14:44.416Z","domain":"hci.social","followerCount":0,"followers":"https://hci.social/users/mcnuttandrew/followers","following":"https://hci.social/users/mcnuttandrew/following","followingCount":0,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/113/322/875/026/293/856/original/691406c429081b24.png","id":"o70f93522o0evyl","inbox":"https://hci.social/users/mcnuttandrew/inbox","iri":"https://hci.social/users/mcnuttandrew","isLocal":false,"last_fetched":"2025-09-20 12:14:44.415Z","outbox":"https://hci.social/users/mcnuttandrew/outbox","preferred_username":"mcnuttandrew","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6EduPNrrahSgAQaO/EC+\nhVjlkdUPBGudBBKQvT3WHfiAV4y+D7G20ZbFV02hac32mvB9P8tXgWU/8IieZFJg\nGZmGgKETqFe3ifpZoNmYejjE3Jl4Ymi+ZYLu3AgqfFP2J69gTZytxn4k2imAvWAs\nFnxi1GsxnDozQZngs5HszMuX7tOZS0h0VGy/F4xy7hmEwxcLRzKMpau1LIfP3XhI\ng7RkmcDba5jnLZLsvTdhNDOsEe8b4KXWPHyMr7oRlI6z4GidgS92NGZZRZsG9MKd\n+knOg3bqRaNxDo8/lCK3pyUtjhY+E9Yr1jYNEHLJZU8JnH9gQOABVb05hIwdClQB\nHQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-17 00:00:00.000Z","summary":"

Professing (HCI | Vis | Programming Interfaces) at University of Utah

","updated":"2025-09-20 12:14:44.416Z","user":"","username":"Andrew McNutt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 02:00:24.084Z","domain":"mas.to","followerCount":20936,"followers":"https://mas.to/users/gleick/followers","following":"https://mas.to/users/gleick/following","followingCount":357,"icon":"https://media.mas.to/accounts/avatars/113/023/133/098/151/828/original/fda3de989b69618b.jpg","id":"www2yf0g6nt2740","inbox":"https://mas.to/users/gleick/inbox","iri":"https://mas.to/users/gleick","isLocal":false,"last_fetched":"2025-09-20 12:14:44.563Z","outbox":"https://mas.to/users/gleick/outbox","preferred_username":"gleick","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxuar1EDp7xdt+8+joVg9\nWplvMXR7mx7VgHCeXrcUM0NUP+37NmCRZ3DJbnlai3W6rXEhoEqwmyXkWvmAxg1t\nePiN4dyHG24XGVEdgLwcqd1qSXPp3G45+aRhJCl7gsjgiqiSl4H1SmjyimMJ+iF6\nckeal1PKHHhU+rtfErvwrWg0Q0Tb70lgzkYAbRR9e/j1i/qknIS3aTza5dAapEb/\nKNiMJd7vdhRlGlCHQG2XbgeVw0X0FT34Cjn/CQaHVfqB/V6eVsE79+/f81DEWTVH\nSaBjTrpvfqaXCENody0v8WLIxtkF56WieScn/bgBXoJ6ZDUgitE+4r43Mq7u+cQt\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-25 00:00:00.000Z","summary":"

Author.
Chaos, Genius, The Information, Time Travel

he/him

","updated":"2025-09-20 12:14:44.563Z","user":"","username":"James Gleick"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 06:13:16.393Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/arjun/followers","following":"https://discuss.systems/users/arjun/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/112/920/274/060/093/955/original/7429f53d8c47b68f.png","id":"5lz174snzba2t44","inbox":"https://discuss.systems/users/arjun/inbox","iri":"https://discuss.systems/users/arjun","isLocal":false,"last_fetched":"2025-09-20 12:14:44.684Z","outbox":"https://discuss.systems/users/arjun/outbox","preferred_username":"arjun","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvuLQRP6k5MyemUdScTkW\nmJ0ptavXF5lGVhbeSJFkQqydfQizslT5aXhzwsam2YWuNKQaghqGAsr89ls8BbuI\ndorBv2uu4+5bu2QNodw4HOOWD7Hi11+8vgIPOgEmt5S0MTDWtK7D00VFOkfn3lVM\nORzfn4+qL6UtTDtyPdUZ/gvI5Spqb69Xs3T+1zfjGZmvZR0n+HfQXQDcTarrxpNd\nXcDWTkyMDsfQ2h5TRrQVeMTOiCzr+UlZm4kGTRInEZXXiYzwdgwAFV8QkHTsF5km\n9sf7U4VvRdiyraTqFDlFUtLPNjCxaup9T0j9Axzs5wbu2Atw6idNru9E0ykzSYre\n3wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-07 00:00:00.000Z","summary":"

hacker / cs professor

","updated":"2025-09-20 12:14:44.685Z","user":"","username":"Arjun Guha"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 22:33:09.559Z","domain":"mastodon.online","followerCount":1997,"followers":"https://mastodon.online/users/hawaiianeye797/followers","following":"https://mastodon.online/users/hawaiianeye797/following","followingCount":2677,"icon":"https://files.mastodon.online/accounts/avatars/109/281/270/247/799/790/original/5baa079959600524.png","id":"8992vc3571j0t6u","inbox":"https://mastodon.online/users/hawaiianeye797/inbox","iri":"https://mastodon.online/users/hawaiianeye797","isLocal":false,"last_fetched":"2025-09-20 12:14:45.483Z","outbox":"https://mastodon.online/users/hawaiianeye797/outbox","preferred_username":"hawaiianeye797","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnATb3PEpRTn9J51NnONG\nUKEWiEY4EseOJ4B21pF78/PXAP7hvQS368v3xnPTtPutdcerK1p9gqPE/mWUBJA0\ntyz8cYDqxQmGp7rtJqikHIfjhD3JpjwMmYosigx5W1LrPKuJ1G7kbnc2C0Saqaww\nv18cE7Ck0HUYPtAbyX88O4gMDiKRZY/CsvuKvcUdsibTO3c984v4bhHWOGWxI7Qk\n24a0gSFp1prBDNlWauconWfd+4LP9oOKcKi2Dq1Qop5gAcm3xUzaF3Ah+D5ElZzj\nivb+B++fZcT9EHv1CWyvOdsxFOpW2P+Th2Ufk5ZTLUc8Ip1fUcKwDUvR/ZKv0INU\nXwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Photographer documenting our watery planet in #Hawaii Photos my own or properly attributed. Hopeful for a diverse, progressive and caring planet. #LGBTQ #BLM #SocialJustice #DemocraticSocialism #healthcare #education Prints available. DM me.

Alt text Header: A sea turtle with a rounded head, covered with a mosaic of dark leather-like markings, swimming left.

Alt text avatar: An oblong golden and white fish with a dark mask and markings

","updated":"2025-09-20 12:14:45.484Z","user":"","username":"hawaiianeye797 (Craig F)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-12 03:06:37.108Z","domain":"mathstodon.xyz","followerCount":4146,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":201,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"1zm35e6zxu81g5m","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-09-20 12:14:45.589Z","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-09-20 12:14:45.590Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-19 18:24:27.520Z","domain":"mathstodon.xyz","followerCount":686,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":745,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"121t98z7qkpu330","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-09-20 11:19:19.768Z","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-09-20 11:19:19.768Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 06:13:17.632Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/csgordon/followers","following":"https://mathstodon.xyz/users/csgordon/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/850/232/300/280/672/original/5fb29c5bf2874af4.jpg","id":"3g8l979bw2zsltq","inbox":"https://mathstodon.xyz/users/csgordon/inbox","iri":"https://mathstodon.xyz/users/csgordon","isLocal":false,"last_fetched":"2025-09-20 12:14:45.635Z","outbox":"https://mathstodon.xyz/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzv621E1Ynfe9+QQ0Emf\nB86uxDl34d/GfsnvDfOQge1b6mIflzH1AHzP8rK83RqBPxzDp32sgHTNrJDlyr+w\ngTxe+fR+EtKSZlvBjokBPcffSyTjNcpNd3C/toYyZylXzh4yP5I19vlURK+0t5Oz\nrRIRG12zcJFpDiv7J22A+IqrLVGT4EiZJzeELBOqpn0QOpUGrdpvdwlnQmYJ4nWO\n69S6f4ObfB93j1jGxHz7tBy1ew56c8TeNmYa5TqB/VZEj4G/iPYQ32lgUpZbNg9v\n0riEpE3/0tb/BruuP4UmR1vmu+uWLHsPD4EmO/RB8mDMrvAqhH1bxdHh+WCQPgch\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

","updated":"2025-09-20 12:14:45.635Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 12:14:45.797Z","domain":"hci.social","followerCount":0,"followers":"https://hci.social/users/naman/followers","following":"https://hci.social/users/naman/following","followingCount":0,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/110/537/762/042/341/751/original/40477f4e80be43b0.png","id":"5yc8704b1cd49q8","inbox":"https://hci.social/users/naman/inbox","iri":"https://hci.social/users/naman","isLocal":false,"last_fetched":"2025-09-20 12:14:45.797Z","outbox":"https://hci.social/users/naman/outbox","preferred_username":"naman","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp9pADe0sfIlQnHybG4rA\nH+yyiHuZPDuMkUtBMPtN0R8nwBtiIuCjS8XTxFiCTlCcm6UsNI6/wHadU+4hkUu/\nYlb2x/9pWQ08Q1XojGDAVOEZC4sUWcWiYOV1KjWadDJMmypgbxIlDopi89v3VK+2\nEDOwqD733vDetyJ9vwHSYGA/6BR758YC3edB/iaJ4T81SWxgEavlH7HAAhH3V5pK\n7Qpq+2cita7kiwUE064twtseBXezSDTlPm43Yy9DctkNnKFhCFmUPP1nb9fsrmkl\nWH5SxBjo+RF7Lm2rGT8s6TOyffVAqu+GfFzUmXlRkuwWFhBfaIu3Ot5Nn1bTmANE\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-13 00:00:00.000Z","summary":"

he/him. CS PhD student @uwmadison in security & privacy. https://naman.github.io

Prev @MSFTResearch

","updated":"2025-09-20 12:14:45.797Z","user":"","username":"Naman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 07:45:17.034Z","domain":"mastodon.social","followerCount":203407,"followers":"https://mastodon.social/users/arstechnica/followers","following":"https://mastodon.social/users/arstechnica/following","followingCount":6,"icon":"https://files.mastodon.social/accounts/avatars/110/266/162/634/306/901/original/83169ae835e6c5ac.png","id":"5277u7lc51s5d2q","inbox":"https://mastodon.social/users/arstechnica/inbox","iri":"https://mastodon.social/users/arstechnica","isLocal":false,"last_fetched":"2025-09-20 12:14:45.914Z","outbox":"https://mastodon.social/users/arstechnica/outbox","preferred_username":"arstechnica","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzaCmVnmaqjptdcOClXJe\nqOHJ+nrPTkZHwIlhbvv97maYDYKg9gdczfUqjmnyJOYFAxHujwuFI1edizTxbl1U\nOX/CrYxYeTaWQzvUyyeCNpPtR/GevRKNkeq6dmJwdlM3k8CZl1z6XtsHahREcPC9\n/ijvLFpKoXEwOuBHQ1CPCBpS2kVgYja1VZnwJ2NOehv24GlL0gSDPJ0p8ahKC+/L\n1kqZxknSyhbjd3RH9z4wHATnX4DJ7PExCMPHK/8g5oIf4YWKksJwznx5bieM5xEJ\nzZ8dSog23U0BYtq9wv8tRY+I/ukKWWAC9EwfUUltsbFsPmr4njzSywrG+soE7CWC\nCwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-26 00:00:00.000Z","summary":"

Original news, reviews, analysis of tech trends, and expert advice on the most fundamental aspects of tech.

Official Ars Technica account. 🟠

","updated":"2025-09-20 12:14:45.914Z","user":"","username":"Ars Technica"}],"page":1,"perPage":10,"totalItems":300,"totalPages":30}

Ben Zorn (he, him)

Following