{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-06 10:26:48.275Z","domain":"functional.cafe","followerCount":881,"followers":"https://functional.cafe/users/jer_gib/followers","following":"https://functional.cafe/users/jer_gib/following","followingCount":135,"icon":"https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg","id":"70vlya5pi7pnwkc","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2026-05-15 20:48:54.223Z","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":"2026-05-15 20:48:54.223Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 18:29:22.055Z","domain":"mas.to","followerCount":1892,"followers":"https://mas.to/users/lefticus/followers","following":"https://mas.to/users/lefticus/following","followingCount":55,"icon":"https://media.mas.to/accounts/avatars/109/308/857/638/969/486/original/a2890bc41561ff5e.jpg","id":"vvdbam2np8gpd4v","inbox":"https://mas.to/users/lefticus/inbox","iri":"https://mas.to/users/lefticus","isLocal":false,"last_fetched":"2026-05-15 20:48:54.282Z","outbox":"https://mas.to/users/lefticus/outbox","preferred_username":"lefticus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0oEqmMC6Xwi+fwYIBCY0\nfyyPYaf+TTJ4pL4fR73FhxaKCUPlnsMPY2yVTD+AzpVxi7xb/PWyEA6puYwrlPig\nxFwFhhtjvPuELaByfcuqbhu3T+lQm3nBZnb6YB7l94AU9LVy98P2Vs4B7zXsZvXH\nXqz5UPAPJcDcEbzVfgyRavUNRk76ntSO0SMRGSQCDo8Y9tVcvJcyZzbKWDRTlame\nx61exCWIQapDKio1nktdTGpvYV8B3xTbg/9r2weK3E9kUkcCwAxY8hZHSpXNeRjY\nVRls7rEjX6SVPmyIjilBrWaIhJzZjOJUEGvw770Bs6JO+coIFCVbStdYaomssd2T\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Making C++ Fun, Safe, and Accessible

","updated":"2026-05-15 20:48:54.282Z","user":"","username":"Jason Turner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 21:15:14.168Z","domain":"mastodon.design","followerCount":1236,"followers":"https://mastodon.design/ap/users/115644624431082816/followers","following":"https://mastodon.design/ap/users/115644624431082816/following","followingCount":1,"icon":"https://cdn.masto.host/mastodondesign/accounts/avatars/115/644/624/431/082/816/original/72b5cff8088e46bc.png","id":"4s7j3rxxc70ezvb","inbox":"https://mastodon.design/ap/users/115644624431082816/inbox","iri":"https://mastodon.design/ap/users/115644624431082816","isLocal":false,"last_fetched":"2026-05-15 20:48:54.367Z","outbox":"https://mastodon.design/ap/users/115644624431082816/outbox","preferred_username":"modal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvgNn1RWxasPiIOdeTi5a\nuMUD+B7y01/ofAMOpZyTltpL+3SJYE3ZZK2ng9MlybElx1/DkQNxET/mNarq9uaf\nXuFyqHl5QirUi4bsyW/RTSlfmeWe8KVPkLqaMxDZafyPiW0/rfo/fqyMbNdMYNS4\nY6Fs3zxiFoVWWozNtQampPDRANSYDLlmML4/2CmznC3UxY276Y57Go0n7I5jwv9h\n1A/OIlwyKHUirJUR+BY1g5+akqCMmKxKqIN3a4T0PBmKAUaQz6Kt/tjF4zBGNLgS\nLjnq6ASLLCSqJoJjOzvDrGLqtjYH/IF/sgyTJYle7YPny6e2TxXE8kGdH+KlTewq\nxwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-12-01 00:00:00.000Z","summary":"

New independent collective building emancipatory software for an uncertain world

","updated":"2026-05-15 20:48:54.367Z","user":"","username":"Modal Collective"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-14 12:02:32.537Z","domain":"hostux.social","followerCount":104,"followers":"https://hostux.social/users/devalot/followers","following":"https://hostux.social/users/devalot/following","followingCount":108,"icon":"https://hostux.social/system/accounts/avatars/000/236/128/original/c236ba8021d2c2aa.jpg","id":"hid5to5ih32k92u","inbox":"https://hostux.social/users/devalot/inbox","iri":"https://hostux.social/users/devalot","isLocal":false,"last_fetched":"2026-05-15 20:48:54.501Z","outbox":"https://hostux.social/users/devalot/outbox","preferred_username":"devalot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA58M64ZPPxg9+hAV6m9C3\nEBlcOp6tYdDbrWZBF2PTqjgBGmHOi/+3NIEDuIFGmlsll7ziPtryqQ9Ox3EIiyff\nxjSaJM6GclpRSTUGQEAUCdKR20UYK+LRZ4G/7WMxTh1kFYSPPIqaWb2KqA3qGGGW\n/LmngrONhtRTMgbtLkE0/WwNyMVDqYNumH2OEIzY1SRPS1QY1wlmfN6eCjjugdWZ\nQzLuZrfP+wEkO3MBd/8TBvVwVfYQbEB64NoWzl2wb6xnlExM+2gtLWG4YH4ebRzq\nvQqO1suy/DUSWWiB8cYIhwsX5Lcw51zyLGZ+mizu40YVUKXyaXSAD+DRU0sUAY85\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-06-10 00:00:00.000Z","summary":"

Open Source enthusiast. Lover of functional programming. An all-around nerd who likes to wear bow ties.

American living in Germany.

Researcher and PhD Student in Bioinformatics at the University of Tübingen.

Author of Effective Ruby.

I think society should focus on people and not markets, criticize ideas instead of people, and stand united against extreme ideologies (I'm pointing at you fascism).

#Emacs #Nix #NixOS #Linux #Bioinformatics #FOSS

","updated":"2026-05-15 20:48:54.502Z","user":"","username":"Peter J. Jones"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 06:21:33.296Z","domain":"genserver.social","followerCount":240,"followers":"https://genserver.social/users/liskin/followers","following":"https://genserver.social/users/liskin/following","followingCount":175,"icon":"https://genserver-social.sfo3.digitaloceanspaces.com/uploads/7b2df0bb-a398-4383-9787-3b6cc2df914a/1000040818.jpg","id":"ov06m1wcg3z984i","inbox":"https://genserver.social/users/liskin/inbox","iri":"https://genserver.social/users/liskin","isLocal":false,"last_fetched":"2026-05-15 20:48:55.036Z","outbox":"https://genserver.social/users/liskin/outbox","preferred_username":"liskin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwVvhjYIqHQk9xPm+mjH4\nhTC8435laq6wFe6k2z3ft/NQ4TCzX4+qEqO1sTWh8pLKdU8GygkCRzpPPXwEPDvy\n4h9TOxLhDSFS+0yLrjJsX1kp1l/O3NaSd6taYz/GZ2CIb/SgwM10uYCFoAOsT2uc\nTFrtCcCk9q0C9ag0/uEZbtjF8G6pRsWyNnRFihFSkfJgLngTnvRuCanCoMXepTQO\nxRcQmu/bhgcRLip8bgSh+0TfT7NxVmtlvd/4PObmzToJSL+XoJ8c4FLE+DT2LCFx\nGc5ctBRwd2FeBYzbTyb0Ek4W8swe6zG6j5hEF9wB1MMN50tK0sSQE/6e9LMDmQo4\nIQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"Software (free/open-source), cycling (road/gravel/urban/fixed/uni), rollerblading (urban/endurance), beer (🇨🇿).
Not necessarily in that order.","updated":"2026-05-15 20:48:55.036Z","user":"","username":"Tomáš Janoušek"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 02:01:22.944Z","domain":"aus.social","followerCount":954,"followers":"https://aus.social/users/donsbot/followers","following":"https://aus.social/users/donsbot/following","followingCount":980,"icon":"https://mediacdn.aus.social/accounts/avatars/109/389/456/566/776/147/original/f8f46b9e923e7487.jpg","id":"pcmol33s7djfhzt","inbox":"https://aus.social/users/donsbot/inbox","iri":"https://aus.social/users/donsbot","isLocal":false,"last_fetched":"2026-05-15 20:48:55.352Z","outbox":"https://aus.social/users/donsbot/outbox","preferred_username":"donsbot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx0lUWtBOEnFqRhwocvMk\nYQfKo9wAw9TiZZJR1wvvJvCiKcFDfrCkx+Nzbm92SxOM7W7RonbydVncpR34zYmT\nPDSOgu7CysDbIF9JGVfBHx8GZqzKRxxxWba7BS5cpPTL1hmiN7ktFVOaCQoeRhsb\n5yKFcKwBKbkqOpL9SGbNV9VLghilsBU7ruuiyhDqb6wJQBsWCiKMLX3IOYdVM3ZC\nJ25HfBQMLohZi6IwC7Lk45yBbE+kwpWULOS2OWnrkvJQ2ZoB5hjGnE1OX4QG9dGQ\nbeBEHqDBhoadVpDWuogO96j5FLB8UazscBSJbGAGKPOLrklGf6JMOGierHGoC2Vj\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-22 00:00:00.000Z","summary":"

Software engineer working on developer tools @ Meta. Past lives in finance, defense r&d and PL research. Ex-NYC,LON,SIN. Farm boy from back of nowhere, NSW, Australia. Living in Gadigal country now. #Books, baking, #code, kids, #gardens, wilderness, #cricket, #sydney, searchable

","updated":"2026-05-15 20:48:55.352Z","user":"","username":"Don Stewart"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 10:38:40.389Z","domain":"typo.social","followerCount":1997,"followers":"https://typo.social/users/letterror/followers","following":"https://typo.social/users/letterror/following","followingCount":399,"icon":"https://typo.social/system/accounts/avatars/109/291/229/907/589/180/original/cc15d04d8e05c9b3.png","id":"hnzkm3qqebnp5cr","inbox":"https://typo.social/users/letterror/inbox","iri":"https://typo.social/users/letterror","isLocal":false,"last_fetched":"2026-05-15 20:48:55.466Z","outbox":"https://typo.social/users/letterror/outbox","preferred_username":"letterror","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0N8D5tQ1T7N926a9M4BX\nwu7kBD3nd9X0J9TXSkQ94dXR2Cu4lp8p4iehttOG2dZLOMr91RDUQm2B6/JBBdz9\nW1gIWW3NtwRiJ2hod/eeaem+yF9qmGRj1xivtXX/j4svp4LDX+LnmFskJeimwk94\ncTUyqVzHWKY4+jwI47EOOjc1GHRDAfW+FZ2G6RAIZX/ht2uUgU2/IIkodNpsVszr\nrg6o6EdAfdm0io7U9FKCuGppsXsa2QrNdAfcqb/gnXt6KkHPld70tmd2t7KPQ+Mh\neth3gaTwaWUxO37S2nEANlPnxdOsCwPJs+RzHhRJB7aAyeflr/TEhbBovsl5Msjn\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

I’m Erik van Blokland! I work in typedesign, lettering, tools, python, drawbot. I make fonts, some of which are for sale at the links below. Head of the TypeMedia MA at the KABK in The Hague. #typedesign #typography #reading #toolDevelopment #python #roboFont #lettering #typeMedia #nobridge

","updated":"2026-05-15 20:48:55.467Z","user":"","username":"Erik"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 23:23:36.200Z","domain":"mastodon.social","followerCount":1569,"followers":"https://mastodon.social/users/wilfredh/followers","following":"https://mastodon.social/users/wilfredh/following","followingCount":1483,"icon":"https://files.mastodon.social/accounts/avatars/000/039/650/original/71c6113930609950.png","id":"jmamfkp3azw9prw","inbox":"https://mastodon.social/users/wilfredh/inbox","iri":"https://mastodon.social/users/wilfredh","isLocal":false,"last_fetched":"2026-05-15 20:48:55.565Z","outbox":"https://mastodon.social/users/wilfredh/outbox","preferred_username":"wilfredh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAucY7vTtjdCFhXOXbpVNO\noJ0gpAlOC3sHekr1x85m8n/N2bcF58JiW1Vq66BUkoEr1DkyZeJ/u3yonFZtkyq4\nP4dnnP4qK6zAg5u0ksA/7DszNwvPkxjNQRehs0O1PJVUdhclpU2olTYswm/lGhqk\ne40G0QiC9slMiu7+K6/vtXCYF87BgbrJR9YXnKuz2xPkUTj3YfwgQfadpMJAnQu+\nfMLyzOnsHPCzMeNGMo1/9oFvT+Fsh5rUsceav+SrPGYmdSImxW5fcv6pbJ3qrksk\nzN+W0WAJb5fGeogdn12kXd2/3VPtjIvAWFXQ8awtmgrFe+YSPtBOzPOQp5yk4ygO\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-03 00:00:00.000Z","summary":"

Programming languages, human factors, and a healthy dose of Emacs.

","updated":"2026-05-15 20:48:55.566Z","user":"","username":"Wilfred Hughes"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-31 22:04:52.152Z","domain":"mastodon.social","followerCount":11574,"followers":"https://mastodon.social/users/Meyerweb/followers","following":"https://mastodon.social/users/Meyerweb/following","followingCount":266,"icon":"https://files.mastodon.social/accounts/avatars/000/041/238/original/3c70af384e3ea71f.png","id":"3bqjwvz7rrgh9hr","inbox":"https://mastodon.social/users/Meyerweb/inbox","iri":"https://mastodon.social/users/Meyerweb","isLocal":false,"last_fetched":"2026-05-15 20:48:55.666Z","outbox":"https://mastodon.social/users/Meyerweb/outbox","preferred_username":"Meyerweb","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwn/ld/lekJYtrONKKV4O\nIeSrch4TYb/Pbcw+ZMnabn1k35HQ8KN2ds1nFrgn7RL5g1WhsPteoFb2oBIcR2sq\n2WwCVTwsL19qnEyCjVlerUqNG0vbGEd1Suq9zHezrsTI+mJI47qVRlkZuZARcv52\nkbhZ+i2FCMnynnNBJydK1hP0ad8stwZushEH67s4SJB7pPaBCIWo2TKPF5pn49N9\nCRwuwEOq6L4JKs8PsjgU2FVG0NElgEmi/PElgzcSTA721ULgYZLzewJUZ651EGjH\noC96TfZZolosDuDrZRCmeM8Ftatc3hq5eio/Bwx0XvbIaj6eJbSMP9frvikSLzTa\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-04 00:00:00.000Z","summary":"

Armchair rocket scientist graffiti existentialist. Old enough for it to hurt when I stand up, not old enough to have stopped noticing. Agnostic in principle, atheist in practice, #CSS guy, mzungu. I’m only here for the food.

","updated":"2026-05-15 20:48:55.666Z","user":"","username":"Eric A. Meyer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-30 21:02:02.729Z","domain":"mathstodon.xyz","followerCount":302,"followers":"https://mathstodon.xyz/users/divyaranjan/followers","following":"https://mathstodon.xyz/users/divyaranjan/following","followingCount":400,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/461/862/707/516/704/original/8285365a981dfe21.jpg","id":"qtdms0r266o9w75","inbox":"https://mathstodon.xyz/users/divyaranjan/inbox","iri":"https://mathstodon.xyz/users/divyaranjan","isLocal":false,"last_fetched":"2026-05-15 20:48:55.861Z","outbox":"https://mathstodon.xyz/users/divyaranjan/outbox","preferred_username":"divyaranjan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs8cAdDbwCKEiRDU65GPx\niFzF4w8uv7W3BxvhK4POuT9DmvAfcq5MRShs4r5bjnh6Jp0KjS9nBVSfBtkda0F5\nWJy2fgOUwkcJpxO5o7uXAU4yya3gluAq3DZsRhQgxSaF/pJTPsScHVKlzGEN/r+I\naLHmzy74tpZphUobXOA+NNuYsrBoVMa9/PRgLojD/CKhD45P0+MwrWsO9hy8b/ko\nXWapmcZnYcr/Amn9HjFLmesS+kNLXIRLlHSqiksQGc0TUi7Puo+Bu+cKuD6vnlHn\nxQnWYRakWOQ+tPYakfwf/or36lSLt68HBICTUs7CctD+jYYnsO1FqoaJclbB0c07\nLwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-11 00:00:00.000Z","summary":"

Mathematics, Philosophy and Libre Software.

Lives inside GNU Emacs. GNU Guix package maintainer.

Lisps, Haskell, Rust, and occasionally C.

Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.

","updated":"2026-05-15 20:48:55.861Z","user":"","username":"Divya Ranjan :hilbert:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-30 16:35:59.392Z","domain":"toot.community","followerCount":3649,"followers":"https://toot.community/users/yvanspijk/followers","following":"https://toot.community/users/yvanspijk/following","followingCount":156,"icon":"https://static.toot.community/accounts/avatars/109/364/817/764/036/126/original/592d8f8750770dc0.jpg","id":"il1wl51zy1bqppg","inbox":"https://toot.community/users/yvanspijk/inbox","iri":"https://toot.community/users/yvanspijk","isLocal":false,"last_fetched":"2026-05-15 20:48:55.928Z","outbox":"https://toot.community/users/yvanspijk/outbox","preferred_username":"yvanspijk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtEVoB4UmRBeX9StHS7aM\nnyxKY5pf0p3whpJDpqxQ+S4jCe8SkMAVjbK7Fwmev4QIEZyqQfEheBd/CtqfDH6U\n7iEELuSoSjDhc4sh7z+xktT6jy3IWM1OEBxAWc5v2/gEKukI3IdXDUMFhIP/Ro0E\n/8PBQkIkxL/X5uijoOsJplsCev4lvLX+9j1zhqTL1PdeVhWIgRlE/6M+f+w22gEO\nVHH0iL2+TaJ273V5n0JGc3hrn38Ykvw8rQgt3IioyAot1iH0rnH+MXFFKVwd54Ms\nClxflXHOOYopzwKh3g9YKpTEr209kUyDh95u8g5To9Q+n+dKymlMpSpB5U5F42xc\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

DJO-in ['dʑowɪn]

Historisch taalkundige, schrijver van 'Die goeie ouwe taal' en 'Woord voor woord, en vaste auteur bij Onze Taal

Historical linguist, writer

photo: Dirk-Jan van Dijk

","updated":"2026-05-15 20:48:55.928Z","user":"","username":"Yoïn van Spijk"}],"page":1,"perPage":10,"totalItems":15,"totalPages":2}

Basil L. Contovounesios

Following