{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 23:38:50.475Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/alexelcu/followers","following":"https://mastodon.social/users/alexelcu/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/028/473/original/502e4ff00971266d.png","id":"9r1y1vmvti22wg1","inbox":"https://mastodon.social/users/alexelcu/inbox","iri":"https://mastodon.social/users/alexelcu","isLocal":false,"last_fetched":"2025-07-28 23:38:50.474Z","outbox":"https://mastodon.social/users/alexelcu/outbox","preferred_username":"alexelcu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn99ZFHVRyvpBGAXlwXOr\ncp/Lb6gAljbh2ChP1ROG57Jeyjsl1Yyti3D9MDMQYK403QfwAgKBsW8lOv36tx9F\nXgLsuDcW2f/0EgM0Tb+5lsShrhRQ8btPoItweeWQ9uG+Oj0VSGayD26uAOogrN+n\nsDNVqXbto1xFldtHAjOVkLtqQX8dpkPMm4pz3xT1oeVLv3K5DXMWrpzrgT4pxdKs\noUqR3Qd9cSyqJm1UQJ9Z+qiAHjGOQqsjwWWAfGeDDU8wW2z1xUj+Vm4HCGheQz+l\nilx5rKm3GFA5OP5nHGmdbJFyxDDuhShRJPT06ESXDHRQ/aNbY/Eh0lsghebRq85j\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-01 00:00:00.000Z","summary":"

Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.

🌍 #Bucharest, #Romania

","updated":"2025-07-28 23:38:50.475Z","user":"","username":"Alex Nedelcu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-13 00:52:20.861Z","domain":"mastodon.social","followerCount":47,"followers":"https://mastodon.social/users/naarestrup/followers","following":"https://mastodon.social/users/naarestrup/following","followingCount":18,"icon":"https://files.mastodon.social/accounts/avatars/112/931/872/095/677/036/original/9dc342a2a03fba94.png","id":"a2xvs9t83quxta7","inbox":"https://mastodon.social/users/naarestrup/inbox","iri":"https://mastodon.social/users/naarestrup","isLocal":false,"last_fetched":"2025-07-28 23:38:50.534Z","outbox":"https://mastodon.social/users/naarestrup/outbox","preferred_username":"naarestrup","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAozqg4RRmjk48i6S0O0Am\nJqYeI49fHxHokzaGrZo6fFp2kEw6tEU7dcRPaFFVuvclVzKXVM1iKDtv5fkDTEdZ\nex4A8gLD8HaLBxW8RMOFi00LKgKjpVrul905YZ/iVIvg2UA/htCNHsJ4z2E8KtHx\nHWxaF+9+lUrUgBKEqeqIGX/tEfVY5EAQS4byuZFEDu9U5HxqoyRCndKrMJHgA0iX\nwDFntzTLHSCjY7iRZN5SaBgxDJ+f1G46cjYjC+g+65A2/eTiv2V+E0e/aqmXcXp1\nmNSRM1seMYAhfQJ5u7lumJPxdVGKg9LRZSzYACztDLJP0em78SaarNv2qqRSQgKH\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-09 00:00:00.000Z","summary":"

KD’s udenrigs-, transport-, kommunikations- og digitaliseringsordfører. Storkredsformand Fyn. HB-medlem. Suppleant i EPP. Regionsrådskandidat i Syddanmark. Skribent på udlandstog.dk. Rådet for Bæredygtig Trafik. FN-forbundet Fyn. dinvælgererklæring.dk

","updated":"2025-07-28 23:38:50.534Z","user":"","username":"Niclas Aarestrup KD"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 01:51:18.414Z","domain":"infosec.exchange","followerCount":0,"followers":"https://infosec.exchange/users/mboehme/followers","following":"https://infosec.exchange/users/mboehme/following","followingCount":0,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/540/732/657/709/176/original/745776323731ff68.jpg","id":"s9h00yuf6e1163x","inbox":"https://infosec.exchange/users/mboehme/inbox","iri":"https://infosec.exchange/users/mboehme","isLocal":false,"last_fetched":"2025-07-28 23:38:50.571Z","outbox":"https://infosec.exchange/users/mboehme/outbox","preferred_username":"mboehme","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwU4OW/51KS7TUqVbCrfF\nBnnieTs2E4bjoXYH47mcpWs40afATVTC76SIpeENx79aOUPSH5pUPeGaDbQt6GSi\nPj0hfc0HTyU0Avp1UlDD9ieTgkMlKG2ceResgc6yjnOUwmB1k5ZsVZEWKgM9ktin\n7wXFFnUn7k5RsvEhCKz8ePmLeeUR71jf3ZEWakRH0/H8xFYbsenmzr7qFT0/f952\nWR6sQyDxRAlS3dKabEsmqfwCZ9BSVaRfpnXLhNUU1TnHlKW9ADXmUHDYv/1aBR1r\n+KnBHOHMi+DGDReG/QMiNcr63DpxcxneYHtcSMy26JyhYNnEEuq6TKxmXLtBQLOi\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-19 00:00:00.000Z","summary":"

Max Planck Institute for Security and Privacy.
Previously https://twitter.com/mboehme_

","updated":"2025-07-28 23:38:50.572Z","user":"","username":"Marcel Böhme"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 23:38:51.169Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/rahul/followers","following":"https://mastodon.acm.org/users/rahul/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/514/092/095/427/286/original/b70fc1ef09168025.jpg","id":"b969qf8082j1wr9","inbox":"https://mastodon.acm.org/users/rahul/inbox","iri":"https://mastodon.acm.org/users/rahul","isLocal":false,"last_fetched":"2025-07-28 23:38:51.168Z","outbox":"https://mastodon.acm.org/users/rahul/outbox","preferred_username":"rahul","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxriY9xrbCEw7jWk7SEnP\nYhtrSzvSFZVzN/Y2MzsfEPafj7Q2oBQCXpsLrDTOnyTERoBcPNs3Qi+tYrXgVS6E\n+RMcgndthhGB837Z+AnoLF2mI9XkFlaiENnvp8tJH8tu5yZJ4WlNqHQb0e51oCud\nUXwILz7WOkzOxG1TMwTthA++T4OeqNEVVn4HUAywFJLSQDgrqpbXhkHXD8K6WrCF\n7qA83RAeSC9hG74sm/iWtLEMIQaTKrrbBFKaIeX7O/dUzzvXB3pXlIKgq4U3j+w+\ni6RiDdaZg+imZ8nxM9AgtpRTWRHK4dFlrecjgzlfVia+qX/i/HekmnvOH6ZzYaxA\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-14 00:00:00.000Z","summary":"

Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between Software Engineering and Cybersecurity. Interested in Program Analysis, Automatic Repair, Mutation Analysis, Specification Mining, Grammar Based Generators and Parsing.

My main social account is https://gopinath.org/@rahul follow me there.

","updated":"2025-07-28 23:38:51.169Z","user":"","username":"Rahul Gopinath"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 04:46:37.277Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/TheFuzzingBook/followers","following":"https://mastodon.social/users/TheFuzzingBook/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/111/289/261/280/465/251/original/e687252a63280e32.jpg","id":"7pi803g70d555d1","inbox":"https://mastodon.social/users/TheFuzzingBook/inbox","iri":"https://mastodon.social/users/TheFuzzingBook","isLocal":false,"last_fetched":"2025-07-28 23:38:51.293Z","outbox":"https://mastodon.social/users/TheFuzzingBook/outbox","preferred_username":"TheFuzzingBook","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmcLhS90+jPscnDtS5u9L\nPzfpNk4IC2sM+k9do0OKzVVdkewgBl5gq/3rgYiRFo659zwd3CrOsahoW+D6S2yC\nohlNghPN/Ocb5Q78GC8YfFTxkKTuooX7I9+RVkyvswSCoD5oVVqGh2LcqKCx3zBx\nRZdHddFAooprHj9370lBQs9AmDgrZIOUS1B03lEt48xclzV0oJZbVegj74ZFMXzy\nZM6es1BJ2RxaYi0fgbluKpqB+STTmfYq9LsKQq4xBb9ziRz6xJ4eJH0ppfkV0XTH\nrlX6+YR92Hx0bs44HURI9P39OhFpoY//yqUqCz8dHxCV2Efs8fnOXT7wdiUqbg8e\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-24 00:00:00.000Z","summary":"

Official account for "The Fuzzing Book" (https://www.fuzzingbook.org) by @AndreasZeller, @rahul, @mboehme, Gordon Fraser, and Christian Holler

","updated":"2025-07-28 23:38:51.293Z","user":"","username":"The Fuzzing Book"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-24 11:28:30.169Z","domain":"bsky.brid.gy","followerCount":4,"followers":"https://bsky.brid.gy/ap/did:plc:mycbqg2woqdbigvzzy4bynbe/followers","following":"https://bsky.brid.gy/ap/did:plc:mycbqg2woqdbigvzzy4bynbe/following","followingCount":6,"icon":"https://matsutake.us-west.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:mycbqg2woqdbigvzzy4bynbe&cid=bafkreidgq7b6mzxcazlmtobcvlg4ivqmbs3rxwaftvkrn475sfgzpjqqyu","id":"3cy6jn0k51t21p3","inbox":"https://bsky.brid.gy/ap/did:plc:mycbqg2woqdbigvzzy4bynbe/inbox","iri":"https://bsky.brid.gy/ap/did:plc:mycbqg2woqdbigvzzy4bynbe","isLocal":false,"last_fetched":"2025-07-28 23:38:51.783Z","outbox":"https://bsky.brid.gy/ap/did:plc:mycbqg2woqdbigvzzy4bynbe/outbox","preferred_username":"bugcounting.net","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArYxXV60Th6eCCpImGTrQ\nIZKZ+5ZcHs6N4M+r7mpVPDGBkFMdGmPdNEq/KZGO/4kNnJtb2rG3h5ltVgtXO1zn\n7WFBUx8bsifHls0xZESX3phFa+DniGhnDDbZKLH2p7uP0yk93dqCJGbTTCwOEsVO\nOPp0QDZBfHb5E9B7d0FOPn0+mNJNbE2Gx92wOapb1lmVMzHDnom6qGD3QkfDR76f\ne23z85rHy0x/uNYIt/tSIv/I0X+eI0nH3zS/oo0WcpAt3dRyloVyCwsDjgIqpYdv\ngE+pr1JyrQ0KF9Rf+gYggCt+Z9P+5vmKDU16SnEfFw4iafEx/HuhLc4uPmK6zhWK\n9wIDAQAB\n-----END PUBLIC KEY-----","published":"2024-11-16 13:56:46.362Z","summary":"Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.

🌉 bridged from bugcounting.net on Bluesky by Bridgy Fed","updated":"2025-07-28 23:38:51.783Z","user":"","username":"Carlo A. Furia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:23:58.664Z","domain":"mastodon.social","followerCount":9522,"followers":"https://mastodon.social/users/grimalkina/followers","following":"https://mastodon.social/users/grimalkina/following","followingCount":918,"icon":"https://files.mastodon.social/accounts/avatars/109/322/080/955/260/878/original/708166e7688663f3.png","id":"iwaod4688p5k1ps","inbox":"https://mastodon.social/users/grimalkina/inbox","iri":"https://mastodon.social/users/grimalkina","isLocal":false,"last_fetched":"2025-07-28 23:31:07.421Z","outbox":"https://mastodon.social/users/grimalkina/outbox","preferred_username":"grimalkina","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtsz4P90RCJTTbnt/PE88\npoSobF0ui1BcPlk2m4U14xEFHoGZrEnuPoRhXVAELPlTDwx8blcO7QB4HzNunm3M\nAMYDLCqBHSTEfePpY5/p43U61bBX1OGusFRogm8ZFFbV1PO9hJS+xeUM9I1NA/Yh\nHr2yAkqRyThGYrXgAWjoCR7l7TJdyypJifDfXssLAlyHmSmbhRz8bc+m1FddCm11\nYKbbOXPkqnj2MlATFsfJDA8NSBuLYMM21VoRHCIuUlKbwvIcNgX/B2wZf+Y5M6bG\nDsC5x38VMXqVN/sv8ytvaMcCJpFvEV8MeQ3OhMeayXo/qz5CEIhKQ39zfRwTtVDv\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-10 00:00:00.000Z","summary":"

Writing a book about the Psychology of Software Teams. Defender of the mismeasured. Co-host at Change, Technically: https://www.changetechnically.fyi/

Research architect. I care about how people form beliefs about learning, build coalitional identities, and build strategies for resilience, productivity & motivation. Quant Psych PhD (but with a love for qual). Chronically underpublished.

Founded: Catharsis Consulting, Developer Success Lab
Neighborhood Cool Aunt of Science

","updated":"2025-07-28 23:31:07.421Z","user":"","username":"Dr. Cat Hicks"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 13:16:53.143Z","domain":"mastodon.acm.org","followerCount":50,"followers":"https://mastodon.acm.org/users/icfp_conference/followers","following":"https://mastodon.acm.org/users/icfp_conference/following","followingCount":1,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/425/511/623/960/578/original/1a652765c570a52a.jpg","id":"viqp0kh1fd3h907","inbox":"https://mastodon.acm.org/users/icfp_conference/inbox","iri":"https://mastodon.acm.org/users/icfp_conference","isLocal":false,"last_fetched":"2025-07-28 23:38:52.014Z","outbox":"https://mastodon.acm.org/users/icfp_conference/outbox","preferred_username":"icfp_conference","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsLIlRY/hp+OVfyoOVHsW\n804hZSm11wHiO7u8eUGOvRYvKFaR1Z87Bp3vJurCcrXLGCRClTGnvyLzh7rFDSr7\nHaX3ENwnHmcwGnZ/BkVGxH5rdLGuwwOM2++1/RHeVw5fJwqYCkq00cRWTX+OItqg\nh/331QS9azdWemcoFYm6Pm0BnPOmoI3agHgdTl9XQrLll50HuZMNpIjlZd9KcYVI\n7Kv6DCVs+nCbFGTz/sHfWERYPnmWA2m/FnHQYOMNOzwpA4/47v/nsBjGAx4Erz7I\nAvGG621STmFKEoCyKJuopfO4x3/Q6WXxTQW+AkY8shtRBXOF7CtXwZcwGVAJzStF\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-04 00:00:00.000Z","summary":"

ACM SIGPLAN International Conference on Functional Programming. Toots by discuss.systems/@shwestrick

","updated":"2025-07-28 23:38:52.015Z","user":"","username":"ICFP Conference"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 06:18:32.483Z","domain":"fosstodon.org","followerCount":12238,"followers":"https://fosstodon.org/users/archlinux/followers","following":"https://fosstodon.org/users/archlinux/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/306/948/original/83798cf674e2e1d3.png","id":"udd0qj18u477y4l","inbox":"https://fosstodon.org/users/archlinux/inbox","iri":"https://fosstodon.org/users/archlinux","isLocal":false,"last_fetched":"2025-07-28 23:37:28.741Z","outbox":"https://fosstodon.org/users/archlinux/outbox","preferred_username":"archlinux","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxI1pNSi3UuOgABhz1joX\n+q1FwdfQQ01rzP7Fn6FoVYe5krPMKVshaRQn3udKahiOt9qUfOmcYDRjAsMCz/IO\nhlddmi8RCwi0DPpYtmjPzQQS31wuuDLSxf3ThAS8K5O74UeL+lsNnZ6HGVlLD1be\nRD+sK0wYeP91k+XM05SePeonpmXj2E+W9eeFWlMqH269PyO5SxGzjsk6Tdim0eN9\n4LrNbNrORBvW9uuqav6dMU/Oh0TBQsq5VF0Apg4eGsDX+iQ6TD9v1ndW+bR+fUz+\n6LjbzvTt32zNLs10VBvCi5/2o+uHdxdWil3vmsg8ik8eF8CGV+50LhwDGfDHsg/t\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2021-01-27 00:00:00.000Z","summary":"

Arch Linux is a community-driven Linux distribution for the Do-It-Yourself user.

By the way... we have a pretty cool wiki. You might have heard about it.

The account is run by:
- @Foxboron
- @dvzrv
- @anthraxx

","updated":"2025-07-28 23:37:28.741Z","user":"","username":"Arch Linux :archlinux:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 05:47:38.788Z","domain":"mastodon.social","followerCount":97,"followers":"https://mastodon.social/users/loekhere/followers","following":"https://mastodon.social/users/loekhere/following","followingCount":141,"icon":"https://files.mastodon.social/accounts/avatars/109/258/498/477/928/047/original/0fe6cee6ea2883eb.jpeg","id":"nwt2lrz68bi7qj2","inbox":"https://mastodon.social/users/loekhere/inbox","iri":"https://mastodon.social/users/loekhere","isLocal":false,"last_fetched":"2025-07-28 23:38:52.094Z","outbox":"https://mastodon.social/users/loekhere/outbox","preferred_username":"loekhere","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAk/hs8MwkWNtEhU1K7th4\niFEVU1JM9bolt9PE/Tu1shdlXtq0GrTvzCMM3t05zqkYpOgSNqOoZoDu9QAjxptX\nlIdC8sQLpCps98fJBu8/w3O6cl4hbsuwy+8AZCdPiNVeeW5rf+CHySadV1qlHXvo\nlGBk1f/VVuhBzVMDdktPaMONQr+7Mq3XIdwHaUiqiyA5iqWflwkaW0q2pA33FFA0\nAaQ2VgtctHapxwjFM910BrXlJpcwqX7VxiTtN8cvu+f1GngDbjUSGOP+5qjAmMcc\nsmoF/HjNIWBmLBlzOd4YEA6ApETUsaUpBSc2tdhoxB2iQIkEKCdB/XiP1wk28NTF\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

","updated":"2025-07-28 23:38:52.094Z","user":"","username":"Loek Cleophas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-28 23:38:52.421Z","domain":"rss-parrot.net","followerCount":0,"followers":"https://rss-parrot.net/u/episkopat.pl/followers","following":"https://rss-parrot.net/u/episkopat.pl/following","followingCount":0,"icon":"https://rss-parrot.net/assets/feed-profile.jpg?v=3","id":"c73kvj0av5w23qe","inbox":"https://rss-parrot.net/u/episkopat.pl/inbox","iri":"https://rss-parrot.net/u/episkopat.pl","isLocal":false,"last_fetched":"2025-07-28 23:38:52.420Z","outbox":"https://rss-parrot.net/u/episkopat.pl/outbox","preferred_username":"episkopat.pl","public_key":"-----BEGIN RSA PUBLIC KEY-----\nMIIBCgKCAQEAq/FzlYVHSlWsw2Dxr/3pzwGLzVloKiK+sxrl6kcF3jA15mhDCBNe\n4wbvGx2BlDS5IgOuxD/zFCpfh0nZHOSACVP/pBJ1BCXD68LIhfo6TvRyRBAKFezV\nmI/7Cv2VxjUBRoesv72q6LMrKK1LHMa+v4MF8fH7matpfmOWm+gFN4lP2TORGnfE\nGckgfK6O5u8NWBg00Rc6zMrFqg4PnfGJKSlxiiw/BTH+MZc4LZqfUEMRZZW42QtO\nGXm0oNoTrfZme8glwJRRd8CkeeAC1snWRqwM/MN+Pb55stUtn7E6fOTTlCc7FMhJ\nQBv5IOKxd+/PrMofCOlrOqvxDGQA3V4RGwIDAQAB\n-----END RSA PUBLIC KEY-----\n","published":"2025-06-20 18:19:30.000Z","summary":"

I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline!\nBrought to you by the RSS Parrot.

---

","updated":"2025-07-28 23:38:52.421Z","user":"","username":"🦜 Aktualności Konfeferncji Episkopatu Polski"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:47.863Z","domain":"functional.cafe","followerCount":728,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":16,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"cd9ogdv88w560so","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-07-28 23:38:52.533Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2025-07-28 23:38:52.534Z","user":"","username":"Lean"}],"page":1,"perPage":10,"totalItems":613,"totalPages":62}

Andrzej Wąsowski ☑️ 🟥

Following