{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 19:17:00.916Z","domain":"mastodon.social","followerCount":307,"followers":"https://mastodon.social/users/owi/followers","following":"https://mastodon.social/users/owi/following","followingCount":78,"icon":"https://files.mastodon.social/accounts/avatars/000/031/075/original/986f421449e60b6c.jpg","id":"vp0mjen307fggbj","inbox":"https://mastodon.social/users/owi/inbox","iri":"https://mastodon.social/users/owi","isLocal":false,"last_fetched":"2025-08-09 12:17:06.926Z","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-08-09 12:17:06.966Z","user":"","username":"Oskar Wickström"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 14:35:28.735Z","domain":"ruby.social","followerCount":676,"followers":"https://ruby.social/users/pushcx/followers","following":"https://ruby.social/users/pushcx/following","followingCount":154,"icon":"https://cdn.masto.host/rubysocial/accounts/avatars/112/906/037/274/831/202/original/42fbf1d867782237.png","id":"33lh3kq3565zpeq","inbox":"https://ruby.social/users/pushcx/inbox","iri":"https://ruby.social/users/pushcx","isLocal":false,"last_fetched":"2025-08-09 12:17:07.026Z","outbox":"https://ruby.social/users/pushcx/outbox","preferred_username":"pushcx","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxxF6mi8vmCvGrCGtypnS\nJxGrNVoevHao2c5EZGkBv2PEsJEP8iscT2q04q1U/r3F4zFafgjc3vcKWQg+GuxV\nx8ysTC1JcOumIVJK3LWbJraiU6qCwFxFqeqIs7RKuose4V+qxXOyi3GnwJ3LKoIK\nut/Llrk306Jlbx56T7FqwLDPoW66DwkBzrUmp28NS0qV80Q10FJ7shYNF++1NN5E\nixgUnROvgQJ4JGNKRaEpQV0L9W1ZJXws/mhv9gVfpl1kN+rc2o2gnjmcFhwL8yzM\nBr2qegSu77K2bRHS5ipDPAIJL8iAsFta2Vw41LnZyVB099D4D79dxJDz2CdyDLn5\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-04 00:00:00.000Z","summary":"

Programmer by day, programmer by night.

Blog: https://push.cx Bootstrapping: https://recheck.dev

I run https://lobste.rs and stream office hours Mon+Thu: https://push.cx/stream

It's better to follow https://bsky.app/profile/push.cx - the bugs have pushed me away from reading Mastodon much.

","updated":"2025-08-09 12:17:07.028Z","user":"","username":"Peter Bhat Harkins"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:45:10.980Z","domain":"mastodon.social","followerCount":43182,"followers":"https://mastodon.social/users/Teri_Kanefield/followers","following":"https://mastodon.social/users/Teri_Kanefield/following","followingCount":167,"icon":"https://files.mastodon.social/accounts/avatars/111/505/784/944/378/030/original/e96145a37bbdde6c.jpg","id":"00d9w35m54t4p5x","inbox":"https://mastodon.social/users/Teri_Kanefield/inbox","iri":"https://mastodon.social/users/Teri_Kanefield","isLocal":false,"last_fetched":"2025-08-09 10:53:20.686Z","outbox":"https://mastodon.social/users/Teri_Kanefield/outbox","preferred_username":"Teri_Kanefield","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Fe7XbHnbyr2/3UNWanL\n6iySsgUjX0fuaZuSxxzZ3dcX8BUDjZm9RhvMOlopgHTO9p+ZODXgIc6oM02gvn1E\nqJVPjsfS0JgmG+FXCpXnYBeP9A1ML6s9OHnCrflV3o/OhDq14n4RVJKXhg1Uac3D\n5KVdewRkMau0yhdVu0hTbpoQGXjtXdq/wVaNfHZVMQQCeMZTnfzFvu/DXhVykA5u\ng8nj8gBw0Tkwu6dlapvZgl6R3UzEHxIlKqs38ajcn/S1RfyGSR94KyrirATG/4SU\nH2oYBekG0SxtpKY/3byhFycpajTJTFI0yDjassOepY0aRAnMbsvAfE6LJMex3pti\n7QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-01 00:00:00.000Z","summary":"

Former appellate defender and UC Berkeley Law graduate. My practice was limited to representing indigents on appeal.

I’ve written more than a dozen books and published more than 50 short pieces in The Washington Post, Cnn.com, and others. My book prizes include the Jane Addams Book Award.

Tfr

","updated":"2025-08-09 10:53:20.686Z","user":"","username":"Teri Kanefield"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 16:57:15.431Z","domain":"agda.club","followerCount":992,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":232,"icon":"https://agda.club/media/34f00d6e-8a8b-46fb-909d-dbed9d9b4eef/IMG_20230329_203832_591_crop.jpg","id":"in3x4cr8y5i7nb9","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-08-09 12:17:07.376Z","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","updated":"2025-08-09 12:17:07.377Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 14:08:34.331Z","domain":"mathstodon.xyz","followerCount":4120,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":198,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"2q6p52mlg37pk43","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-08-09 12:17:07.520Z","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-08-09 12:17:07.520Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 17:59:23.846Z","domain":"functional.cafe","followerCount":307,"followers":"https://functional.cafe/users/joomy/followers","following":"https://functional.cafe/users/joomy/following","followingCount":252,"icon":"https://files.functional.cafe/accounts/avatars/110/850/834/610/675/178/original/2e338b8ff1910307.jpg","id":"hu07044k773f0u2","inbox":"https://functional.cafe/users/joomy/inbox","iri":"https://functional.cafe/users/joomy","isLocal":false,"last_fetched":"2025-08-09 12:17:07.882Z","outbox":"https://functional.cafe/users/joomy/outbox","preferred_username":"joomy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA96JoxXJm9WNPKClujKIo\nCz2vulphj815SZqtTnXMBJd6RdEEi+hDRBco2BtVzwOOpibHTgT4SqkyYVg/FBTr\nrjYCt371QEPEXfo0o25Fm7sXgyXjsQD6IRALa75XzR2IvMvxVaTD80ppVB3icGyR\nZi/SZug4H/BPkS966Ed+sHXcVEo1CMUPxJnbWT/fuhSXq+U35UsIo/s9ygRILt4q\nbXeeQ0Z2FOELVEQrQpgtAU80iG0B0axeWWyFjAfGBDckPfwTP7h5rD87U0KQFhh7\nC0+cUzSysaAyet/4OmnIAGf3rElABZQ78JRom8ggD+0lzV5l0Sw71EYMKZyuiVsw\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅   posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.

","updated":"2025-08-09 12:17:07.883Z","user":"","username":"joomy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 16:42:22.793Z","domain":"mastodon.clipperz.is","followerCount":246,"followers":"https://mastodon.clipperz.is/users/gcsolaroli/followers","following":"https://mastodon.clipperz.is/users/gcsolaroli/following","followingCount":743,"icon":"https://mastodon.clipperz.is/system/accounts/avatars/110/005/431/033/687/514/original/c04fe1ece2bbab12.jpeg","id":"gr086qqvrs0wd52","inbox":"https://mastodon.clipperz.is/users/gcsolaroli/inbox","iri":"https://mastodon.clipperz.is/users/gcsolaroli","isLocal":false,"last_fetched":"2025-08-09 12:17:08.123Z","outbox":"https://mastodon.clipperz.is/users/gcsolaroli/outbox","preferred_username":"gcsolaroli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvng7n+deTrpH0onHGOAd\n0U1z/JX0B9LpOGjJHdWBltKtyN7etswgL7Ok9Dr8EMkFfiLmGyiAiYlYY11A4ZCV\nHr11vhKhEn0k+y49yfBgPuqJWbfqkjMnh5HGT2+iXCO4Cg0N1/WtFbvtdYwQY9nF\nkvsh//nanCRdfUmHwsiegjSXFgBJWa7qRA1LIStGzDPl3rUC/F3fiGP+kFvVtlsU\nmc/rUR3+3zZd92qElQMmZf5vfOa/Bj9lDM51ikmaeJDcRBo40wUTcl5HK6u7Hu4a\n31VVMKDZpR7YTnu2OWCr+pyPUsAf2ctjzePkzrGy8T5wwr+U68vQTCfOW0uM1yl2\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-11 00:00:00.000Z","summary":"

Software developer.
Still working on Clipperz: clipperz.is

","updated":"2025-08-09 12:17:08.123Z","user":"","username":"Giulio Cesare Solaroli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 08:41:31.079Z","domain":"gamedev.lgbt","followerCount":948,"followers":"https://gamedev.lgbt/users/typeswitch/followers","following":"https://gamedev.lgbt/users/typeswitch/following","followingCount":378,"icon":"https://193eb646-6077-4968-9f13-271a9b475591.svc.edge.scw.cloud/accounts/avatars/109/840/745/523/444/375/original/8ea18ae9c709d259.png","id":"sp2qk47qaaj11c2","inbox":"https://gamedev.lgbt/users/typeswitch/inbox","iri":"https://gamedev.lgbt/users/typeswitch","isLocal":false,"last_fetched":"2025-08-09 12:17:08.487Z","outbox":"https://gamedev.lgbt/users/typeswitch/outbox","preferred_username":"typeswitch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlp8UPRncZAlD37Om+XPN\nF6WHImjuHUwQJD5EfsGweJqMGhtzCInT/ihSohIqtn5UdvAQ+A7CYkZmJfnAPl/u\n+/rbqhb+6aXuHRFsClXn/IVyN4rwAArczG5TDOf2gIb3Oc3Zycy/41SYDCFgCn5Y\n8eFJZYPvfYwRYs+OzYe3Vzni18QmqoVyYuOTqqiQIr7q8imtWdwMRKkD+4V66uzv\nlb7fvStf03g4zmKumyNCfxOqs6r7afSAeSsiQcLv4rdHgRUB0v3BAvEoU35Y1+T0\nNp6utWrBQWMRa+gUfBOfFIks/kSf2OK8Yy11hTmNcZxMT5aWBvUdKJ0Nw0irRjoR\n4wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-10 00:00:00.000Z","summary":"

they/them 🏳️‍🌈🏳️‍⚧️:nb_flag:♾️ #pluralgang
we make games and compilers sometimes

","updated":"2025-08-09 12:17:08.487Z","user":"","username":"TYPESW~1"}],"page":1,"perPage":10,"totalItems":71,"totalPages":8}

Matt Noonan

Following