{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 10:52:33.268Z","domain":"mastodon.ie","followerCount":0,"followers":"https://mastodon.ie/users/luke/followers","following":"https://mastodon.ie/users/luke/following","followingCount":0,"icon":"https://cdn.masto.host/mastodonie/accounts/avatars/108/140/835/723/648/557/original/2606781cfc0e2297.png","id":"8sca96zgdyljdr3","inbox":"https://mastodon.ie/users/luke/inbox","iri":"https://mastodon.ie/users/luke","isLocal":false,"last_fetched":"2025-12-21 10:52:33.267Z","outbox":"https://mastodon.ie/users/luke/outbox","preferred_username":"luke","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqTNhgri9TKBWYyem5wPW\n9RTtquxHSzbEiZ1/yYV2L3UB2o6Wehigos9iX2O6nLAmxk341EkhehVe6REevqY+\nmi/6dmKV8cuyymJE18MULuOKgmWjflwzM+e7rr1QlJC3ZjShpLIwDn51Au1X1Jzm\n5Ui+VdfjQblhEVYidMVvzqfaqlJ7BJ2m9sVopapGm5bMil+XgwfJggLX7Dwz15Gw\njUyFx6VyK/DAYBi6cYc7apTV5BSZxW49y3ygd2rHL6c0bm2xQIHz/DZ+JfLiSFr4\nsbLJDZOiDA6mRPXrEQzl2GQ02UHEVWhbpO6i1vB4DpDlk/JAY8kohTbH5zOKPi5G\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-16 00:00:00.000Z","summary":"

","updated":"2025-12-21 10:52:33.268Z","user":"","username":"Luke Lau"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-22 17:31:13.140Z","domain":"discuss.systems","followerCount":419,"followers":"https://discuss.systems/users/lorisdanto/followers","following":"https://discuss.systems/users/lorisdanto/following","followingCount":227,"icon":"https://fd.discuss.systems/accounts/avatars/109/544/195/732/143/926/original/65134d95fe27b78f.jpg","id":"k7mr217udvrq6j3","inbox":"https://discuss.systems/users/lorisdanto/inbox","iri":"https://discuss.systems/users/lorisdanto","isLocal":false,"last_fetched":"2025-12-21 10:52:33.571Z","outbox":"https://discuss.systems/users/lorisdanto/outbox","preferred_username":"lorisdanto","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoOEp4LwABiqYtLXwrsLS\n0hJp8BJUg2mF/c7VoR6RADWFiqnPkF/Z+3rkOdMf0tVjrK2Qw+BQ+Lrxoc8LcYFO\nsIAyg56+dgNlgzbIxllINPuERomTLLv2ESwEVqWmwQgY1ww4G9pv3t8r492YChYx\nf+f1F9+4kUz1CfVCQbQ3gVs9Al2UgmKaFtWfU01Sz+FJzhjTYIMOjfboApA/nOPS\nvRdO9o9ig1YdxZRGHfFtqVXX3pCZIWlI/C/sKktCODIDAMFUfyZoiGuK9xZ7NbNA\n/ljtT4M73yBUuhFSiRlrUMSqyYLtwGSGEW8qNvjBM5R2i8UawF0NCey9+KsBFLNR\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Professor @WisconsinCS & Visiting Academic
@AWScloud Programs programs that program other programs (i.e., program synthesis). He/Him.

","updated":"2025-12-21 10:52:33.571Z","user":"","username":"Loris D'Antoni"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 23:26:37.200Z","domain":"chaos.social","followerCount":31,"followers":"https://chaos.social/users/KonPet/followers","following":"https://chaos.social/users/KonPet/following","followingCount":71,"icon":"https://assets.chaos.social/accounts/avatars/111/416/781/638/024/969/original/a447f496016f39b7.png","id":"0iemsh6d0217z03","inbox":"https://chaos.social/users/KonPet/inbox","iri":"https://chaos.social/users/KonPet","isLocal":false,"last_fetched":"2025-12-21 10:52:33.594Z","outbox":"https://chaos.social/users/KonPet/outbox","preferred_username":"KonPet","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr1aYBPxGr8b5qdahYN9D\nGnYtSfMRpRsKR4HJGgmPofK10xdtwsNB5kHmkasKWvTfqnPHW4bnDfLs2l3fcR12\nIAshZJf/o+s34oa3ia4onjeuilbmEuFTfeIwj0T8apWSvK/xDDS9XBzPRSFN8GuC\nZElSNHsla5stAMUjETEoLRhUW1OyH437ztSUXVayz5u6njYl48NfmFti2U8HETDI\nm6t2e7JD8Enlaz70DmkYcaMKe3yUBOcffGheu+cJ6TIACfUdHqEwPECqmy3kjBAj\nt9zJqEccfiqU44WqV5M/KUSwFAaPy8JDbGCYUBzxE6tVW0mi8QIZ6kMoHXzkrPN1\n4wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-15 00:00:00.000Z","summary":"","updated":"2025-12-21 10:52:33.594Z","user":"","username":"KonPet"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 18:13:31.651Z","domain":"mastodon.online","followerCount":479,"followers":"https://mastodon.online/users/resistor/followers","following":"https://mastodon.online/users/resistor/following","followingCount":69,"icon":"https://files.mastodon.online/accounts/avatars/108/196/581/061/823/326/original/fa28ed070e150d75.jpeg","id":"u829h877zam1c02","inbox":"https://mastodon.online/users/resistor/inbox","iri":"https://mastodon.online/users/resistor","isLocal":false,"last_fetched":"2025-12-21 10:36:56.609Z","outbox":"https://mastodon.online/users/resistor/outbox","preferred_username":"resistor","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtx7kvoA6A+pos+V1k5JZ\nxOyvCYHQfgV6iquUnL16Z3Jx/wiLi4yE/dOMyoU4I8RqKUJB+ONR8iB+6waKIB3z\nhofaqtaMNsXkC5dMxmqzePe5Z8msau1edGC9mOXtVdPDMiT4cNK0cErevsDnBWM7\nA0KXPCoEQh7zyxqjo13I4MoDOSYYXKmV89c7/DkIBLcYMjj09PHahHeEMhMgmKQU\nHz0DAj/8GI2nkCks7FwAu2qCinD0BC76YpQ738v3mkhHAcM+NU8nygTCU9y0NpVi\n2EjDBc/MLHBFJ0DPgwvZ658gNygfoLyKo6Ub12QSSTH83oftMNTEI0HLcudLjbMZ\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

LLVM, compilers, architecture, low level computer stuff
Currently maintaining the CHERIoT toolchain at SCI Semi.

","updated":"2025-12-21 10:36:56.610Z","user":"","username":"Owen Anderson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 02:18:08.450Z","domain":"mastodon.social","followerCount":43,"followers":"https://mastodon.social/users/mshockwave/followers","following":"https://mastodon.social/users/mshockwave/following","followingCount":38,"icon":"https://files.mastodon.social/accounts/avatars/114/287/006/727/968/714/original/2c602a4328f652d8.png","id":"fs81onc8oiwz9hc","inbox":"https://mastodon.social/users/mshockwave/inbox","iri":"https://mastodon.social/users/mshockwave","isLocal":false,"last_fetched":"2025-12-21 10:52:34.078Z","outbox":"https://mastodon.social/users/mshockwave/outbox","preferred_username":"mshockwave","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtDFCHtqF06iD6LMz5a7J\nqCtNb00TXgDV+t5Qg7axQTGhYP+AcjOVQVEfozF2Ys9cDixGL06QqMJLMNENHzng\nm0VlINtu6VM/M3ZLQYB21CBZitPqmkiPNhV1+ceYyL6cxM9Of/g41YFrn9rdLgO6\nbP1Aae2FT+se+BvI20S9H/NertmTOHH6vEGmQytZC5gbyQsfDXoc6mPI3SQqIAxx\n/o2J9YBKkeTBC8xz/whY22QlTWibipYF0AZss0GgcV7yYlP1rq05n8iCbm3smtO/\n7Ha0EDUfHzzyqa3jytW5a6whbbq8GVifgr0vCQO8x7kymPGns/6J0I43mMXV/4JF\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-05 00:00:00.000Z","summary":"

LLVM Plumber @ SiFive

","updated":"2025-12-21 10:52:34.079Z","user":"","username":"Min Hsu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 10:52:34.189Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/kstatz12/followers","following":"https://discuss.systems/users/kstatz12/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/366/590/018/467/261/original/52423367a9352180.png","id":"nx2eru34923dp4x","inbox":"https://discuss.systems/users/kstatz12/inbox","iri":"https://discuss.systems/users/kstatz12","isLocal":false,"last_fetched":"2025-12-21 10:52:34.188Z","outbox":"https://discuss.systems/users/kstatz12/outbox","preferred_username":"kstatz12","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1mvMWA2OviLFFOOL3JtI\ns4Pl90X7hyk/0dwue/7ZEQtlV6AEXj355LSM9rXGSuIcB/kRy8AOJYLlY/mPH4Z+\nV1pbR75/5yzN3+eca6auwVxQsQSYM++oXoB2/48SGZ9c4qxsx74oBpwyl1pY3FZ0\nGcDvn9AFiVuXKA5h2//MHkQs8221knuxMHsafBMmyB1SC/t0rgy/gMSqzNBdapPG\nYfOVeb9XxoqjX103iEHjpe53qzkEjYu3ygVBas5X9Eqsn7cqlGWJ6qqQ9WRjknUC\nKPhVlJkOg1/6hv6wO7OM//fYDo9fjIF2292YeZNHc/tUhsLyneQ1zIU/rdxYTfq4\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

Pirate Academic,
software therapist,
Chicago, IL

I don't speak for my employer, or anyone really

","updated":"2025-12-21 10:52:34.189Z","user":"","username":"Karl Statz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-21 03:16:08.001Z","domain":"mathstodon.xyz","followerCount":157,"followers":"https://mathstodon.xyz/users/pamellies/followers","following":"https://mathstodon.xyz/users/pamellies/following","followingCount":272,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/370/566/098/707/004/original/643da199678c3b3f.jpg","id":"vccxk7w6jookwu2","inbox":"https://mathstodon.xyz/users/pamellies/inbox","iri":"https://mathstodon.xyz/users/pamellies","isLocal":false,"last_fetched":"2025-12-21 10:52:34.220Z","outbox":"https://mathstodon.xyz/users/pamellies/outbox","preferred_username":"pamellies","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvcZy0speejmR9rrrHFLj\nt6YRQigBiGTZImWIHOgi0ZNtgV9P50jcW2HVmcSvnof9pBWp8DWcBlt5uXcd8gpK\nmYhKYNMKGyMJWo/UfqYS6288i3TrPFILPVLS/jiv5rfN0dns8Ai8+xeWdb7htoch\nk7wVwzyXRtpfe8h8ChOisqQMDi9XTYIgE4WGg8EV1SBHZ0OSfhXa2CUMA1aACsYF\nRwltxvzNiwjgE/+TRhhBt9WxpjR/qzMmZq2X8W40PuwWKCE1YuBdPzp1bRU+8ERE\nZZ0xaAF3v8QGPEJJD3UwL8LXl2qmjv4iVVVKykrHfL76X2zNrp0Ppq5Jc2TPg3gj\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-25 00:00:00.000Z","summary":"

Logician and computer scientist at work

Mathematical logic, proof theory, game semantics, theory and practice of programming languages, computer architecture, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, operads.

#CNRS #INRIA #UPCité #ENSParis #IRIF #Picube #Malinca

","updated":"2025-12-21 10:52:34.220Z","user":"","username":"Paul-André Melliès"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 12:01:40.712Z","domain":"mastodon.social","followerCount":2383,"followers":"https://mastodon.social/users/pervognsen/followers","following":"https://mastodon.social/users/pervognsen/following","followingCount":352,"icon":"https://files.mastodon.social/accounts/avatars/000/523/512/original/f41d1d4bf379077f.png","id":"b43305g0dzls2m7","inbox":"https://mastodon.social/users/pervognsen/inbox","iri":"https://mastodon.social/users/pervognsen","isLocal":false,"last_fetched":"2025-12-21 10:52:34.295Z","outbox":"https://mastodon.social/users/pervognsen/outbox","preferred_username":"pervognsen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA088I6TgGFAm3F0ynPd+B\nOTi0lAVsnPs6S1h/WFSoPVG1WBfvc7ZyErQi98QdQeJYTquezcbgcSgcdIYUkYC2\nPLxUOGcepS7HCif9LkzU0Rpm4QCGhJBCzoOBzMA+EivZuJDXaNid/1j/Mrf/1PLK\nT+CZn1cKGUFTgHtn9hbeNyyr6XW2+nqMpc25eS+5hffsPl2tkYtX/FNdXatamYeu\nBubIA7SAfWuGb+hEvnYU+PrIaDwk9xYViCIxfBO8XlF5QmfrfOMGQi8uTNYYwN8v\nQhZ0ZRybgcKBrdavh9RVoHoiwpIqAxX14h6FOCvcXdRDqOVkXrui758tlZ3Mcc3d\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-09-11 00:00:00.000Z","summary":"

Performance, compilers, hardware, mathematics, computer science.

I've worked in or adjacent to the video game industry for most of my career.

","updated":"2025-12-21 10:52:34.295Z","user":"","username":"Per Vognsen"}],"page":1,"perPage":10,"totalItems":154,"totalPages":16}

Ramkumar Ramachandra

Following