{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 11:54:47.736Z","domain":"mastodon.social","followerCount":180,"followers":"https://mastodon.social/users/xanovsky/followers","following":"https://mastodon.social/users/xanovsky/following","followingCount":155,"icon":"https://files.mastodon.social/accounts/avatars/111/826/015/176/784/399/original/e916b068febfd91b.png","id":"pi1tlmbjccx2zd4","inbox":"https://mastodon.social/users/xanovsky/inbox","iri":"https://mastodon.social/users/xanovsky","isLocal":false,"last_fetched":"2026-01-23 19:11:22.603Z","outbox":"https://mastodon.social/users/xanovsky/outbox","preferred_username":"xanovsky","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwWvDBLPpeG+i/YJ7Q3QJ\nZjAbVprpsiTX+K+DYK4amI1aZJUnt2BM+vX83N6gz2VQORX/l6F+I0ecGNk6miBn\nTJGTxf+4vGvVntME3J5ANGpd5X729/j/YJuhe7S7cIIC9oMcSQ+ppvYkDS+keHhK\nhzu/Oxc0ECpmt6oER29BcqPui+mBBSfyK8owCAOQbxYxlMhjVlhKwdeBqVRlcTxO\nDyAE7R0pK1NIuKIM+U1u0Qed7PTTM8Vs91MJ7nC/euoICsUtP0FS/kPVbY13ncI0\nUlLOlw66uoNjV6U3/Aeva8yFNgPFzwui8gfA6wbatMdXH+F8TYAueA5ntCZzyBCO\n8wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-27 00:00:00.000Z","summary":"

Mom, foodie, traveller, computer scientist

","updated":"2026-01-23 19:11:22.603Z","user":"","username":"Alexandra Silva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 15:57:52.364Z","domain":"discuss.systems","followerCount":226,"followers":"https://discuss.systems/users/burakemir/followers","following":"https://discuss.systems/users/burakemir/following","followingCount":73,"icon":"https://fd.discuss.systems/accounts/avatars/110/851/006/782/538/571/original/ecb98311e9188a3b.jpg","id":"f4v625f1ty5790f","inbox":"https://discuss.systems/users/burakemir/inbox","iri":"https://discuss.systems/users/burakemir","isLocal":false,"last_fetched":"2026-01-23 19:11:22.711Z","outbox":"https://discuss.systems/users/burakemir/outbox","preferred_username":"burakemir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0TPDPF1RGNuF1MOONy7g\nqoAhbWjDqUWfedNJdTr1ohceCuEdydSIsnGYjOGl2WdRh2InIXxXFCCtGRWqna4a\nB0OQUQ6gR83Sh1KRkSr39r/lutQy8nk6NFvnYLt3CgYKLh7+Uu7EGpXd0usxnuZe\nc2vVLys7P0N1SIZsUvlgdYg2UAllwCSZZgdj5nw/zSUjKyPbXQD43B7BlXDTPnfi\nc8YH5CU+5wq4c2dZTYSu/HIKCZpyCAbuqdU/kXI1DB/yLXUKa2PNrO0UGYb/fVY/\nicE2bBpt4I4Xcrs7vWN/i3zOrsz9ZC64gC34ESaI3AMlDB3T8oV9cTwycpszTHdV\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust.

Check out Mangle Datalog, a typed, datalog-based logic programming language and deductive database: https://github.com/google/mangle

#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems

","updated":"2026-01-23 19:11:22.711Z","user":"","username":"burakemir"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-24 06:27:32.519Z","domain":"discuss.systems","followerCount":383,"followers":"https://discuss.systems/users/julesjacobs/followers","following":"https://discuss.systems/users/julesjacobs/following","followingCount":628,"icon":"https://fd.discuss.systems/accounts/avatars/109/645/069/484/352/857/original/5374f6501e76bbc6.jpg","id":"jyzb27jucou14uy","inbox":"https://discuss.systems/users/julesjacobs/inbox","iri":"https://discuss.systems/users/julesjacobs","isLocal":false,"last_fetched":"2026-01-23 19:11:22.818Z","outbox":"https://discuss.systems/users/julesjacobs/outbox","preferred_username":"julesjacobs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzvlHLD1IeduVxRwd26r\n+ZHcPnLQp0DSmJpF+8w29jRB7mr1/bQ8UkMvP3WwUruzg5SRA288UNldDI0yER39\n6KmCRjW0JjlwWkqFVeab76N1skfXpEKZhSvoa3NrIphQuqUeE9ahlOs+r+3CdQ2q\nOikClrq43ybCpwBrnffe9+pYx3dFWOjPYORhv+wD8zbhBvuMAQAK1o7qrpE1/xTx\nEHCpflBCom3oD/rMWFBtAnntAcPeJhiaudl8RF6wwSGTetPfoyak6dMrlxpAJkU2\nzunsa6imu0lXj3X68wOtYUgBUhYdHiPrAtkGU/huMY+zSzBkNrpzLcAdKHo8ZVUS\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-07 00:00:00.000Z","summary":"

PhD student in PL (looking for postdoc for after
September)

","updated":"2026-01-23 19:11:22.818Z","user":"","username":"Jules"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-31 14:01:08.029Z","domain":"mathstodon.xyz","followerCount":270,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":180,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/5f99da74e2a035de.jpg","id":"fdmmlc00i45bqyd","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2026-01-23 18:15:28.147Z","outbox":"https://mathstodon.xyz/users/zyang/outbox","preferred_username":"zyang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0kW4yO9lrk7bOzIjXf1c\nYAioFNv4UbQHLVcHLvyWf3wUajWdrBPOvK2yUu32mmPTOIXJGFbgNKwmIrGBUwd1\n6UoPy8FSO+KLUG/5nQZHdpm6T6vCRlvSo5EXXEE2iyAwEApTiFBc9Z/1UN2w0/GQ\n+ZSy9oNRvfKo6Ux8QqO3TuvOqMzOc/iZj1S6jSFSPREfnHttIFo2ckFDfab2voGn\n5A8uxqVgl6/eCIkrSoXjm7vsLtJamvoipNyE4P26HvOqHQBuRdnUq02Yb7j+RFcv\n2g4Q2tL7kF2Xij26sVSZjc7dUCVrYqiqh85ZQDBYGatckCp4va+92/KC7ek1Hv5b\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-14 00:00:00.000Z","summary":"

interested in algebraic and logical methods in computer science, Lecturer at the University of Exeter

","updated":"2026-01-23 18:15:28.147Z","user":"","username":"Zhixuan Yang"}],"page":1,"perPage":10,"totalItems":4,"totalPages":1}

João Pereira

Followers