{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-21 04:42:04.379Z","domain":"discuss.systems","followerCount":218,"followers":"https://discuss.systems/users/burakemir/followers","following":"https://discuss.systems/users/burakemir/following","followingCount":72,"icon":"https://fd.discuss.systems/accounts/avatars/110/851/006/782/538/571/original/ecb98311e9188a3b.jpg","id":"8nkcidkhcipo8ul","inbox":"https://discuss.systems/users/burakemir/inbox","iri":"https://discuss.systems/users/burakemir","isLocal":false,"last_fetched":"2025-11-23 02:55:40.840Z","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":"2025-11-23 02:55:40.840Z","user":"","username":"burakemir"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-03 21:39:03.788Z","domain":"discuss.systems","followerCount":380,"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":"z054ijqljinilwk","inbox":"https://discuss.systems/users/julesjacobs/inbox","iri":"https://discuss.systems/users/julesjacobs","isLocal":false,"last_fetched":"2025-11-23 02:55:40.951Z","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":"2025-11-23 02:55:40.951Z","user":"","username":"Jules"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-03 14:37:10.026Z","domain":"mathstodon.xyz","followerCount":257,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":171,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/a9f8caee9b981011.jpeg","id":"zzahhefv3mom5kr","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-11-23 02:55:41.560Z","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":"

Postdoc interested in algebraic and logical methods in computer science at Imperial College London.

","updated":"2025-11-23 02:55:41.560Z","user":"","username":"Zhixuan Yang"}],"page":1,"perPage":10,"totalItems":4,"totalPages":1}

João Pereira

Followers