{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-29 03:53:32.234Z","domain":"mathstodon.xyz","followerCount":81,"followers":"https://mathstodon.xyz/users/LawrPaulson/followers","following":"https://mathstodon.xyz/users/LawrPaulson/following","followingCount":14,"icon":"","id":"jiphpzvg8ua7hx6","inbox":"https://mathstodon.xyz/users/LawrPaulson/inbox","iri":"https://mathstodon.xyz/users/LawrPaulson","isLocal":false,"last_fetched":"2025-10-09 06:16:07.481Z","outbox":"https://mathstodon.xyz/users/LawrPaulson/outbox","preferred_username":"LawrPaulson","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwRAhbZkawacSNW0l3yjF\nIM+wdeyeImE3r4Al3SEw4cHZ+BsW25kfWxS83fJNCU0FpRGU+vD4O3BY2oFbZbd9\n2hbLCrbikwFD5+MRQpGKGjoruQ4BHGR0Et0qAr5yJVm4e6wSsH8U/Dg70Up9dp0a\nlTMzPqyL7w3UDXeXHq26L2KxYt61GHrCN/Ur1Y3ERZpzfjExU5SOd28DsJIyu+ag\nfCZY7Unb38KHaOcZIvsx9IouRpGsmcXz/FX8NAh0lHGJzbMqZQR1UQWbwSCqZFxz\nEzXoXp/7t9WMTAmvOvSlLGFhTGfjCAhQrR0TKDFIIogWyzl9fCbl4rGZbaaQm8sZ\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-05 00:00:00.000Z","summary":"","updated":"2025-10-09 06:16:07.481Z","user":"","username":"Lawrence Paulson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 04:48:29.642Z","domain":"mastodon.social","followerCount":150,"followers":"https://mastodon.social/users/dblp/followers","following":"https://mastodon.social/users/dblp/following","followingCount":23,"icon":"https://files.mastodon.social/accounts/avatars/110/887/119/354/909/952/original/843e6a1b125f8dd6.png","id":"7jxjs89q91x4zhq","inbox":"https://mastodon.social/users/dblp/inbox","iri":"https://mastodon.social/users/dblp","isLocal":false,"last_fetched":"2025-10-09 06:16:08.180Z","outbox":"https://mastodon.social/users/dblp/outbox","preferred_username":"dblp","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAouT85isf3SaK5lRoQkmG\nthkzq92rWhSR/W3ZiYY2m0d7dW1jQwh0mUsqGCixa8bwZn654/FDB28ohjijTyBU\nQy0+H+disGdQHOnCXb9rFhf+vXmcrF3I4WRuhIcVRx+bl10tg/FPbnurTk7radDs\nnflSW4966HuUGAvOGrgLDLbQt/J5LTe9a7mU6CCkreXvwt9K3rHBGWtAIXRC+K2N\neE7NBsJljAcNPFSIvnC/ZP4WNKLmpQzWiJBIe1BgQfINz4xWFWJpD+rN5xM7T+gi\n/WqmfzzLU5tBFiZ7Fvf3bhKrHaL2kj8nhmUckz5tNBhLkiYbJ3G4FYPUsN4mQ1ZH\ntwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-14 00:00:00.000Z","summary":"

#dblp computer science bibliography
Schloss #Dagstuhl LZI
* Marcel R. Ackermann ~MRA
* Florian Reitz ~FR
* Michael Ley ~ML

#computerscience #research
#opendata #knowledgegraph

We are (now) also on Bluesky: https://bsky.app/profile/dblp.org

","updated":"2025-10-09 06:16:08.180Z","user":"","username":"дблп - ☮ Stop the war!"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-09 15:48:09.234Z","domain":"mastodon.acm.org","followerCount":31,"followers":"https://mastodon.acm.org/users/cp_conf/followers","following":"https://mastodon.acm.org/users/cp_conf/following","followingCount":39,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/540/459/580/876/627/original/8b0747f6e92f4e5b.png","id":"b61616oo98x0r62","inbox":"https://mastodon.acm.org/users/cp_conf/inbox","iri":"https://mastodon.acm.org/users/cp_conf","isLocal":false,"last_fetched":"2025-10-09 06:16:08.713Z","outbox":"https://mastodon.acm.org/users/cp_conf/outbox","preferred_username":"cp_conf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0bzF/QgNIONDkSLlsU+l\njkFFhUA/mJu2Ajz00aJJKrPGzfKnV3HnoT0HHY6ZFbM96LEPnWuoqac1IsxaR5fo\n3tpr1b7Z1RUpxQv5hPfTDLVbNTctsYG0VyeqfPxRqfGCIUpqMG7JZWkvNtWR4+RZ\nOzxQYmT2Bsnp1PZ2UMBJnjxe82atO3HaUn+8pXcJ2XqWTvyd7hCdc5Dy2iMUIXD1\n5e27UiA4U3q9SmfSYqkQJuzUiXo92BanluiUBqJGX9bqP4hemUaLDx2zzepYqdal\nQOkNcXWPz5jkN5XrmZ6TM39SxiZ514nbgUga+oiXHRAWM/rIVJo7kwV3oJt0rRY8\nEwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-07 00:00:00.000Z","summary":"

30th International Conference on Principles and Practice of Constraint Programming

September 2-6, 2024, Girona, Catalona

","updated":"2025-10-09 06:16:08.714Z","user":"","username":"CP2024"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 14:18:01.899Z","domain":"mathstodon.xyz","followerCount":1006,"followers":"https://mathstodon.xyz/users/xenaproject/followers","following":"https://mathstodon.xyz/users/xenaproject/following","followingCount":5,"icon":"","id":"iw7qab21ab6ff19","inbox":"https://mathstodon.xyz/users/xenaproject/inbox","iri":"https://mathstodon.xyz/users/xenaproject","isLocal":false,"last_fetched":"2025-10-09 06:16:08.990Z","outbox":"https://mathstodon.xyz/users/xenaproject/outbox","preferred_username":"xenaproject","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3vEz1vG/S4nmaHEDRAj5\nxrOnjS62RYb7L2m6wLh+TxRKee0LySGhyvKCZmzkxZrZ4IioR3td5/8Dtp9hk/+n\noKe71NtagnnE1oFscWjpNor4o2XgPRGuSaSt+K+WB02qw5uK3L8DYlXb7lY2QTmr\ngMNxq+rYGRVSHKkycnWS36c2cpXD88/LVz7XV6AjPxmyHpSc7avWZXvhAyo7dQ6U\nANft+2BUyo9l3a4C+Astja9yz3IoNy/Ixq/C4mEvaxBhJGqtByViM4agFbjXhjvt\n3VOHvwcI9gn38nHVgn83IMJLR9fBRzapWzAzff8G6loKrSqRHXn1s4MLvvPgMoQh\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"

Mathematician at Imperial College in London. Interested in number theory and theorem provers.

","updated":"2025-10-09 06:16:08.990Z","user":"","username":"Kevin Buzzard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 05:30:14.916Z","domain":"functional.cafe","followerCount":824,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"6ru2q4s157539ap","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-10-09 05:01:09.358Z","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-10-09 05:01:09.358Z","user":"","username":"Lean"}],"page":1,"perPage":10,"totalItems":42,"totalPages":5}

José F. Morales

Following