{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 05:03:08.759Z","domain":"ohai.social","followerCount":0,"followers":"https://ohai.social/users/ralf_muschall/followers","following":"https://ohai.social/users/ralf_muschall/following","followingCount":0,"icon":"https://files.ohai.social/accounts/avatars/114/267/969/902/088/383/original/b0a2d68c32843262.png","id":"40xi28q86f5526u","inbox":"https://ohai.social/users/ralf_muschall/inbox","iri":"https://ohai.social/users/ralf_muschall","isLocal":false,"last_fetched":"2025-07-30 00:59:56.134Z","outbox":"https://ohai.social/users/ralf_muschall/outbox","preferred_username":"ralf_muschall","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyRSUGyFxIYC7iK0QssSi\n4Jz7MtS6t6357iMOzAoZl6Z86kvBUkn377rOo3QJian4MbTGq3jeJ7ktpzrAr0Ce\nF8YdlvbuYwnHggWPApITyDkc8VjQP2mrtHYNXfUBUdLZHHPE9MeEQvi4ym3hhFv4\ngbxk+fDiWDR3xTTzYR0ph/83gRJTRIDruMxyysAgCTGhLpPLjbDRqpj1ZLP5qR1g\nWnJA6OTjwrwlD2HIxFgEhCD40G9lGNyy0pFLgHws2jqI0L6TdLRGdpRWANdvlklk\nYeQbY7oh8zteJK+cAx128RJw3E1p9NsW2wJgwFhB91r+z1TtdySQLH36So1sGbxr\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-02 00:00:00.000Z","summary":"

Expirat, Gnu/A+ atheist, prophet of ᵈCthulhu, @ralfmuschall on Twitter, Erdős number:5
https://www.inaturalist.org/people/ralfmuschall
moved over from octodon

","updated":"2025-07-30 00:59:56.135Z","user":"","username":"𒀭Ralf Muschall🐙"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 14:39:06.187Z","domain":"someone.elses.computer","followerCount":2327,"followers":"https://someone.elses.computer/users/riana/followers","following":"https://someone.elses.computer/users/riana/following","followingCount":473,"icon":"https://someone-elses-computer.nbg1.your-objectstorage.com/accounts/avatars/113/652/899/616/523/375/original/71879b6df5d353d6.png","id":"k5f84vyj72u7prc","inbox":"https://someone.elses.computer/users/riana/inbox","iri":"https://someone.elses.computer/users/riana","isLocal":false,"last_fetched":"2025-07-30 00:59:56.475Z","outbox":"https://someone.elses.computer/users/riana/outbox","preferred_username":"riana","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyELXTknaufFO+fLsPSJ3\n0UXgPJRbuUEqIrZr17tg5zUTp8/UPB3ZW/NemOtbNTpMWPgGHxYhK/YdnSUKoveI\ngUGCKDhh2EiwwFHsc+z3gerdDS0VKxWI0udyEwDlM+dzrtPYoTUpcgLVUAcQaO9r\nUKkGUgPFwPGsPwJkgouE83uvJap5DfPJGzkNBKICfXFaX/yUcjAo15Xnol207+ku\ntfYYkjFw/mQVWJxzc5zp6zH6fto12vxvZ15KwsI3vtVHuNardiyzIxcbGvuODtaT\nCDzQ+9KvG/klbU4POVk2SsoQQk2d3QJVq1nmVUIJx528hmd5Nj+5LF21j2YI+cZU\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-14 00:00:00.000Z","summary":"

Tech policy researcher at Stanford. You can't be both pro-choice and anti-encryption.

","updated":"2025-07-30 00:59:56.475Z","user":"","username":"riana"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 06:05:05.058Z","domain":"mathstodon.xyz","followerCount":2237,"followers":"https://mathstodon.xyz/users/threebodybot/followers","following":"https://mathstodon.xyz/users/threebodybot/following","followingCount":1,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/455/988/075/290/028/original/af9c8433e3512f2b.gif","id":"lhaz4tz7ij59z76","inbox":"https://mathstodon.xyz/users/threebodybot/inbox","iri":"https://mathstodon.xyz/users/threebodybot","isLocal":false,"last_fetched":"2025-07-30 00:59:56.677Z","outbox":"https://mathstodon.xyz/users/threebodybot/outbox","preferred_username":"threebodybot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5oYOY8DVKlqbWyIWuW/r\nvjiUAvBsn/NVlfaOTvmH/Hi76a9El1/1g9i6YxZm0+Qqy9XKOzoW3jUl1buTPoGF\nf8gjtk4VdtT1zv45wN0HYIWVph5ZjCBoEcDkBLiIH5oBQJEAfLw3P88cXGVeEjJd\n34eSAaJMFceJkPXPCFWRY/8pFnotwoSWTZA45oDYyKLvwh1cVVozjLOgbFaJR+lB\naqrxxjYpjLLK6cu+PWG0Lbyl8kgdSk4U/enM4dfpeaidDqp/yrbF2z6P7Z9bIpRM\nBPmPp2veTOSMqPCwpKUYzfj7voUgT33TOQh4UtsvMoUniRpQXc8As5+CKVqKYLDb\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-10 00:00:00.000Z","summary":"

Random initial conditions (DM to request!): M between 0.1 & 150 solar masses | Speed less than 10 km/s | Positions in a 50x50 AU box | code at GitHub.com/kirklong/ThreeBodyBot

","updated":"2025-07-30 00:59:56.677Z","user":"","username":"Random three-body problem"},{"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-30 00:59:56.713Z","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-30 00:59:56.714Z","user":"","username":"HoldMyType"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 12:27:31.065Z","domain":"mathstodon.xyz","followerCount":6381,"followers":"https://mathstodon.xyz/users/bleuje/followers","following":"https://mathstodon.xyz/users/bleuje/following","followingCount":99,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/906/689/068/976/935/original/d383587b51481bf0.png","id":"p187432u3a7yun1","inbox":"https://mathstodon.xyz/users/bleuje/inbox","iri":"https://mathstodon.xyz/users/bleuje","isLocal":false,"last_fetched":"2025-07-29 23:21:02.020Z","outbox":"https://mathstodon.xyz/users/bleuje/outbox","preferred_username":"bleuje","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsncgT6FA9NZ5pMX3zuiJ\nyLTjS+06VAEeehWHVKFEqJFONjkX0NcFICiWSBAN/bproqMYDbjVp8+Pn0uOpsUp\nSDP8y7QcsSekJyYdI23pGkhYgI3BwJa7pYvW142vEvPm2hWy9FX5dJrdM7ZmaCrL\nYsDFsan3C/HrZlgmGaFqehS+cwNmoBSGnAdfl8F13Lr0c39nZTKYXFAjQS3iWe4b\n9u4hp6fIldEIYIjOTz7Hxl6UqgdB8sVygsydShYldH5s1w7zqdE434k9MYk9w9Rf\nxEFxpARjIC8VGq5NcoY/hpZeR9Rga909fa0FLMvjaHS4jRhZWzOhL3VjJlU4cIkv\nvwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-08-05 00:00:00.000Z","summary":"

creative coding, gifs made with code

","updated":"2025-07-29 23:21:02.020Z","user":"","username":"Etienne Jacob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 00:59:57.059Z","domain":"agda.club","followerCount":0,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":0,"icon":"https://agda.club/media/34f00d6e-8a8b-46fb-909d-dbed9d9b4eef/IMG_20230329_203832_591_crop.jpg","id":"m94097mwydrm32l","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2025-07-30 00:59:57.057Z","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-07-30 00:59:57.059Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 02:36:02.182Z","domain":"sciences.social","followerCount":2577,"followers":"https://sciences.social/users/m_clem/followers","following":"https://sciences.social/users/m_clem/following","followingCount":1007,"icon":"https://cdn.masto.host/sciencessocial/accounts/avatars/111/096/836/764/223/022/original/827fcb34f15ea17d.jpg","id":"he6yn3xu048v2y4","inbox":"https://sciences.social/users/m_clem/inbox","iri":"https://sciences.social/users/m_clem","isLocal":false,"last_fetched":"2025-07-30 00:59:57.207Z","outbox":"https://sciences.social/users/m_clem/outbox","preferred_username":"m_clem","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuhExK3yqdA6NnV5KZqYH\ncd7dncaiNbLE6l4abYcIWAf0OzTaeZOJkaK2h4IuZIqTmMOLwYoNwsMKeuDY3CWr\naFri5l2xerWT8G1ifSD/LpKxjVP6crBTArn2ISQbhN5w4I85LcHEsTiLuy4ZGMOb\nmyoYON9/XMBGeKyWphwV6X0yhyD1HDrBinfLh6JMXGEs/gWimS8yI6t+Dq+cjDI+\nQ8nYQD2+AVJrXKXcULZjnbNM6G2scrAxLHiUNgBC/2KEbK0hDUdQazrtaXdcoI86\ncSR0uyI/pa5DiMlvBvziUtLOjSfVrdFmjvJ+ijCk+CgQafZ6zy/ptla6kIb/qbCm\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-20 00:00:00.000Z","summary":"

I'm an economist who studies the causes and effects of international migration. Professor of Economics at George Mason University and Fellow at the Peterson Institute for International Economics. Also IZA Bonn, CReAM~UCL, and the Center for Global Development. Personal views exclusively.

","updated":"2025-07-30 00:59:57.207Z","user":"","username":"Michael Clemens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 22:39:00.799Z","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":"qe4s6u57y823n7f","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-07-30 00:59:57.245Z","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-07-30 00:59:57.246Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 21:58:38.707Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/jer_gib/followers","following":"https://functional.cafe/users/jer_gib/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg","id":"959rg78o4l553w8","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2025-07-30 00:59:57.781Z","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-07-30 00:59:57.782Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 00:34:00.348Z","domain":"mathstodon.xyz","followerCount":674,"followers":"https://mathstodon.xyz/users/zanzi/followers","following":"https://mathstodon.xyz/users/zanzi/following","followingCount":192,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/155/887/622/527/original/780575cab98b0ce9.jpeg","id":"346pv8nlxt0m0s2","inbox":"https://mathstodon.xyz/users/zanzi/inbox","iri":"https://mathstodon.xyz/users/zanzi","isLocal":false,"last_fetched":"2025-07-30 00:59:57.822Z","outbox":"https://mathstodon.xyz/users/zanzi/outbox","preferred_username":"zanzi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7n/96xPDTD378z1I2rMn\ns+5qfyLupYGDa3rJKRLThIfbMwPC8I1bqBIE+LvDGjuHvGTnpYAHjN1vX45HNh7Y\nZbyhr5mLzXPK2xtjrAdf7wlKpO7N5X1DMqUYJbWE5xhj67tXU9eZJ4XmUMmdtTBf\nN3WKkxqfOlHRrHECotJv6LUysr3fN3a8gGifzGgwr5UjKP7FBTowt+d8WHDyYsGg\nPud075Ky/ryKi5DO7mTebKpWQg1dRXNDEMs0fTKmq7E4fesbv4+Osu+ziNkbjPH7\nSJU2e4JzBLCzL4MWycXWmoEX7oeTda7HciDZ45rgU+hkUtNnSe6xFnayUPgZuAtM\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Applied category theorist, working on merging category theory and functional programming.
https://zanzix.github.io/

","updated":"2025-07-30 00:59:57.823Z","user":"","username":"Zanzi @ Monoidal Cafe"}],"page":1,"perPage":10,"totalItems":200,"totalPages":20}

Simon Pepin Lehalleur

Following