{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 05:56:52.380Z","domain":"discuss.systems","followerCount":30,"followers":"https://discuss.systems/users/weirdsmiley/followers","following":"https://discuss.systems/users/weirdsmiley/following","followingCount":191,"icon":"https://fd.discuss.systems/accounts/avatars/109/375/198/521/219/478/original/d92ce1d162abd8d1.png","id":"aodzj66h968e042","inbox":"https://discuss.systems/users/weirdsmiley/inbox","iri":"https://discuss.systems/users/weirdsmiley","isLocal":false,"last_fetched":"2025-07-28 13:20:13.540Z","outbox":"https://discuss.systems/users/weirdsmiley/outbox","preferred_username":"weirdsmiley","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsQbGapfxvjwAtgZ1Zw2B\nloY+ONEMoK84f452WcmdfnOTEdQFwFCBl5GZYBEQby0rzgOBajcj0g+5LWpQiTLw\nfSCzRe8BpRVRxzY9BBC0hbAUA2LtFKtPqnJQKtJ+m/iL35dTpcDVuBAKecLYlDL4\nL2/aEKhYiyD54PEyZytU5HamN1O0QrY749U+iAovmKulLOC89/1LC4jUZBJWwnI5\nxwJW+q1slH9ExELmD1pUDLtghMk7QmpuZoFTikQTYDHcy0Qcc23U+xtC9TLwInfM\n5Mk6dKgSq+XNvM1YVkoga1J2APrOOP+E69f8UpkTGZfSOL97+b3fX/nCjQMxrcqr\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Compilers, PLD, OSDev, QC

","updated":"2025-07-28 13:20:13.541Z","user":"","username":"Manas is a bird"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 02:37:01.528Z","domain":"mastodon.social","followerCount":153,"followers":"https://mastodon.social/users/xanovsky/followers","following":"https://mastodon.social/users/xanovsky/following","followingCount":150,"icon":"https://files.mastodon.social/accounts/avatars/111/826/015/176/784/399/original/06e3527e2d4e2811.jpeg","id":"3uh4h70929eb354","inbox":"https://mastodon.social/users/xanovsky/inbox","iri":"https://mastodon.social/users/xanovsky","isLocal":false,"last_fetched":"2025-07-28 13:53:23.238Z","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":"2025-07-28 13:53:23.238Z","user":"","username":"Alexandra Silva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 13:53:23.728Z","domain":"mast.hpc.social","followerCount":0,"followers":"https://mast.hpc.social/users/sfuertinger/followers","following":"https://mast.hpc.social/users/sfuertinger/following","followingCount":0,"icon":"https://mast.hpc.social/system/accounts/avatars/113/509/126/866/755/071/original/84a2dfba0c4fc71c.jpeg","id":"fr9ey0k58058xce","inbox":"https://mast.hpc.social/users/sfuertinger/inbox","iri":"https://mast.hpc.social/users/sfuertinger","isLocal":false,"last_fetched":"2025-07-28 13:53:23.726Z","outbox":"https://mast.hpc.social/users/sfuertinger/outbox","preferred_username":"sfuertinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxk3dE0xpRPbGJhh67ozr\nGN3eQEYvsNhFtX21ccdlXDBC1z3Ng3kPh1YlsYotI656XV1Zc5XKHGzIvFZktS5S\nL1PzMi1agD8sxdAd3aZxyhq8NVV8p/IrOALpKNBe6CsFcurNxvibaO9QWlYTZbMp\nNjFHlkFEAEFeag/PsR22Tpf31MfwhqBxIxnrywGEaDcerln7fjeGc0wDJEhDXpsP\n2PO1tSU+WU1OxJrB1BHXujVK6z8D17O/5e00tlOUm5zgg85h+R1ofPvalpXyKZ6n\n/sY6JnJ0FBNfRUQgOtY/HFghdnAAe4fBsKnbuh7QqJCrb0jvsA9g1fuI1LMxmvwv\nHQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-19 00:00:00.000Z","summary":"

Applied mathematician: high-performance computing, computational neuroscience, research software engineering. Lead Developer Scientific Software at ESI Frankfurt.

","updated":"2025-07-28 13:53:23.728Z","user":"","username":"Stefan Fuertinger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 02:27:17.300Z","domain":"mathstodon.xyz","followerCount":312,"followers":"https://mathstodon.xyz/users/byorgey/followers","following":"https://mathstodon.xyz/users/byorgey/following","followingCount":110,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/032/original/1d4cbbda8969f7ab.jpg","id":"0dxbnzjpd158lu2","inbox":"https://mathstodon.xyz/users/byorgey/inbox","iri":"https://mathstodon.xyz/users/byorgey","isLocal":false,"last_fetched":"2025-07-28 12:30:56.201Z","outbox":"https://mathstodon.xyz/users/byorgey/outbox","preferred_username":"byorgey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvkDEPt7uBVW+VYSLry+p\nmm0R8pxy3lFgdk+0HAeOSH+k+QX6+heh5Wj34bOiWoJizowfcx14MFEeMM+gwR3m\nylond9XmHF/L8QemgFyRqmO8Gnw8kXEcn3Kpw7h9HlFvA3+S57UdWvHwa/2N1hBO\nfnBR8F1qHR8FU/hj9lM6R4hRE1CPtBOcAGYlBXHzJxRLQh48Grb6U8BhXldqLxsM\nDmWq4n8qZta4iwm3pOs4+cqf4PtWt6sWyOL6mE+WhuxaV5GspFjyR9OMFXoZ3Ch7\n6v6YVUmMKtu+VUkdyG/v3r/0fwjGSnQTLmefVIo4vFBMPywWclDO/+Mre0m0JAyi\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-15 00:00:00.000Z","summary":"

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.

","updated":"2025-07-28 12:30:56.201Z","user":"","username":"Brent Yorgey"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 04:40:45.780Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/xameer/followers","following":"https://mathstodon.xyz/users/xameer/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/263/308/662/913/256/original/e75b356ad268afc8.jpg","id":"sd3vk61juvl1m4s","inbox":"https://mathstodon.xyz/users/xameer/inbox","iri":"https://mathstodon.xyz/users/xameer","isLocal":false,"last_fetched":"2025-07-28 13:53:24.365Z","outbox":"https://mathstodon.xyz/users/xameer/outbox","preferred_username":"xameer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5TBRDqHjW69KoOCZMWJP\n2OnWPNbcwUu4jcCghxYfpol8+/TFfG60BW6ZCgQQTmfdfCCsKwvjkEj51B+LYSDP\nj5xznTp0Df2+VSV/mVXIMS0xVyj41gZ7aVaLBp9fvRtxjl9hHz8SKxZOBMGC9N+S\nrZkMhzcfkNswQdYSPft2bxrhYW86Z//h1ynu/zwj/zkcVGVUsP3wSn+KzQqhWs/Z\nr/SSEEeNhcgOuAGxSpHUUH4HFd8psiiD0T4J+kf+iZOqgk0GE0kY1fVE1rdYr1LY\n5b7eBw6IjCNJ5Mi8TWtmHEjjCiCdMIJ+c4ckm8B354iEWkHZ/uLxLJzUHNeEMumy\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

I had a list , I applied a pure function to it, now I have two lists
/paraphrase

","updated":"2025-07-28 13:53:24.365Z","user":"","username":"HoldMyType"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 16:26:28.572Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/zyang/followers","following":"https://mathstodon.xyz/users/zyang/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/688/874/651/362/692/original/9da844b96630508b.jpeg","id":"bdgcb9850fm1mgb","inbox":"https://mathstodon.xyz/users/zyang/inbox","iri":"https://mathstodon.xyz/users/zyang","isLocal":false,"last_fetched":"2025-07-28 13:53:24.682Z","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-07-28 13:53:24.682Z","user":"","username":"Zhixuan Yang"}],"page":1,"perPage":10,"totalItems":445,"totalPages":45}

Yao Li

Following