{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-02 00:17:26.537Z","domain":"discuss.systems","followerCount":466,"followers":"https://discuss.systems/users/pkhuong/followers","following":"https://discuss.systems/users/pkhuong/following","followingCount":366,"icon":"","id":"1c686jg9d0a18d5","inbox":"https://discuss.systems/users/pkhuong/inbox","iri":"https://discuss.systems/users/pkhuong","isLocal":false,"last_fetched":"2025-09-02 03:32:30.159Z","outbox":"https://discuss.systems/users/pkhuong/outbox","preferred_username":"pkhuong","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAse0EZCvWNW43KLWQ9QVY\nhk25klGrUuu25R/p3bEY/QZ1oXJVwyoYbfc50V+hN+wa0+ohczg6FPq3eT3clbh2\nBEMUWdmPDCfWiR09+zRp+CHkxPUgK1lF82kzV7kNGm09MnOsYRi4PfWVkTQAnIgQ\nIkrUe3k5DDRn9XoGhr6OUayT9PgwsPxS2ZXzA0OLGjfrZdg3kB1RIyGHXbHxWvd8\nJJAdukY8mKMvWMYmEJFkEDclXGoxPNz/fbb2QSPk9fH4Sr/BDqWpNwfa1s+aEf4P\nK/wtHeDAmmbEc5XTjKjfm286iSd3srOVvc4aWkcOsERxzKi637L2gYyDXNzMDmlh\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-10 00:00:00.000Z","summary":"

","updated":"2025-09-02 03:32:30.159Z","user":"","username":"Paul Khuong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-02 03:32:30.300Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/LeoTsai14/followers","following":"https://mathstodon.xyz/users/LeoTsai14/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/179/686/957/763/421/original/178c998f90e95ab0.png","id":"82s5a13r958bh8s","inbox":"https://mathstodon.xyz/users/LeoTsai14/inbox","iri":"https://mathstodon.xyz/users/LeoTsai14","isLocal":false,"last_fetched":"2025-09-02 03:32:30.300Z","outbox":"https://mathstodon.xyz/users/LeoTsai14/outbox","preferred_username":"LeoTsai14","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv1JfwM1KgpC1jnidrjAR\nS+HfjLX0uMw+Nylz4NcGB0FDX95HhT5gOM8sVIGxngcpbMBNU28HLHpl1qE0rTjH\nGXVVKrHewEmpU3jpWe/4wb7k/HiuOy/M3nfS651/yjggtQpjTG0yhi53eYHSKMxv\nKXp9LiCabJfx1HlCWDtBroVQjlR/VfTFVkNqF83ZgRozowkiqliUTJDCwE7f+v38\nfu6nAkNs5l4nvdudZ9ODseG3afrkqz4R/G/gg7kk289Lv0E1FDy+GzAZ95JGjlFg\nMDheoxW1GcsNYt/pvQQ7fxXcbnSvzvuGuYfwd5jS/WViAfmIQ4pCj/o7J9pV4Jt0\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-17 00:00:00.000Z","summary":"","updated":"2025-09-02 03:32:30.300Z","user":"","username":"LeoTsai14"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 21:21:46.999Z","domain":"mastodon.social","followerCount":3319,"followers":"https://mastodon.social/users/lobsters/followers","following":"https://mastodon.social/users/lobsters/following","followingCount":20,"icon":"https://files.mastodon.social/accounts/avatars/113/635/103/853/964/473/original/0a4435eaf8d5c473.png","id":"8q19128b30bj005","inbox":"https://mastodon.social/users/lobsters/inbox","iri":"https://mastodon.social/users/lobsters","isLocal":false,"last_fetched":"2025-09-02 03:32:30.524Z","outbox":"https://mastodon.social/users/lobsters/outbox","preferred_username":"lobsters","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjevG+ilCgeuEXoOEdQuU\nPt47HtfTo2NRKQXcWtzjhzPCDi6pEqWSo1ur/i686zIgZzJnX92+vATJVWHiQbKb\npd91J3x6fLmDhhwVMDpucMZfHxF+4CgC1ca03uhTcRclNlRBSfwDiI/4GFzBGSdD\nqx/8M+f8z1UtyD/CWs+PmRaGtEVIBS50AmkuKraZREYhEptOCeLJ9NJ6luEYfbuG\nw168PDUPCWC79Fs9Ids0ym1QTZJNQdDxsv5Xg6V48F1nLAMbQbK66RtVGugtvcR0\nR+KT2nP1NvoFrWF8aqMm85xrQ0ZHkxZC3eRrbklZRkD4QHKFMWOEbFcTfO2E5yB4\ngwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-11 00:00:00.000Z","summary":"

Feed for stories that have reached the front page of lobste.rs.

","updated":"2025-09-02 03:32:30.525Z","user":"","username":"Lobsters"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-02 02:00:31.467Z","domain":"mathstodon.xyz","followerCount":663,"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":"vxg7dnz6tuawk6y","inbox":"https://mathstodon.xyz/users/noamzoam/inbox","iri":"https://mathstodon.xyz/users/noamzoam","isLocal":false,"last_fetched":"2025-09-02 03:32:30.802Z","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-09-02 03:32:30.802Z","user":"","username":"Noam Zeilberger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 13:10:47.925Z","domain":"hcommons.social","followerCount":1275,"followers":"https://hcommons.social/users/consequently/followers","following":"https://hcommons.social/users/consequently/following","followingCount":363,"icon":"https://spaces.hcommons.social/accounts/avatars/109/302/194/352/734/176/original/0680e02207f19603.jpg","id":"g0487du5fwzj0in","inbox":"https://hcommons.social/users/consequently/inbox","iri":"https://hcommons.social/users/consequently","isLocal":false,"last_fetched":"2025-09-02 03:32:31.079Z","outbox":"https://hcommons.social/users/consequently/outbox","preferred_username":"consequently","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv0SyQIbVW/JLNbjKdxka\nagtphHncEjigznqVDLg/AMnrV5rL/eU+zagfOhNs+xhhMGP75s+N72gs2X8JFYvm\nOSNcKek/ftwsrzkoXUMuBQ8xfND/nFBrYbjszbx/DDr8wkTSqTn+Gs9HBnqGfBlw\nD4Fmm73mB5TNJ6x/8mAiN1/LmdgUI4WokswKMbaatKpGGP1Xdy35v4N3StogBABZ\n/wry87qZ/douZuXYFxS0mTv3NVMFHvJhR4HNTzFN3RDYEubiQM4ZIpouH56aFc1v\nD3Gw1vusMe/GHMvqBzQf0PP2EJKNThv5xEIm+sp44J58HQuJRPmP3GhG7xqeoxHm\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

Philosopher and logician, from Australia, now based at the University of St Andrews in Scotland.

I like thinking about—and helping other people think about—logic and philosophy and the many different ways they can inform and enhance each other.

I suppose I’m known for work on substructural logics, logical pluralism, and (more recently) what philosophers should know about proof theory, and proof theorists should know about philosophy.

#philosophy #logic

","updated":"2025-09-02 03:32:31.079Z","user":"","username":"Greg Restall"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 16:28:09.483Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/zackbach/followers","following":"https://mathstodon.xyz/users/zackbach/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/627/730/215/722/523/original/8ca9fa620d85bb2c.jpeg","id":"w9cn9ekj7c3b8a3","inbox":"https://mathstodon.xyz/users/zackbach/inbox","iri":"https://mathstodon.xyz/users/zackbach","isLocal":false,"last_fetched":"2025-09-02 03:32:31.303Z","outbox":"https://mathstodon.xyz/users/zackbach/outbox","preferred_username":"zackbach","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA12rXw1shGM9GeiS6b+IB\nkfDZTqiibv8NfgpgorLqH07Fq2RjmpV9UIy2Zn3FBr1g3RVt+dc3WugIlkRxeDmh\noMzzLavP2P5NkIRTolrrpodGGaZyMhrh9icWB7Z/YSyc2oMtBFqiccxf6POQ7MJK\nApn7VCEK0x6KktSUgiRXiioyiGLI0RmfKdcB9zXMLr/vQ8LKnlkWdv+frS6Z+W5L\nYKqG/zP5RTZzlqa2Ei/PzkOIKb9p33pr/qx8Uh/PgsyKEzq7ibucMu6WIu9NdhRy\nIlhIpjMDEObQ1s95+Pk3mk+FYL1pqspm9jIP4Bv5ZcI411GoUf8ZHMgIi52mr5ti\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-03 00:00:00.000Z","summary":"

Undergraduate programming languages researcher @ Northeastern PRL
 Logic, types, compilers, categories
 Research intern @ Apple

","updated":"2025-09-02 03:32:31.303Z","user":"","username":"Zack Eisbach"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-05 23:21:26.112Z","domain":"social.edu.nl","followerCount":592,"followers":"https://social.edu.nl/users/bjacobs/followers","following":"https://social.edu.nl/users/bjacobs/following","followingCount":16,"icon":"https://objectstore.surf.nl/mastodon/accounts/avatars/109/978/455/070/611/053/original/f18cc1302b5927f0.jpg","id":"w996y2po0k6m49s","inbox":"https://social.edu.nl/users/bjacobs/inbox","iri":"https://social.edu.nl/users/bjacobs","isLocal":false,"last_fetched":"2025-09-02 03:32:31.927Z","outbox":"https://social.edu.nl/users/bjacobs/outbox","preferred_username":"bjacobs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq5i6gSuZ0OIKJdw16SM4\n1SBLbORPTZB7WuL6/T1jpGufNYKNWRISuf3Z5gicBepU6itAECz/6VGJiYqbGtOV\n3V2rEWT2WaVZngNn84XZkwYNJNXxedd0uYYpiyr3A/HRc3Pj2OvKgITvGZbt/l9/\nDIavdjBvpFz3AceuEPGe4waV+YclKmelmzrF7/0hC2IJm67bxw02Xxp+cIT2RHSR\nCrIAUC/TrUFiUoixEWFgZWC7ohTTXefIyFmX67buAAzqo3avBLxykfcrxaVTCPIs\nWcb19+WUSRJAvFdLrLA+3H0e6g/jDek2LFfy5q9vmHAkMF8Hft8suueUgrGtBOAh\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-06 00:00:00.000Z","summary":"

Professor of security, privacy & identity at Radboud University's iHub, webpage at: https://www.cs.ru.nl/~bart/

","updated":"2025-09-02 03:32:31.927Z","user":"","username":"Bart Jacobs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-20 04:48:11.832Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/pamorim/followers","following":"https://mathstodon.xyz/users/pamorim/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/059/283/868/650/409/original/6242fa04a82b8e5d.jpg","id":"0dqxt14925o2vny","inbox":"https://mathstodon.xyz/users/pamorim/inbox","iri":"https://mathstodon.xyz/users/pamorim","isLocal":false,"last_fetched":"2025-09-02 03:32:32.063Z","outbox":"https://mathstodon.xyz/users/pamorim/outbox","preferred_username":"pamorim","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1muxgXT2cZclsGkzuia1\nfrERi9LL03awfkc6TEdpKysf+mto5WSsGSz96e2HQFKMlb0JIzwH+w/I1GyaWHE8\nxTBuWmr75TzUloaoNvU0g26CPKZTTao/4CqMcmFtEhaBbar8ig2BsNwlMHhb8OEU\nF7AcmeD3S0xs2vq6q80Qp96qlRr8uCxpxF5JF7eV5Nlv34BDYC6p3IOw5LQsQGop\ndWNO/bPlR03XcCsWI2CZxpzQwMpT2+gG877wczgZzQWlxuMh6q+s2xSR7boygHyc\nL+d1PCGHjyNxsZawrOSX+99Ggnoexza0AIf5NODaqysL1JSRYIIoTp5nZcSknIB2\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-21 00:00:00.000Z","summary":"

https://pedrohaa.github.io/

","updated":"2025-09-02 03:32:32.063Z","user":"","username":"Pedro Amorim"}],"page":1,"perPage":10,"totalItems":122,"totalPages":13}

David Young

Following