{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 00:12:51.571Z","domain":"manganiello.online","followerCount":0,"followers":"https://manganiello.online/users/fabio/followers","following":"https://manganiello.online/users/fabio/following","followingCount":0,"icon":"https://static.manganiello.online/manganiello-social-media/ba94dc4902d23d48625a1f073f3bd62b62a0adf70b0a24dbb3618a7e7e69390a.png","id":"45u6sz061ur5mge","inbox":"https://manganiello.online/users/fabio/inbox","iri":"https://manganiello.online/users/fabio","isLocal":false,"last_fetched":"2025-10-10 03:34:52.520Z","outbox":"https://manganiello.online/users/fabio/outbox","preferred_username":"fabio","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2VbeixezuCK+LWDNy4mR\ns2xjVYq6UBJByJ6eH9udNLMCL/4qoX5Cdj1ZjYf2tNpm2E76NcDu1N+Pc6elxQ6T\nLqltVzL+KzVdTleGwl8qUcF2A7OhSrxgmZXNR/oNAIZ+umx7b+Wa7dmk6pGu2Ji0\niRmZ3IiGFpygU5YNnalwoJM1W2maArYji+3l7qEUzQI96L0WEezETDyI+jQO8xMB\nOY5/2z/IV0HODdqd9Gi7nGBsEIoWtrD6mu4qaX+nO/0ZFiZBxTvuXbdxDyo7vB0B\nfSibdSZeI7/hZ1ud69268/ooPc1Lqor5GmVR2tSFprInpJULq7IAgZdBRPvQrUzP\nMQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":":platypush: Creator and #developer @ platypush.tech
:booking: Senior #software engineer @ booking.com
⚙ #Automation addict
🤖 #AI (ethical) builder
🔓 #FOSS hardcore contributor
:arch: Prone to unsolicited "btw I use #Arch" statements
🏡 #SelfHost all #tech!
🔬 Open #science and open #data advocate
🎶 #Music geek
🎸 #Guitarist + occasional composer
🛹️ #Skater
🏄 #Surfer
👪 #Dad of a small geek
⭐ (Allegedly) pragmatic #socialist
🔎 #searchable
🇮🇹 ⇒ 🇳🇱","updated":"2025-10-10 03:34:52.521Z","user":"","username":"Fabio Manganiello"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 04:10:22.803Z","domain":"tilde.zone","followerCount":45,"followers":"https://tilde.zone/users/mwt/followers","following":"https://tilde.zone/users/mwt/following","followingCount":54,"icon":"https://media.tilde.zone/accounts/avatars/107/946/664/064/695/590/original/db0a69e36c23a769.jpg","id":"5u26u9znvnq84u0","inbox":"https://tilde.zone/users/mwt/inbox","iri":"https://tilde.zone/users/mwt","isLocal":false,"last_fetched":"2025-10-03 18:38:01.596Z","outbox":"https://tilde.zone/users/mwt/outbox","preferred_username":"mwt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1qOTD2Hc+oo2Y6pHRDuK\nHleaMKwA/PUlsLMBugnv+PdEe2Tse4XcP6QTB2eIHoXyYYEhYt1GQH6n1QwEjN//\nsKEstc0ay72psL+VarY6XX/zZD5FB1L4ANMZYXXTxiefsMkuGK61QHpA92FEtEOx\nY9s9/xkWOaQheqBa7oaYeOU2zV0N13/vThRWTCrhVpbfkkPbfBnGmnzh+p2PseQw\nO+tH1TbahQe0kGZpl+p/gcKge6kkcmDhB0HtC1xlahcHRruw7v1QoKIwLWyCQdb1\n0sb84Fsxwf1q9gIh7FMOdJNHkcbdGADhjo2HrORXYV+cK4U8wo9WPfByZWf9Ck8e\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-03-13 00:00:00.000Z","summary":"","updated":"2025-10-03 18:38:01.596Z","user":"","username":"~mwt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 13:43:06.268Z","domain":"mathstodon.xyz","followerCount":13,"followers":"https://mathstodon.xyz/users/optimistavf/followers","following":"https://mathstodon.xyz/users/optimistavf/following","followingCount":19,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/351/080/669/360/475/original/08950882d8e7effb.jpg","id":"r9zl79npjy3e46b","inbox":"https://mathstodon.xyz/users/optimistavf/inbox","iri":"https://mathstodon.xyz/users/optimistavf","isLocal":false,"last_fetched":"2025-10-10 03:44:29.583Z","outbox":"https://mathstodon.xyz/users/optimistavf/outbox","preferred_username":"optimistavf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAy/pYRhPe4Yqdll/4WFJ/\n1WXO/4mBM1p+fbeTYU3gBZsglwPHWuAQesXHOxf42gh5cki/zESSUYaDRxcCu86i\nUr42yIqe0MMGaFWBapVMJCteuYtZVXu7hzHpDozSYjOkdHqILD6sSrfZFmF62D00\nAkqE6/Dfq4lbMJyO2SUIO7gejIJWAmi5lLiZkAq6LuytYXH1keIicvdLyN9M7eQB\npnNQnDYJfRJx4vS7DrAUKTIlBft2papU3A+kKpfWsLIOjGDi/Dg77/7J5o1wdlwv\nmtgwtGgmd3/6LAdtZFI5PHm7/KPR5iI6kLDU3AwbR8DRFkCCdcjJfCHXCr2eQQEc\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-28 00:00:00.000Z","summary":"

spatial writing saves us cognitive energy and time when communicating complexity

• MSc. Thesis (20/20): Designing a Non-linear Storytelling Platform
• Winner of This is APPStation Startup Competition
• Supported by & Part of Exosphere Network

","updated":"2025-10-10 03:44:29.583Z","user":"","username":"Viktor Futó"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 21:36:23.695Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jacobneu/followers","following":"https://mathstodon.xyz/users/jacobneu/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/953/800/739/556/319/original/09203b74c7711cad.jpeg","id":"931gm0yay0zk455","inbox":"https://mathstodon.xyz/users/jacobneu/inbox","iri":"https://mathstodon.xyz/users/jacobneu","isLocal":false,"last_fetched":"2025-10-10 03:44:29.617Z","outbox":"https://mathstodon.xyz/users/jacobneu/outbox","preferred_username":"jacobneu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApNZVtuclurHmTVKQGWco\ngaT8krPZ40HIcmfdcjKu5Je4ioiTuReor2JVroqJGoq1TpSblUAMb/ht3wx2eG3a\nkXj7y2XnYsf4QCVG3d6dvY0TqQ48zSu+2mVDwzuC6m97xCLLpetXO15CRlsA1xxf\nO3tgr/C9Q52Q6MArx3MHpuCEe6cvOYcXm894DoVBUZDkAPuCsYZXEjp8ijlcXbdG\n/gDEsXdpNQh5EseURpImcOeypeZnP6xDWLEYk2oI30tX4hB5Q44yHEktVNwXqbPq\nhvgg4lZfhXXtvu66MNyeuvEGDzqKXXaTgSo8k3fFHT+02jTqNietVDFa8jK7W5wu\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-18 00:00:00.000Z","summary":"

Ríkjafræðingur og gerðafræðingur at Reykjavik University
Previously a PhD student at Uni of Nottingham
Lover of bright colors and spicy foods
Has been known to sporadically create content

","updated":"2025-10-10 03:44:29.617Z","user":"","username":"Jacob Neumann"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-10 03:44:29.662Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ltchen/followers","following":"https://mathstodon.xyz/users/ltchen/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/290/750/881/240/038/original/0e48c0d475d4adff.jpeg","id":"8bp0495xwusi3wv","inbox":"https://mathstodon.xyz/users/ltchen/inbox","iri":"https://mathstodon.xyz/users/ltchen","isLocal":false,"last_fetched":"2025-10-10 03:44:29.661Z","outbox":"https://mathstodon.xyz/users/ltchen/outbox","preferred_username":"ltchen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9IdnG1AOuYGq3Us+LDhV\nTXJHx7y+EwOuYDbCLIKiPjACWOBS/8qBj1QgiwyEYu2wlsqS+6zhUn4Z5I6TqMdd\nU9k2OFOUIn1IKEsDAj4HCv9fH4ZF5nMEUm6whTvGFe85UIiQ28IJH/B/Dua6pCKq\nLijQsuJM49QICpN343K4iuyTmkWPOv3xPaBosof+cQpYupP5tmUTzXy9SmgriO9h\nYQGxt3RBqixjS65kMOjhfRS8fAX7wywSxngRZ1+j4ZeQeFO6/Tb3wUeh1662b/XW\nkUyrFw4cN51+FQp2owrvdkhctUK61OoQT42HFMLUPpkFhikzBtSUeQ7fk1vOiUmG\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"","updated":"2025-10-10 03:44:29.662Z","user":"","username":"Liang-Ting Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 07:37:18.680Z","domain":"mastodon.social","followerCount":187,"followers":"https://mastodon.social/users/spitters/followers","following":"https://mastodon.social/users/spitters/following","followingCount":119,"icon":"https://files.mastodon.social/accounts/avatars/000/824/964/original/4c3355cd1170fcef.jpg","id":"3j29o54d38opba0","inbox":"https://mastodon.social/users/spitters/inbox","iri":"https://mastodon.social/users/spitters","isLocal":false,"last_fetched":"2025-10-10 03:44:29.917Z","outbox":"https://mastodon.social/users/spitters/outbox","preferred_username":"spitters","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz44SqbBD2AqI1LZID0Qm\nyktjAEawYFbpwPL86tfF15o51yJ9rVER0eAHb5bH+GWEbI5YlnkzuJ+LmNGRwn2N\ne1SiG4e4TfmG4jbUhPUPDq1NpilulIv6ffP3YaArAk/hKMycbGcM0uMEToH2G2zd\ndooAzk0gUrYaZPQVH5pgeRZeRzXwp/HS4K+kC1wdgHr+B3D5Y4N2BPWDbcqyQxoV\nAPAW4lOhZeGaShNGFfSazzIIt9NHfwx7nNYIXzQOoB7pt9qWs7pR3Hc1e5aWZCCD\nMimw+J6ioFvx3tK+hLXQqRCEV66K71Ej+tH8ObTsxdSxj02wuCVpaM/MMSESbC1V\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-06-01 00:00:00.000Z","summary":"

https://www.cs.au.dk/~spitters/
https://twitter.com/BasspittersBs

","updated":"2025-10-10 03:44:29.918Z","user":"","username":"Bas Spitters"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-10 03:44:29.978Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/BirkedalLars/followers","following":"https://mathstodon.xyz/users/BirkedalLars/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/389/472/104/164/859/original/d1c9778494b6de37.jpg","id":"0sjl4r2xea04740","inbox":"https://mathstodon.xyz/users/BirkedalLars/inbox","iri":"https://mathstodon.xyz/users/BirkedalLars","isLocal":false,"last_fetched":"2025-10-10 03:44:29.978Z","outbox":"https://mathstodon.xyz/users/BirkedalLars/outbox","preferred_username":"BirkedalLars","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0RSJyGpOhcUh2d3yQmC0\nhr88Rw0iKoNxDqSI3LHM5cEUxIsX7FpCg14O+k/0T9g6stm9ccw+sErSFJdafvd7\n/LODpt1chiDkRT4LhhBtim/3LZZGTKo1KeglkK+S8UUFdJbdMUsOLbu7uyr9nqJL\n1u2iswx5VwdQ+NvKwsN+v1z5wsPx6YAqv0q2zw/+J27vF1qewlS4eP73KkidTaCE\nVf3VhYsFfgvhpSwIw8A1yORAEUD0vkcSBFDrOdRAXaq5+5k0ugsjDyfQxwDLouFI\nMUzpQZJGf+ynq/YF9BMiZeFIk/2P0JHQXPz32VYg/NsED7AmiN/zskI8IMtw6QeB\nHQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-22 00:00:00.000Z","summary":"

Professor at Dept. of Computer Science, Aarhus University

","updated":"2025-10-10 03:44:29.978Z","user":"","username":"Lars Birkedal"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 03:02:45.556Z","domain":"mathstodon.xyz","followerCount":686,"followers":"https://mathstodon.xyz/users/zanzi/followers","following":"https://mathstodon.xyz/users/zanzi/following","followingCount":193,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/155/887/622/527/original/780575cab98b0ce9.jpeg","id":"q39e73jwqndg204","inbox":"https://mathstodon.xyz/users/zanzi/inbox","iri":"https://mathstodon.xyz/users/zanzi","isLocal":false,"last_fetched":"2025-10-10 03:44:30.003Z","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-10-10 03:44:30.003Z","user":"","username":"Zanzi @ Monoidal Cafe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 18:11:27.090Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/ToucanIan/followers","following":"https://mathstodon.xyz/users/ToucanIan/following","followingCount":70,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/313/803/364/116/583/original/5121d02fb18287b0.png","id":"758qa4z6w5hm1s1","inbox":"https://mathstodon.xyz/users/ToucanIan/inbox","iri":"https://mathstodon.xyz/users/ToucanIan","isLocal":false,"last_fetched":"2025-10-10 03:44:30.049Z","outbox":"https://mathstodon.xyz/users/ToucanIan/outbox","preferred_username":"ToucanIan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3geccA/r/xpd8stcExc7\nFASDdOXegGHCG8SWatzv0zl60Hi0T2zqVQc7KtL6t5W5q1v2LiAuKaaVZVKAME9n\nCG5f8NnYnDIAbs2l8qGuXxs5ZVBWqusQluyWnEKWBkFZlNVtdnlXuCRfICZ2pBd/\nZHlP2z+7aYKbVQ3IIJogZ7Cbuj0+aq4qI7Hi5qlRsPUfc4le38xIGmEw3yRpy70V\nonBf292/e16fORBuMyWO7zy40hoJZcL/8kHePlkJy09vxFA1iyG7y9AMsZbczB0O\nMGW3zSpxR/1SJbpXVukGYIQAdMu1qoeWRO/mvlIr5uEUtQ23O3TlpmdZsJDw58ds\nyQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"","updated":"2025-10-10 03:44:30.049Z","user":"","username":"ToucanIan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 04:29:06.860Z","domain":"mathstodon.xyz","followerCount":217,"followers":"https://mathstodon.xyz/users/carloangiuli/followers","following":"https://mathstodon.xyz/users/carloangiuli/following","followingCount":88,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/283/570/352/770/474/original/d98c2d8c0c85c0ac.jpg","id":"41qv8ym17wkua6z","inbox":"https://mathstodon.xyz/users/carloangiuli/inbox","iri":"https://mathstodon.xyz/users/carloangiuli","isLocal":false,"last_fetched":"2025-10-10 02:31:08.051Z","outbox":"https://mathstodon.xyz/users/carloangiuli/outbox","preferred_username":"carloangiuli","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvouu2b1f0FLetuevYvL2\ngmIWjHQCU6JyMKnr+L6gSauW/p7YQMUa9FO6v1rz94hdOvBE0dSwECDWSdMKlhsy\nRYRJJNm9fLZHp5oP4tIBlQwlgHQcyeTHu84IyLRKftAxb6mOwC5FSaDvwkJ7G05w\nHTb0TYZuqMoxkh1L1ppVq8/Gs0ZL5H3u5clOQn6IyWOCUUvDutO+6+AEDyt3zgzn\n9giwiCqqlDReG+3KiCq5PAv7yDNsrSkn9S2vG7crxJVpI1MgsWwproM0xGA3GWKj\nGDXjzmRLMqJO0V86hHzUDGbrifzMHR/ib/LYmdoJGDavPfCdD8hVeuvdfWPDdtxV\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-10 00:00:00.000Z","summary":"

Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.

","updated":"2025-10-10 02:31:08.051Z","user":"","username":"Carlo Angiuli"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 05:25:03.368Z","domain":"mathstodon.xyz","followerCount":510,"followers":"https://mathstodon.xyz/users/danielgratzer/followers","following":"https://mathstodon.xyz/users/danielgratzer/following","followingCount":168,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/347/460/237/678/866/original/fe1b63e2b580975b.jpg","id":"340uo1i9ee3mwp9","inbox":"https://mathstodon.xyz/users/danielgratzer/inbox","iri":"https://mathstodon.xyz/users/danielgratzer","isLocal":false,"last_fetched":"2025-10-10 03:44:30.089Z","outbox":"https://mathstodon.xyz/users/danielgratzer/outbox","preferred_username":"danielgratzer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtoCR+Cf9KOXg93ijIjse\n9Lx0S9ArGsljMyDe+ovl/zmbUIF248uGiXMfSUHCDkbqYUklge84qqUX/TinIVI9\nbziw5lWZAVcxmb9n68Li/JKv+N6hbuqOIF6Kjg119M8NXijYTlIkVckyszl2sOEp\nBmcqVvjNBF12LvulCGaXQRbUaRKD988sJREnSDDFPACG1nHa/A3WhMuJ7Lb2RJiv\n9xmQV575mGkjHPVOqtxUwmnRdXrNFzq4ZNZTtoFg35p3SdXZGqfPQDA2fm7MXfHf\ntZWQoFdAsDApp5LG9n2KqANKxMNiJHJtK78QIEOddKr8vkoV2lGx0Rj7Xi0Sh75o\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️‍🌈

","updated":"2025-10-10 03:44:30.089Z","user":"","username":"daniel gratzer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 23:12:35.341Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/egbertrijke/followers","following":"https://mathstodon.xyz/users/egbertrijke/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/861/594/572/249/original/49459bada3e6aa54.png","id":"01u10feyn0j0a6q","inbox":"https://mathstodon.xyz/users/egbertrijke/inbox","iri":"https://mathstodon.xyz/users/egbertrijke","isLocal":false,"last_fetched":"2025-10-10 03:44:30.116Z","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-10-10 03:44:30.116Z","user":"","username":"Egbert Rijke"}],"page":1,"perPage":10,"totalItems":566,"totalPages":57}

Marcel Fröhlich

Following