{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-06 10:26:48.275Z","domain":"functional.cafe","followerCount":846,"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":"70vlya5pi7pnwkc","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2026-04-19 09:29:42.099Z","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-04-19 09:29:42.100Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 08:45:13.035Z","domain":"mathstodon.xyz","followerCount":5120,"followers":"https://mathstodon.xyz/users/BartoszMilewski/followers","following":"https://mathstodon.xyz/users/BartoszMilewski/following","followingCount":11,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/154/379/845/901/original/862ec704f5fa1247.jpg","id":"bevgpfzb8kv1354","inbox":"https://mathstodon.xyz/users/BartoszMilewski/inbox","iri":"https://mathstodon.xyz/users/BartoszMilewski","isLocal":false,"last_fetched":"2026-04-19 09:01:29.402Z","outbox":"https://mathstodon.xyz/users/BartoszMilewski/outbox","preferred_username":"BartoszMilewski","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtozdymsysyTdBl+BYPi5\nLiBntVfG7Awfi7HC9TrQA1bF3DsfN0tP0wGp/zQal+LObFv3P8x5yFYCIpW3QTS7\noKMZCyyPEywDAjLGvd/E9ANoVe7zRajtQ4Ys1sk3qoZ0WlIC0sQA64NQl0FqKwm2\nXPtWZQViveuFwPyHUwOxcoR0D51Q00frRCXPiIy/XBzGsKB/MGIOopa4HasIbqxn\nW5FXmtDzfUDC4ue9aRSjzF9tGhLAX3RpnRqBdbyfZpB9mm4YTjYKL/G3ldzRHm6u\nAi4xTSPQKLzlk4tvnlyotP3EHh2BExkJqVUrdR2E8yrfWrUXWz9EBXKWG/CMvRAS\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

","updated":"2026-04-19 09:01:29.403Z","user":"","username":"Bartosz Milewski"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 13:56:27.248Z","domain":"mathstodon.xyz","followerCount":4274,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":227,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"ka90b2p70pg4yxk","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2026-04-19 09:06:54.811Z","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":"2026-04-19 09:06:54.811Z","user":"","username":"Talia Ringer"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

0vais

Following