{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 13:24:00.625Z","domain":"mastodon.social","followerCount":1235,"followers":"https://mastodon.social/users/alexelcu/followers","following":"https://mastodon.social/users/alexelcu/following","followingCount":360,"icon":"https://files.mastodon.social/accounts/avatars/000/028/473/original/502e4ff00971266d.png","id":"6nnxzrhllk19301","inbox":"https://mastodon.social/users/alexelcu/inbox","iri":"https://mastodon.social/users/alexelcu","isLocal":false,"last_fetched":"2025-12-29 03:14:08.349Z","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-12-29 03:14:08.349Z","user":"","username":"Alex Nedelcu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-23 08:59:20.290Z","domain":"mastodon.social","followerCount":331,"followers":"https://mastodon.social/users/owi/followers","following":"https://mastodon.social/users/owi/following","followingCount":79,"icon":"https://files.mastodon.social/accounts/avatars/000/031/075/original/986f421449e60b6c.jpg","id":"me5wrwaimkk3ivx","inbox":"https://mastodon.social/users/owi/inbox","iri":"https://mastodon.social/users/owi","isLocal":false,"last_fetched":"2025-12-29 04:36:02.224Z","outbox":"https://mastodon.social/users/owi/outbox","preferred_username":"owi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuabz/awqMD5rLgALvl8h\n5X8SEJtVySNWypm9ZBPN70SiEFprpOkXOjSI54AbTx6gLBVRJQn9SATwmT6dzpHY\nBepOvFtArExNobdtyHs632EWZm6lWAdcAPwHRU+mMiFmlF+PPeEopxIsJ34HMNVK\nvuMqepvBkpQmS8CUnNPCs0tt0oobScrZZ/ef39CqBHhkzT4zhEubQoZCdK+CC871\nkzXRCItKYjxGcQHzdpxPUc70GWc6m5DBL3UYCOL3pEHgRWBRE7YO2XLqdbfknleY\nc5E5UBtisGIBi42/EQmYxHD7KqM6l4ZgAyv0XHaiHVF9QF7Jeg6pxLEBIyGEaUoT\n7QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-02 00:00:00.000Z","summary":"

Software engineer in rural exile by the sea. Autonomous testing, programming languages, web.

","updated":"2025-12-29 04:36:02.225Z","user":"","username":"Oskar Wickström"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 19:54:54.049Z","domain":"agda.club","followerCount":1052,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":252,"icon":"https://agda.club/media/0685df9a795df0b3bcbe265b50dc1d1378337173b3421508985b026b91c2997c.jpg","id":"1i3jkyi3spo95zm","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-12-29 04:36:02.285Z","outbox":"https://agda.club/users/jesper/outbox","preferred_username":"jesper","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvxVfryY9wrzaXSLxhu17\nq6FDguwOd3nUaA01T2KP+SRCHodi0k63yMxSNwr3QFR9bxm0OPWNQf51WedJeZaz\nD/i0WErYkU5wG4k6yw0y+mtMwELaeuAQ6WuUUVHwA4u6h90/gQKhfToM3xG1kenw\nkwVuRklhzit4uZOu4h3AQ9i83p0QrMYPPVG9zl7Ch91pb5krUnVvoIjevkJWm1e3\nfTt5PLeBzdmsO/7MN1njBr7Dng/YODLdwGWB3noEx2jPmSLPwUR5lnEa/RueRSUi\nvzueuEjMeJJAynwcy2RXILUi/bSNtKdr9btTOM3BQfNV4ILXq1x9rEBPs3YXhl8j\ntQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective charities.

Talk to me about:
- Dependently typed programming
- Tabletop role-playing games
- Playing bassoon and clarinet
- Effective altruism
- Climate change
- Neurodiversity
- Mindfulness
- Creativity
- Hiking and landscape photography
- Veganism","updated":"2025-12-29 04:36:02.286Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 15:01:55.947Z","domain":"mastodon.social","followerCount":802,"followers":"https://mastodon.social/users/eed3si9n/followers","following":"https://mastodon.social/users/eed3si9n/following","followingCount":241,"icon":"https://files.mastodon.social/accounts/avatars/111/276/034/794/049/899/original/1628b62d3e833a37.png","id":"yvvz9r6ijau056l","inbox":"https://mastodon.social/users/eed3si9n/inbox","iri":"https://mastodon.social/users/eed3si9n","isLocal":false,"last_fetched":"2025-12-29 04:36:02.293Z","outbox":"https://mastodon.social/users/eed3si9n/outbox","preferred_username":"eed3si9n","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3/gaYhATtgN2lVZSasut\n5MXObNKCJdiFNZLE/qCd9GN2XGJWQ/oVm90tg9bvG9Zd8KfPuHK1z3JexUbH7Y+4\nbOjPPDu+8oA3vO0DJ8UeSe7f0Kr6nRE4eAoJhVh230mqPCtBtHejgH+ZwGcgDAIf\nTUF4HBZp/27Y/WupA2xDoWUs5uZFyrZSsolYNMzqwLmzBqvcDmP4r8RVfnKCxvLu\n7XBWuiwzoShGWdhkUwUolaL4JZTI2OpgMt6YaN3jxhxVcksCPlemRRxeR2nJFAND\n058oM0r7ZW3QvJG45fGqEkmjFD1TzwCi5jmMwfveljfgRYTJHHuVkDyOMXvSQg1k\nvwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-22 00:00:00.000Z","summary":"

enjoys music, good food, coding, and talking about them.

learning machines at employer. sbt core dev. he/him
#Scala #sbt #Bazel

","updated":"2025-12-29 04:36:02.293Z","user":"","username":"∃ugene -Yokota 🥙"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 04:03:24.477Z","domain":"mathstodon.xyz","followerCount":4187,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":211,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"nqx6hamp8w4tvjp","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-12-29 04:36:02.319Z","outbox":"https://mathstodon.xyz/users/TaliaRinger/outbox","preferred_username":"TaliaRinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtj6yFND0XEEC+RJLhRMK\nApROqVTcQD1upSPlu+rnfNriyKxsRCie7kOzy/tyoaAd1fVrzHzu2hOkvxhzSO0S\nRGg6EtA1h85S68RqLD03b0u/ZpLF5myhGrsVqvPiIVzL190wQQejbvkV2GR+YXyR\njgz1leYw/qq84ggemIO5TbTEB0/R+nvPfvrxooHK/gxbfzxkIGeu+dtmzsQivpl4\n8YMcNoe9pzeL4BRQX1+X2L5kiFoXDUjHwjl13I8qIIUOGnJzy3f3GYLa4xZYlU+t\nZtj+r0nbwzHFHbXu1/X3eADHf8j7GlsHwM65XOOOPN2uFEX6+Dd4js6elJ3zKFWv\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

","updated":"2025-12-29 04:36:02.320Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-13 03:11:09.464Z","domain":"functional.cafe","followerCount":837,"followers":"https://functional.cafe/users/jer_gib/followers","following":"https://functional.cafe/users/jer_gib/following","followingCount":133,"icon":"https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg","id":"v3rdx2b8ld9ro45","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2025-12-29 04:36:02.389Z","outbox":"https://functional.cafe/users/jer_gib/outbox","preferred_username":"jer_gib","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvevzTX5awHhGepuzfX/n\n6dUxD6mMQ9yFoXyF8LHa0iALWeBJ7eO3XIm7ozcW3zZp7CwvJTr/cOi9NoHMz5sl\nYWR/W+1ZAoQX4BP1u9Ll0q/teASGAcc45VR7rSCRsNhm1yibD7qEe/U+7brgGcIx\njmCRMtlsJIvD7kPFYmj4x0NxG+iji22QQYknhHCU6JQdDvwt0VR7sv/tqLzaX7Ca\nM0amVZ1TYwzYXOXdURtVEn2LpCekRxYV2rBDvkOalMOVBSobkNAPX6SLx82ErR5e\nRUqEBDY/5lN+aj63WO8DghRLSNyMctqmAp8RCarkbnX7RUCbO9J8U1kUEY7Pa6y2\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.

","updated":"2025-12-29 04:36:02.390Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 19:54:54.345Z","domain":"mathstodon.xyz","followerCount":554,"followers":"https://mathstodon.xyz/users/d_christiansen/followers","following":"https://mathstodon.xyz/users/d_christiansen/following","followingCount":167,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/637/193/257/788/original/45f143a216909f75.png","id":"kvpptclqj0wsu1q","inbox":"https://mathstodon.xyz/users/d_christiansen/inbox","iri":"https://mathstodon.xyz/users/d_christiansen","isLocal":false,"last_fetched":"2025-12-29 04:36:02.415Z","outbox":"https://mathstodon.xyz/users/d_christiansen/outbox","preferred_username":"d_christiansen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0RoV61liT9+HHoPSTDe5\nHqkQvgJmMeI7UZcBWRxSioXqIupg9AWNLOnQEJsCtv0VgwUEZMC/rCciEEZYEUP+\nXg8/IPyW1MXZTNKYbvxq/5dfoqLszV/iKWTy1piO5CWDXmAByF8wt1yWIAmLj439\n3nRzF/71NlhBrix3hC7+z5zZrZsrc/6Y3nLSpw2Q0KQWVjg9Ym00KYzg7ltOD/tE\nMG9YuZbC8MsqNacTR3ucJWcBtKFNkujg+C2F83CMKVlOPL4LATRdioEGXrfnpN1b\nPwEV1mVzMcRqFer/UfgZI3f06CvU2BWWWyCUmqO8FajGCduNQQvoVkKckX5053TC\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"","updated":"2025-12-29 04:36:02.416Z","user":"","username":"David Thrane Christiansen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-09 12:04:54.076Z","domain":"mstdn.social","followerCount":177,"followers":"https://mstdn.social/users/yanns/followers","following":"https://mstdn.social/users/yanns/following","followingCount":219,"icon":"https://media.mstdn.social/accounts/avatars/109/320/556/216/341/042/original/9b82332b459ba243.jpg","id":"j69dnk8ccoe5y2w","inbox":"https://mstdn.social/users/yanns/inbox","iri":"https://mstdn.social/users/yanns","isLocal":false,"last_fetched":"2025-12-29 04:36:03.082Z","outbox":"https://mstdn.social/users/yanns/outbox","preferred_username":"yanns","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuYY6jKBYSf6jOVqxdoqT\nAIezVmXh4Ib+UX09SUHdbRsr4sbvVIibJiFyQo4XVFiy/3W1t2Gq7f2Tf1TOj/qU\nDd8nvs74kWjdu/tEmk6W1MWbRdLXGE3SQne7k9PVsOyoaTvE6MhSYouVk/RQskGf\nYW/7k0KNRZhBO742fMEgSCsW2VVNqeGH1HFH73AizQpuVpoO5tAlGH7DZtmkZA5/\nB6dV7rkdVAjdlKKKkPru3aRe9wR6CQ/5vEKy6/fbna1zkzM8GVJ3euqe4RPQv9ZC\nHIZaB5Nljs7bLNnOo+jup5loyjQ+nSziZtcHSboWWuC65aI+lq9Dv7/wwEbV2HOo\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-10 00:00:00.000Z","summary":"

he/him/his Dev in Berlin, #scala and #rust

","updated":"2025-12-29 04:36:03.083Z","user":"","username":"Yann"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-21 02:14:55.903Z","domain":"mastodon.gamedev.place","followerCount":67,"followers":"https://mastodon.gamedev.place/users/breum/followers","following":"https://mastodon.gamedev.place/users/breum/following","followingCount":95,"icon":"https://cdn.masto.host/mastodongamedevplace/accounts/avatars/109/295/907/901/983/266/original/917f8a7f819d6c9b.png","id":"kmdxv1mf8y1x9qz","inbox":"https://mastodon.gamedev.place/users/breum/inbox","iri":"https://mastodon.gamedev.place/users/breum","isLocal":false,"last_fetched":"2025-12-29 04:36:03.325Z","outbox":"https://mastodon.gamedev.place/users/breum/outbox","preferred_username":"breum","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7fM8UT87CrUDoIC11Vj7\nJrkDkWku9sez+A8v7Iebtcn5ale4QrjsaHl4TAQcSUu8PNjKW5JPspV+MJzCIGbf\nU4y6tC1q82gwD07wVoGRYUa1xPty7VVHZ9oX+YKzrvhvQUEkdtHpdZLQhl1Z9d3O\nzBpHiqTmvdy8VEhgM3ZLsP83lfczLji1BHIOKoJSdecliwi3Ls4A4m1cUhXv5lPd\nTCEG7PLmL+DOjqzp1PuQkEcBCA90IexIn6VfG3z94jXefvLvSqJC0HRaH0t4xf/j\n8tZV/Opbf2A9/Zf2042A+M0cD5bs5EBoSBxJ0tJr9L9HsFPsXPgR6kh3OCSDjl/q\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Creative Director (designer/programmer/writer) at new progressive indie studio Indoor Sunglasses.
Currently making detective-inside-memories-game Mind Diver.

Love games with lots of mysteries and discoveries. Also love 4-day work weeks, co-ownership, fair workplaces, and good management.

","updated":"2025-12-29 04:36:03.325Z","user":"","username":"Victor Breum"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 04:09:37.794Z","domain":"mastodon.hupel.info","followerCount":858,"followers":"https://mastodon.hupel.info/users/lars/followers","following":"https://mastodon.hupel.info/users/lars/following","followingCount":339,"icon":"https://cdn.masto.host/mastodonhupelinfo/accounts/avatars/109/689/158/921/426/313/original/d4fa6541b506aa9f.jpeg","id":"87aqogo6uq3wz76","inbox":"https://mastodon.hupel.info/users/lars/inbox","iri":"https://mastodon.hupel.info/users/lars","isLocal":false,"last_fetched":"2025-12-29 04:36:03.422Z","outbox":"https://mastodon.hupel.info/users/lars/outbox","preferred_username":"lars","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtT7IuhccjrHN2YUk8d9v\nPeQ46sWn5NFcYCI7oK3lzNvY2VhnhBUxNGaHF03ZCNzrOLwAnDWuqoRWkE93R3a4\neEY0I2mnN4UTe3xL+D23Md3VFDyOpxEXCqmx6XqFD8gdxaTscIR9n7s/8lwBXHDj\n9uCk6uaz7vQ2Kg/+R+EaZhWEKGm/ey+TlanhuwbjlvV2qz7XW/oWb03ASQfcl9ll\n9T46MrQbK3ilKJhYYfxyNGBX0ODznt9xnXewd9kUd0PTdjB/veNBSW3FKNMbfNsE\n5ksYCObrddRvGX2YdNOZNtCqT2v8KLpTO1bVgyAiMLF+a76JbHfAtNxZEjTK2RzB\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-14 00:00:00.000Z","summary":"

evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”

","updated":"2025-12-29 04:36:03.423Z","user":"","username":"Lars Hupel :verified:"}],"page":1,"perPage":10,"totalItems":32,"totalPages":4}

Christian Kjær Larsen

Following