{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 09:01:06.199Z","domain":"mastodon.online","followerCount":16478,"followers":"https://mastodon.online/users/parismarx/followers","following":"https://mastodon.online/users/parismarx/following","followingCount":128,"icon":"https://files.mastodon.online/accounts/avatars/108/193/725/441/581/908/original/bc81fd8190f2e74c.png","id":"8ax64k8u3pm0200","inbox":"https://mastodon.online/users/parismarx/inbox","iri":"https://mastodon.online/users/parismarx","isLocal":false,"last_fetched":"2025-12-16 17:01:12.751Z","outbox":"https://mastodon.online/users/parismarx/outbox","preferred_username":"parismarx","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvuUOyKgBqe9a/WWxs1dv\niAlcBDTShXpl1ZDMR82S58ygTKCrBI85QayuZe1AHpZRRIo8UOVz2oUBMI12NhBT\n9gPyAZ8XRwyWGcEaGL1TnSZIjei9cqITm7AhBz2lMjl3Ut2BMSAWgHIP57hmbtzO\nGZsQRC8lk68ASsu5MOcNcCDq1WNzt8rDsgcPo5OH+S/f1f2XtED1721lA8KRpe/6\n3aNEvywDgntBq/x2dux94sTOTTb93thubbTwteUYe4mc3YXkKyv7xBiqEcbjUUvX\n11uKptwIBjrwF7J7lHyChT9UkwEgmSB/6/BGlb5x4JunNFhPEvgwvmVa+a51TSEX\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"

critic of tech futures | host of tech won’t save us | writer of disconnect | my book “road to nowhere” is out now! | he/they

","updated":"2025-12-16 17:01:12.751Z","user":"","username":"Paris Marx"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-26 01:21:18.874Z","domain":"framapiaf.org","followerCount":50,"followers":"https://framapiaf.org/users/nore/followers","following":"https://framapiaf.org/users/nore/following","followingCount":77,"icon":"","id":"87vfm7032455113","inbox":"https://framapiaf.org/users/nore/inbox","iri":"https://framapiaf.org/users/nore","isLocal":false,"last_fetched":"2025-12-16 17:01:13.818Z","outbox":"https://framapiaf.org/users/nore/outbox","preferred_username":"nore","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8wfwcahdvOW/vq4nPHwX\nw/Pn+FciKQgmaPbZaSAZTKmlmU1ociMEybv9LHSgnwstlJf28xvMeZ39GOfmkuZN\nP5A7a7H/Lx/gDE7Xdg+1NgMZbZCaq7ocqJIIel2l8I5r6yb/xAc67RiSUB4J6EqZ\ntVqPJugh8/H2Khq+aKSqViOGB9b21edDiB0dUEyjMb3cSGl+CzZHy9h4bgvv5TBi\nycL0cI/9r2eelypMsla51i1+vKQxCdEvFyx37oLTx1desoeKufXAqb3UfOKahLS7\n6NesjFd7Yif1E9+YY7EKactHYAx0GGWXHaRob6dh3covEUCONlxbb95KU+2JEnEn\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-11-21 00:00:00.000Z","summary":"

R&D engineer at OCamlPro, OCaml hacker, type systems enthusiast, math & games lover, core developer of Luanti.
she/her 🏳️‍⚧️

","updated":"2025-12-16 17:01:13.818Z","user":"","username":"Inductive nat : Set"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-05 10:54:21.222Z","domain":"mathstodon.xyz","followerCount":320,"followers":"https://mathstodon.xyz/users/Blaisorblade/followers","following":"https://mathstodon.xyz/users/Blaisorblade/following","followingCount":592,"icon":"","id":"s5d713vqxx1n2s4","inbox":"https://mathstodon.xyz/users/Blaisorblade/inbox","iri":"https://mathstodon.xyz/users/Blaisorblade","isLocal":false,"last_fetched":"2025-12-16 17:01:13.954Z","outbox":"https://mathstodon.xyz/users/Blaisorblade/outbox","preferred_username":"Blaisorblade","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvK6lU9HmQzAR3CAGJmvF\n5ukQEWH6o++NiwJL7m+huLac6L+5AztnbLqsvlvimaBYqZY/JoBJq/R0ylJt3kjQ\n+0eiXvnAokJ+cjmTrVx+3iw/e6+RSjhqI51kJln3BLnPvVDLBFMVJgc4HoNgC14n\nQuGp7wlBFlbLkQNcsHUtCh4dHpfYMrO1+m1BTezG+EkAha0AV4bccccYIZ2yzKzT\nlRVzIYzDq/EbJnwK7DG+wHlBZe9veRzgL9UAOgg5y4NJlOLmUrbjQLta8SbkA4jW\nR37KqJ+AG0ipZdjwEyPWWZMPXRxlzrDxYSoJeO4B7w7gJfWOudg1uCvS89G1ijvv\nLQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-29 00:00:00.000Z","summary":"

Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

","updated":"2025-12-16 17:01:13.954Z","user":"","username":"Paolo G. Giarrusso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-28 23:46:33.498Z","domain":"functional.cafe","followerCount":316,"followers":"https://functional.cafe/users/joomy/followers","following":"https://functional.cafe/users/joomy/following","followingCount":256,"icon":"https://files.functional.cafe/accounts/avatars/110/850/834/610/675/178/original/2e338b8ff1910307.jpg","id":"04lx2689gd860i5","inbox":"https://functional.cafe/users/joomy/inbox","iri":"https://functional.cafe/users/joomy","isLocal":false,"last_fetched":"2025-12-16 17:01:14.090Z","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-12-16 17:01:14.090Z","user":"","username":"joomy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-27 17:49:10.911Z","domain":"mathstodon.xyz","followerCount":425,"followers":"https://mathstodon.xyz/ap/users/115553341774279659/followers","following":"https://mathstodon.xyz/ap/users/115553341774279659/following","followingCount":54,"icon":"","id":"oxvayaskim242jg","inbox":"https://mathstodon.xyz/ap/users/115553341774279659/inbox","iri":"https://mathstodon.xyz/ap/users/115553341774279659","isLocal":false,"last_fetched":"2025-12-16 17:01:14.124Z","outbox":"https://mathstodon.xyz/ap/users/115553341774279659/outbox","preferred_username":"AndrasKovacs","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxKQ61hXO+7JT/kIz03Cu\ntf0HiGsvBUsGXoRLe1UrrbHvmYl1GeLe0oke5XbmzAL7KRg1SE02+ccHqBGL5zkQ\nzBriPrmyyBRlvsSMq5sV519hYd1lKhpYHexSzv3y1fyWXGMPEyA3qGb+ax8GtGCf\nWcaS8eOGv/EO5oXOC/O0mStTxBr2uYvoNPNvNG9m0tV8xEz9pLSx+q0C+/7BxmFj\nfcd/uf14ldXttVBS6hdKdqB/1OfOLLtaaTgPZjHFC35PFEis0QwW9G2VolbzuzbS\n/k0qmO3PsxN7hUmTSSIj+Hr7MBSA1pOYFjA369GBio6kQvbYRdJ0dt5vGtISxA+0\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-11-15 00:00:00.000Z","summary":"

https://andraskovacs.github.io/

","updated":"2025-12-16 17:01:14.125Z","user":"","username":"AndrasKovacs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 02:12:34.101Z","domain":"mamot.fr","followerCount":3395,"followers":"https://mamot.fr/users/casilli/followers","following":"https://mamot.fr/users/casilli/following","followingCount":6,"icon":"https://static.mamot.fr/accounts/avatars/000/006/719/original/f8bd44f069e0447f.png","id":"qbpoxe9231s6646","inbox":"https://mamot.fr/users/casilli/inbox","iri":"https://mamot.fr/users/casilli","isLocal":false,"last_fetched":"2025-12-16 17:01:14.221Z","outbox":"https://mamot.fr/users/casilli/outbox","preferred_username":"casilli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx1irr3+XyWDqnQsxboqf\nAWOBRvZmQo4TCnP1kqZQjWfnjb2Yc6o13c7fwgBZ8WpoABzY3k0mpqBzWBg0zaZh\nwhSq1x+imqS/O9LaIQwljhJqI4FGvLZq0+WOf7KDfIPogiDI8zfxsRep2/1nAFMz\nJni77uv6JdASBo+H2PeEpanZu4N7nxmOS0MQAjQSB+B4NQ1NKjbEzdZwzstqzqui\nEJhkOoGkvMh1lw2ViEPFwZnGORC5sFGHa9D7G1mBGn6r1cNvIwUm+WVyBqKdT4vV\nSYgl404ZDfZgN9eWB2Fbvn2zIkKLUyYUCUj9qLe6kXd9P7SMLtsxr4S4WGfXjE3Z\nBwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-08 00:00:00.000Z","summary":"

🗣️Professor Institut Polytechnique de Paris  I write books 📚🇺🇸Waiting for Robots (UChicago Press, 2025)📚 and documentaries 📺🇪🇺In the Belly of AI (Federation Studios, 2025)📺.

","updated":"2025-12-16 17:01:14.221Z","user":"","username":"Casilli :mastodon:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-30 13:49:20.481Z","domain":"discuss.systems","followerCount":22,"followers":"https://discuss.systems/users/amoine/followers","following":"https://discuss.systems/users/amoine/following","followingCount":46,"icon":"https://fd.discuss.systems/accounts/avatars/115/323/421/934/178/238/original/df8db9413673c712.png","id":"opqf30gwe3h50mr","inbox":"https://discuss.systems/users/amoine/inbox","iri":"https://discuss.systems/users/amoine","isLocal":false,"last_fetched":"2025-12-16 17:01:14.573Z","outbox":"https://discuss.systems/users/amoine/outbox","preferred_username":"amoine","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAl8Z8QEQl+2h81j1+d8uZ\n9tBBe32W7Q/6+M4rLitcd2f8MADDBe3jgvW6olMN1fG1kEiEKPLHmHz6Gnxpp1GZ\nVRq7XEbEO5X2pDbWAvtRm99ZGqCsdmmMRPqJOYvlbmiTmibTd8CHmQWPaSIDZGmG\nzeY9Zsmlk6Y2U8zzlk0MEJxAoGkMY5ZSNR1LZ/vwouK66uO5Mk4EpsFLLqancXUB\nZuS7Mo51dXUAwWhepIot6H01gSiDUYRypEIC2FAN+7MGGrpjMGFQm/yp9kuqZEHG\nqaiAPQ/9s/vU/ghO/Tlc0JC5q1HTBRP00mm/0O0jswprBJyaT1vikBXozdQHcGE/\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-05 00:00:00.000Z","summary":"

Postdoc in PL at NYU - I'm proving things correct and efficient using separation logic.

","updated":"2025-12-16 17:01:14.574Z","user":"","username":"Alexandre Moine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 10:14:14.901Z","domain":"mathstodon.xyz","followerCount":4188,"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":"h57aa7n70h0lhsg","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-12-16 17:01:14.611Z","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-16 17:01:14.611Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-02 06:56:09.422Z","domain":"mathstodon.xyz","followerCount":762,"followers":"https://mathstodon.xyz/users/egbertrijke/followers","following":"https://mathstodon.xyz/users/egbertrijke/following","followingCount":123,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/861/594/572/249/original/49459bada3e6aa54.png","id":"mz84cc5u4935v0m","inbox":"https://mathstodon.xyz/users/egbertrijke/inbox","iri":"https://mathstodon.xyz/users/egbertrijke","isLocal":false,"last_fetched":"2025-12-16 17:01:14.648Z","outbox":"https://mathstodon.xyz/users/egbertrijke/outbox","preferred_username":"egbertrijke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvAgZoSqtXkjGmyD7Ytmx\nyqt+jayq8iBW1nTFUPafGrUpRPZ5Cphbon2OCwObFHgZjBh6mXwiMMdqSN2Wf20u\nBOmqgWz/rmYSHLINXWwSq3iT4ctv9Um7tl9afA18HedUq8wiRcDVpQwXkCJNw1x9\n024zznyGjgP16EHN5hbmCOMtdqxeqo54zmPrecWXcXuQ5Oj6OdJ9zBauxrdHP3p4\nE7ebZrkA2keIFFxQkR3GdoxMuKGbvXzS0MWAHN4EgkE4YDyKcVxgzjUblsLVv81A\nLXMb/wflz+LCDlZWMtCD4myCD2fQTQY63RkGgpTq9ZFXEitqkBQjA0oSkDA0gazy\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Postdoc at Johns Hopkins formalizing mathematics

","updated":"2025-12-16 17:01:14.648Z","user":"","username":"Egbert Rijke"}],"page":1,"perPage":10,"totalItems":232,"totalPages":24}

Meven Lennon-Bertrand

Following