{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:08:04.887Z","domain":"mathstodon.xyz","followerCount":2,"followers":"https://mathstodon.xyz/users/LeoTsai14/followers","following":"https://mathstodon.xyz/users/LeoTsai14/following","followingCount":4,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/179/686/957/763/421/original/178c998f90e95ab0.png","id":"182110d2hrf1o9z","inbox":"https://mathstodon.xyz/users/LeoTsai14/inbox","iri":"https://mathstodon.xyz/users/LeoTsai14","isLocal":false,"last_fetched":"2025-08-11 02:11:43.794Z","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-08-11 02:11:43.794Z","user":"","username":"LeoTsai14"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 08:26:58.318Z","domain":"mastodon.social","followerCount":3260,"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":"yyrz1ui00o4rghw","inbox":"https://mastodon.social/users/lobsters/inbox","iri":"https://mastodon.social/users/lobsters","isLocal":false,"last_fetched":"2025-08-11 02:11:43.876Z","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-08-11 02:11:43.876Z","user":"","username":"Lobsters"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:06:55.094Z","domain":"mathstodon.xyz","followerCount":660,"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-11 02:11:44.349Z","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-11 02:11:44.349Z","user":"","username":"Noam Zeilberger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 00:52:13.460Z","domain":"hcommons.social","followerCount":1276,"followers":"https://hcommons.social/users/consequently/followers","following":"https://hcommons.social/users/consequently/following","followingCount":361,"icon":"https://spaces.hcommons.social/accounts/avatars/109/302/194/352/734/176/original/0680e02207f19603.jpg","id":"019va9h7m4u8844","inbox":"https://hcommons.social/users/consequently/inbox","iri":"https://hcommons.social/users/consequently","isLocal":false,"last_fetched":"2025-08-11 02:11:44.821Z","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-08-11 02:11:44.822Z","user":"","username":"Greg Restall"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 03:34:48.314Z","domain":"mathstodon.xyz","followerCount":41,"followers":"https://mathstodon.xyz/users/zackbach/followers","following":"https://mathstodon.xyz/users/zackbach/following","followingCount":108,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/627/730/215/722/523/original/8ca9fa620d85bb2c.jpeg","id":"1b3q1k16v78d36t","inbox":"https://mathstodon.xyz/users/zackbach/inbox","iri":"https://mathstodon.xyz/users/zackbach","isLocal":false,"last_fetched":"2025-08-11 02:11:45.139Z","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-08-11 02:11:45.139Z","user":"","username":"Zack Eisbach"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 23:35:40.338Z","domain":"social.edu.nl","followerCount":591,"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":"55hi6j199q7yszi","inbox":"https://social.edu.nl/users/bjacobs/inbox","iri":"https://social.edu.nl/users/bjacobs","isLocal":false,"last_fetched":"2025-08-11 02:11:45.229Z","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-08-11 02:11:45.229Z","user":"","username":"Bart Jacobs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 03:32:11.558Z","domain":"mathstodon.xyz","followerCount":71,"followers":"https://mathstodon.xyz/users/pamorim/followers","following":"https://mathstodon.xyz/users/pamorim/following","followingCount":62,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/059/283/868/650/409/original/6242fa04a82b8e5d.jpg","id":"wu45bhogu32ho06","inbox":"https://mathstodon.xyz/users/pamorim/inbox","iri":"https://mathstodon.xyz/users/pamorim","isLocal":false,"last_fetched":"2025-08-11 02:11:45.261Z","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-08-11 02:11:45.261Z","user":"","username":"Pedro Amorim"}],"page":1,"perPage":10,"totalItems":122,"totalPages":13}

David Young

Following