{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:21:47.863Z","domain":"functional.cafe","followerCount":749,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":16,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"cd9ogdv88w560so","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-07-31 07:43:04.194Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2025-07-31 07:43:04.195Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:22:08.478Z","domain":"mathstodon.xyz","followerCount":672,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":731,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"he5yknq988zfstw","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-07-31 07:43:04.227Z","outbox":"https://mathstodon.xyz/users/joey/outbox","preferred_username":"joey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuuyXP12Q1eND/tAmB3sh\nmUM/G/Wa6Gfm7F+0OZCgK7abAUpk/PiAw8dsj7wBJ5NoHYJsh5MCUEEu6OPeVj89\n5P9bldhXOojmU+oCzlA6i8aAgJF9f+LSCJHIwEJhJLL0Hi0bCfoZb+++zTj12Qbe\nipRiZXeFC+WcTHPx/3aET+octDlHTxerh6cPyrUnRbPG+DnqflivQcSHrVAHW3rC\nl09LDWvf9soeYPNZl3j1CeefYY+XIlPQD+6mzBmdexr71MmXMq6/5vFNLrAbJR58\nqO+/rt3kAqxpgz9hMTEiFB571qtp8tGlQ3XAa4rdsA7dCG1NYu/vmJsODA0FqWw0\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-22 00:00:00.000Z","summary":"

PL Researcher. Assistant Professor at the University of Regina. 🇨🇦

Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/

Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

","updated":"2025-07-31 07:43:04.228Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 10:18:25.694Z","domain":"mastodon.online","followerCount":104,"followers":"https://mastodon.online/users/sgraf/followers","following":"https://mastodon.online/users/sgraf/following","followingCount":112,"icon":"https://files.mastodon.online/accounts/avatars/108/208/342/082/837/328/original/414cd55bac9ecd37.png","id":"o8z6t89eajvz7f5","inbox":"https://mastodon.online/users/sgraf/inbox","iri":"https://mastodon.online/users/sgraf","isLocal":false,"last_fetched":"2025-07-31 07:43:04.322Z","outbox":"https://mastodon.online/users/sgraf/outbox","preferred_username":"sgraf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAy58+5fppxwqTxEMxoeG0\nDd3GCkvpg0fFpGcTELYIaAA8Giey6SlnXJerXquXKr1kF5L/OF5PoFv++vnQsqWU\n9Cb0QJd2gLL5b+ewBQAUEskMcruDhXHoX30ZV5g05H/A35VC+AesZ4p4cUVsoJv9\nwAMpjeqSqGUJOo1BCRyeX9wCWNxTh9dhml4G5UTuKhyGb82HU8CSavKU8K8A+lOQ\nPuXpl8bWmcCEoOEVCXyLNYjFTgo2a2pR69bHZ6bBFAbAG4JkEfbSICjIzf7IZ9R7\nOP6aaDlABi3AdgzZbPCnJ/z67lJuG7fq6wQP3fQYaYpBpI+EjHBqtrVq8xFooSFf\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-28 00:00:00.000Z","summary":"

Talk to me about Haskell, GHC, static analysis, PL design and theory, general CS, or my trumpet

","updated":"2025-07-31 07:43:04.322Z","user":"","username":"Sebastian Graf"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 09:38:03.226Z","domain":"mastodon.social","followerCount":93,"followers":"https://mastodon.social/users/johoelzl/followers","following":"https://mastodon.social/users/johoelzl/following","followingCount":237,"icon":"","id":"9nn8470sr8p9r2l","inbox":"https://mastodon.social/users/johoelzl/inbox","iri":"https://mastodon.social/users/johoelzl","isLocal":false,"last_fetched":"2025-07-31 07:43:04.667Z","outbox":"https://mastodon.social/users/johoelzl/outbox","preferred_username":"johoelzl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvw3sesJuLpgUn6pBZz6k\ns6Y/OjQ3d+sFBIU8BPm9zUJ1rDe9Rhmy9iWPYa1IfBsiPAg68SsND7LyZNPM7LcQ\nq5BA5/eXyOIN64SSfkpTlLOaKVZ52QQTC6/Z+ByOEbIMdMdp37pTnqK14biUlC+6\nWEOxavGbKMy869Aql3zsqqKfR6nciGbUF3+Fz1iCl6LvaFQSONhA3etqMDGh64d8\nugxJTHOLZmdcJGtjQGcx2c0uXpDnCjVb/hypuZI2/aaGn7a57yCRMQ66+GeuoJUt\n86shT6XEVXIxVIksJOwQmFgCH1CjNJ+AHvgX5P0q8qGaz+BwDc/NF8MIrxOeAjvZ\ndQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-15 00:00:00.000Z","summary":"","updated":"2025-07-31 07:43:04.667Z","user":"","username":"Johannes Hölzl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 04:17:27.624Z","domain":"mastodon.social","followerCount":176,"followers":"https://mastodon.social/users/JulianWasTaken/followers","following":"https://mastodon.social/users/JulianWasTaken/following","followingCount":316,"icon":"https://files.mastodon.social/accounts/avatars/109/245/200/944/027/205/original/f4da9369e11b8fd4.jpg","id":"cv005cmg64bqv8q","inbox":"https://mastodon.social/users/JulianWasTaken/inbox","iri":"https://mastodon.social/users/JulianWasTaken","isLocal":false,"last_fetched":"2025-07-31 07:43:04.766Z","outbox":"https://mastodon.social/users/JulianWasTaken/outbox","preferred_username":"JulianWasTaken","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsTMr1IZswYY7SrGEnczQ\nqdTRw/JXn1La2ulLqEOvz/LpSXK76mOnDvv2wtkJHnFbKZJhAibAjyeIwmdncB+i\nAQD6SBqrmSZR9cyHvHB6B94ogN+DEiKSG9LfwqVPWNeEe7tTNthWFqrK+PGBLs4n\nAD9GY/SYmv8HPkrSS5nIHchdNjwVaaweUiIbB7Pby91vRljgS/j8Qs9b4d1YN1zO\nHe9qkLJcYrdYc6LfcZk8viefXR+vbR6kJol85pNynMipDNHh7j5bgM2dsUay32F6\nIUj6rqdBF08Sy5YFqCOgZv8TOpmv2Pa+eRRE2S4MuDTgNhZtI0hpZV3kmIy7uG5S\nMwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Days spent on open source maintaining projects like #jsonschema, #neovim support for the Lean theorem prover, and various other OSS projects.

Nights (& more days) spent travelling, music-ing, photog-ing, #coffee-ing, #chess-ing & learning.

he/him

","updated":"2025-07-31 07:43:04.766Z","user":"","username":"Julian Berman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:23:20.056Z","domain":"mastodon.online","followerCount":617,"followers":"https://mastodon.online/users/nomeata/followers","following":"https://mastodon.online/users/nomeata/following","followingCount":88,"icon":"https://files.mastodon.online/accounts/avatars/109/280/580/241/074/001/original/ad7d0dde3212b334.jpg","id":"30vryr0cvwwo30k","inbox":"https://mastodon.online/users/nomeata/inbox","iri":"https://mastodon.online/users/nomeata","isLocal":false,"last_fetched":"2025-07-31 07:43:04.842Z","outbox":"https://mastodon.online/users/nomeata/outbox","preferred_username":"nomeata","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4RDqwi1dhYGjohNSWIN9\nlt8IqKFrgmZnJvJ31zXN5BTIJNnRtbJXuOW4nXwv4/+e87RTBYXSzt8VfhVj7qgT\ndYmIy/r33E0u6QdZbT5Cp1/5gSWXVbvDCrspdH9l0NJNkbmufxXbgC/WbiQf2m2h\nexGl/A1LJCb9PmDxW6NS2SXF7PcOEWr/OM9inBRsQu261MjgnQjzb/ul0mZq0OTM\n6K6YemkJSvnYfF+ffJghzBglwUqB3TQrCXqtauZhNNKJCNQm7H8Y6ckMRNZZUwSt\nYXx4r8/a5f2NuO19Jw7GZKQim5JPFTbvoZiOFwHJaQ3R5NXOd0ROhbC6l+nXbD/E\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Has a thing for abstraction.
Haskeller, Computer Scientist.
Dances tango, swing and blues.
Stand-up comedian and Paraglider.

","updated":"2025-07-31 07:43:04.843Z","user":"","username":"Joachim Breitner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:44:43.109Z","domain":"functional.cafe","followerCount":613,"followers":"https://functional.cafe/users/kha/followers","following":"https://functional.cafe/users/kha/following","followingCount":173,"icon":"https://files.functional.cafe/accounts/avatars/109/664/180/140/228/769/original/47bc0e69d6f0e5d6.png","id":"37es0e77951l391","inbox":"https://functional.cafe/users/kha/inbox","iri":"https://functional.cafe/users/kha","isLocal":false,"last_fetched":"2025-07-31 07:43:04.904Z","outbox":"https://functional.cafe/users/kha/outbox","preferred_username":"kha","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4JUUAZ0qgKQOXkSE4O0\nsV6QBaKlww6Sy/AotxRic5ys+s5dZ+k+1HJuKMHzhJcX0MgB2d9SvvTMyZU5kHjL\n728HFmx4JK/pK15epZrh0VC9nv/qHG+j5HZeeslBn9oQ5/6/I02RbaJVes9zLZ/v\nNhziBdCTqKGxOND15sCLOj1t4t5LB1yY7iylHcnWhkEB7Hwk9cLpr5vudaxVlgY0\n6Zp6nWMPJQpltl8gWRm/smt5O1Gi6cltwqU8Mvw2CWyzc42spbHc78cQvJX6AYjJ\nX4WIVzJbuOx/MvwX1LIFzmhfi402xaCOiicR4pDcoH72s19yewgdSzk+RPSaEEaX\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-10 00:00:00.000Z","summary":"

makes Lean at Lean FRO

Munich, Germany

","updated":"2025-07-31 07:43:04.904Z","user":"","username":"Sebastian Ullrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:24:08.050Z","domain":"aoir.social","followerCount":956,"followers":"https://aoir.social/users/fenwick/followers","following":"https://aoir.social/users/fenwick/following","followingCount":554,"icon":"https://cdn.masto.host/aoirsocial/accounts/avatars/111/745/059/212/469/862/original/178f7e305a15654d.png","id":"13qi39hwdo0r8b4","inbox":"https://aoir.social/users/fenwick/inbox","iri":"https://aoir.social/users/fenwick","isLocal":false,"last_fetched":"2025-07-31 07:43:05.002Z","outbox":"https://aoir.social/users/fenwick/outbox","preferred_username":"fenwick","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtEJJcejRhoKbIcZlu7mq\n/EhyfICm8mK2wVod6asBrVfpkTvPMvxJZsRhDH/Vlts945+MnkjyAIc9v09fiV6d\nrrasuZTcQiFtaHwCTIgxLMV/rcAV6DYWxOdXzs9f0TsWmIw990WObw2K/E+gR54t\n/L7rRPSPJV2kCL7G+zAuzMvktHagkBYDOApZck927zdP/Hdxggkz0Ky4YynmoWry\nRtkLx9k+vG4ftZoeXzAVuFjWmcFn3CE0PxuS54sEyo4gevbAMTlO0oFYMsV8fcPQ\n2jTdwwnKUllNE8tkw2zY8ujKTvV99joVa+/NsbfuFo2PYwwGEr7E2/A98vMKbQ3z\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-12 00:00:00.000Z","summary":"

(He/him)
Tiohtiá:ke/Montreal

Author of Internet Daemons (U. Minnesota Press), Associate Professor at @Concordia University. Co-director of Concordia's Applied AI Institute @AI2 & member of Milieux's Machine Agencies @machineagencies.

","updated":"2025-07-31 07:43:05.003Z","user":"","username":"Fenwick McKelvey"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 07:43:05.084Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/fenwick/followers","following":"https://mastodon.social/users/fenwick/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/015/662/original/86e1bcbd208b7b9d.png","id":"6b0k96kts017j74","inbox":"https://mastodon.social/users/fenwick/inbox","iri":"https://mastodon.social/users/fenwick","isLocal":false,"last_fetched":"2025-07-31 07:43:05.084Z","outbox":"https://mastodon.social/users/fenwick/outbox","preferred_username":"fenwick","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwt8vL9Rbb2tfkcJxJhHk\nbV5Sz4KVW/UOGW/O5Gm69mXS9lYuAikixVq3dHG3Kn5EH93ScB+FJ/Cjy9HEN1Cl\nHqmJ2UyJUNYEjTusNOms/68fj0uQ35brsEcBCNobpg5zMddhmd1a+Yi5ReJymlxG\nP3ODdoPEXHY1Vr1ZGN6MKytlMNs1eezdJJKKhBU/2B/UvccnY3Yug6CoTVMiuydk\nPlYuQNMU2ZHHLQHVkf2qG+/H92iyNJio8WwqIlv5Yb75n47bn3zMONgE6hG9/vaZ\nF/p7+g+rriAF/gvrTERHf9mG+Gv8HE+YZuECjBrc9MPduABYV8aWyCv/X0MT+Pof\nnwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2016-11-26 00:00:00.000Z","summary":"

(He/him)
Tiohtiá:ke/Montreal

Author of Internet Daemons (U. Minnesota Press), Associate Professor at @concordia University. Co-director of Concordia's Applied AI Institute @AI2 & member of Milieux's Machine Agencies @machineagencies.

","updated":"2025-07-31 07:43:05.084Z","user":"","username":"Fenwick McKelvey"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

Ashley Blacquiere

Followers