{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-11 15:23:36.539Z","domain":"social.sigsoft.org","followerCount":0,"followers":"https://social.sigsoft.org/users/JonathanAldrich/followers","following":"https://social.sigsoft.org/users/JonathanAldrich/following","followingCount":0,"icon":"https://social.sigsoft.org/system/accounts/avatars/110/202/816/290/872/693/original/bc6c4fcffcc8fda4.jpg","id":"6bkl0apbmufpmts","inbox":"https://social.sigsoft.org/users/JonathanAldrich/inbox","iri":"https://social.sigsoft.org/users/JonathanAldrich","isLocal":false,"last_fetched":"2025-11-11 15:23:36.538Z","outbox":"https://social.sigsoft.org/users/JonathanAldrich/outbox","preferred_username":"JonathanAldrich","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyUXGpUTADFQxcwUXBo36\nOoGfaOelZ9dvZDzhr7GOgwddc8/Kgz0b5nQRwLt/TWP4qBJTADGln/zExeda0AP9\nYrn3DWtvzGr1W87gogP9umyd3ZSPXYtFjY3/eWImOasmDnC8f0w7HdnZyxXEUd1G\ngnd4hFhWxUGkpx9ftvtFz5A6CZ4dpEM8P82Y7quU8lIXFUD10genpXTu5wVY5Eou\noz+IhihAotUgaIZOejHr3eyc+SBNoRr769m1Chu5d+8PIreUnFLY84IT5at4eJ0u\nBIazgYZPsCX25Nml9nBPEcr5gpoqebEUe97/MQG3FvKsRJ/W0ollyajyo6k/fkE2\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-15 00:00:00.000Z","summary":"

Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board member. He/him. Views are mine.

","updated":"2025-11-11 15:23:36.539Z","user":"","username":"Jonathan Aldrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 20:00:50.154Z","domain":"mathstodon.xyz","followerCount":1627,"followers":"https://mathstodon.xyz/users/mc/followers","following":"https://mathstodon.xyz/users/mc/following","followingCount":178,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/289/048/original/b9cf149b7fa7c036.png","id":"gxncb9joasgoam8","inbox":"https://mathstodon.xyz/users/mc/inbox","iri":"https://mathstodon.xyz/users/mc","isLocal":false,"last_fetched":"2025-11-11 15:23:37.307Z","outbox":"https://mathstodon.xyz/users/mc/outbox","preferred_username":"mc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0GhhDKvjMZb8Z3OtJhKx\nwiiHC9JHijE4157quzAS8anZNLxY5bc8IB8ZlmELXU87lk+W4W7j3INTmqsGkR6E\nHibi5lj1HONrY9Beu8TQIkRTE2oIqRcC0CyhnDvwo4OyUgCHtgx3PGQf4jwXwTND\nhQOBkf0ZWTm4ymOPrLGOhT1vVUrC2C7dLuFgw1GbwOZabJEdS/A5Aqmrmv9hcygN\nC160uBEgsQs8M4VKnbk12P72AnZsfc+odcUKcoEtvw9krUgEoENwujUEmXl5dmp8\nQcYSOttaItobEWFFCS3j1NJuJIoYOWY/YQPAiyFrW6vrJ4ThjHhnuVf+L6LYTU+v\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

Mathematician (category theory for general systems theory & cybernetics), socialist, aspiring psycohistorian, meme enjoyer (shitpost is not endorsement).
Currently: ARIA double grantee, 🇮🇹 based, finishing my PhD @mspstrath
Custodian of CT Zulip, email me for an invite.

","updated":"2025-11-11 15:23:37.307Z","user":"","username":"Matteo Capucci"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 10:59:23.808Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/wingo/followers","following":"https://mastodon.social/users/wingo/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/030/108/original/f8b6d4f9df14ca94.JPG","id":"7d0q7kybj24tlq1","inbox":"https://mastodon.social/users/wingo/inbox","iri":"https://mastodon.social/users/wingo","isLocal":false,"last_fetched":"2025-11-11 15:23:37.435Z","outbox":"https://mastodon.social/users/wingo/outbox","preferred_username":"wingo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwepG/Z34TiE4Soer/tA9\nB+Ro1l0wHynCGPF1w4M0Q9Vle+hakwhf85ostWn945phs4Sz90jbRGEyKOJHVuPI\nTTc9oWG8SISKJqKaYL5mS1E65KGF8OUfTTtQYDwlWZsFAqdivsXPLnUEKmdXVaDh\nbkwvtTdm0jIMFHXt9wiDmd8cGt9WM9c3CNH5WzeOGFn/p2zbMcnLh1QA77jmQhFR\nNl5UmCRY9Cqy+1g80SNKyHtmgvLBL2wAIm8iiZky4CHxxf8sGFcolyD9NKfqirup\nL5ts5owLgvl05vWuw9RBBqmXufeQxk20+r+yx9/Or2Q9iVV7lZpUFbcqKcGrH8eE\nkwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-02 00:00:00.000Z","summary":"

https://wingolog.org | a work in progress | niche content | truthiness is couthiness

","updated":"2025-11-11 15:23:37.435Z","user":"","username":"Andy Wingo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 10:45:28.310Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/regehr/followers","following":"https://mastodon.social/users/regehr/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/147/970/original/8dd7e7e6a7ea9f95.png","id":"0h914xsgt99894e","inbox":"https://mastodon.social/users/regehr/inbox","iri":"https://mastodon.social/users/regehr","isLocal":false,"last_fetched":"2025-11-11 15:23:37.630Z","outbox":"https://mastodon.social/users/regehr/outbox","preferred_username":"regehr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqc9jRQbHfYqgDGWUXgk0\n2kPoy5LWnoA60e0nOFkK8YdlnO5XjkHPQENRBjeGg8MUjLsO+VpsyY7tFPYJ6Wp+\nqgIvawq6QZT5Aqk5Tj/DaeOe6xjF5vTcdptbgOiACekKA4jh3wq15CnoJrTRCWdh\n9R4y66RNF8fwcgYUBdqh3LxZfEeZEYd9zAGej5KdVnNOKt5dY/lN1OqSshnLfi9R\neHpHUwXC+N25TXUp8k+fzkwuHY2O0QUM+winQ8d43eOUNDmnTsIYCeH8LakaLozT\n+NgjJIjKkg6Mfk53qHQ/A53y1vJCbxbpjbJjKsQNep28fj5O/63op/hS5+yAXq4T\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-24 00:00:00.000Z","summary":"

he/him

","updated":"2025-11-11 15:23:37.630Z","user":"","username":"John Regehr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 14:18:48.613Z","domain":"mathstodon.xyz","followerCount":84,"followers":"https://mathstodon.xyz/users/heili/followers","following":"https://mathstodon.xyz/users/heili/following","followingCount":74,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/092/135/286/757/438/original/fd966f7b90b408a8.jpg","id":"h0u1rjzxe6a9coz","inbox":"https://mathstodon.xyz/users/heili/inbox","iri":"https://mathstodon.xyz/users/heili","isLocal":false,"last_fetched":"2025-11-11 15:23:37.913Z","outbox":"https://mathstodon.xyz/users/heili/outbox","preferred_username":"heili","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAh0ZAD+nm6S6lU/D3ZG6J\ncxHz/8gDntZtSD6hlLejdsMib093LEfHHeQdc0FGr1XNK2TKpdNOjI2tprbauBpC\nXPVJkT55ScDYlg1hovt9cnU7hA/DO/w3jkf9yfEItyn/7HK7wy7JcmGTfMTa85HH\nB4oF0gC4HoUSgiPE83qlx/O3IN3H8tfA/gMj0gLf/GQKra7j6oGnsBFKKftCQhjq\nzXr+6oKT/jjXJPSkekbdYZO5lLDE51THs0W4UaGPSXs5VL+Dk6oXbNRnLUgC4WM5\nTkacbhY0QeZ+B/7kDsY5ntku1PZ816EG8rKXKu2nRO9p8vcsQsAndGQ4STXb4nPq\nKQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-06 00:00:00.000Z","summary":"

PhD student at Aarhus Uni
Formal Verification/Probability/Concurrency
If I cant have love, I want power.

(Mostly non maths related posting)

","updated":"2025-11-11 15:23:37.913Z","user":"","username":"Hei Li"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 01:10:02.525Z","domain":"mathstodon.xyz","followerCount":75,"followers":"https://mathstodon.xyz/users/doenges/followers","following":"https://mathstodon.xyz/users/doenges/following","followingCount":84,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/296/220/355/449/997/original/c281179db7e5367b.jpg","id":"li7qjf786uajqj1","inbox":"https://mathstodon.xyz/users/doenges/inbox","iri":"https://mathstodon.xyz/users/doenges","isLocal":false,"last_fetched":"2025-11-11 15:23:37.946Z","outbox":"https://mathstodon.xyz/users/doenges/outbox","preferred_username":"doenges","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsTdlZ7rbP0GVmB+K/QVZ\neOK0Ho0dhY8dE9ydbkzxi2nUj5CWWpWBONdcD4mXry9xmoJy9vtvzIqV9EIx5HJO\nyp2GFHXFCz12vOiV8eRkGSY7hZ1lMrtUK6FopBVVAEGtcoaNFJ8aF43i4gvbNh3M\nb0FKYzZN7oxfqiY645BygsS7Z/JFP2ZnrGTrzwifhFiGwxbQU2eG1rs18K7cguqB\nvWhgVeOmxvYLX9N9sdOuQnWsfUPQbbv/WRNMBIhJiVC5gXS+XdPW/QfusM5i/vCm\nA6xWOkrbLzNoKZWAGgV1DThhHMFDLC1rnaNSinuBEzxl/lA9ZfI20y+2uxp9JQNO\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-12 00:00:00.000Z","summary":"

I am thinking about separation logic. Certified Melville head

","updated":"2025-11-11 15:23:37.946Z","user":"","username":"Ryan Doenges"}],"page":1,"perPage":10,"totalItems":61,"totalPages":7}

Chris Lam

Following