{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 23:46:00.203Z","domain":"mastodon.social","followerCount":2353,"followers":"https://mastodon.social/users/wingo/followers","following":"https://mastodon.social/users/wingo/following","followingCount":560,"icon":"https://files.mastodon.social/accounts/avatars/000/030/108/original/f8b6d4f9df14ca94.JPG","id":"125v9a52036jsf1","inbox":"https://mastodon.social/users/wingo/inbox","iri":"https://mastodon.social/users/wingo","isLocal":false,"last_fetched":"2025-10-04 14:40:23.216Z","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-10-04 14:40:23.216Z","user":"","username":"Andy Wingo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 10:49:23.588Z","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":"n99z07c4f8kw914","inbox":"https://mastodon.social/users/regehr/inbox","iri":"https://mastodon.social/users/regehr","isLocal":false,"last_fetched":"2025-10-04 13:37:07.529Z","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-10-04 13:37:07.530Z","user":"","username":"John Regehr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 12:27:22.199Z","domain":"mathstodon.xyz","followerCount":79,"followers":"https://mathstodon.xyz/users/heili/followers","following":"https://mathstodon.xyz/users/heili/following","followingCount":72,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/092/135/286/757/438/original/fd966f7b90b408a8.jpg","id":"q91y88k05o9jjo1","inbox":"https://mathstodon.xyz/users/heili/inbox","iri":"https://mathstodon.xyz/users/heili","isLocal":false,"last_fetched":"2025-10-04 14:40:23.719Z","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-10-04 14:40:23.720Z","user":"","username":"Hei Li"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 22:24:13.221Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/doenges/followers","following":"https://mathstodon.xyz/users/doenges/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/296/220/355/449/997/original/c281179db7e5367b.jpg","id":"qf14776c9954k41","inbox":"https://mathstodon.xyz/users/doenges/inbox","iri":"https://mathstodon.xyz/users/doenges","isLocal":false,"last_fetched":"2025-10-04 14:40:23.741Z","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-10-04 14:40:23.742Z","user":"","username":"Ryan Doenges"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 18:11:27.069Z","domain":"mathstodon.xyz","followerCount":25,"followers":"https://mathstodon.xyz/users/ahuoguo/followers","following":"https://mathstodon.xyz/users/ahuoguo/following","followingCount":97,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/241/821/244/317/588/original/37d6ab269871b6af.png","id":"r3nmqt12p3ff3h1","inbox":"https://mathstodon.xyz/users/ahuoguo/inbox","iri":"https://mathstodon.xyz/users/ahuoguo","isLocal":false,"last_fetched":"2025-10-04 14:40:24.152Z","outbox":"https://mathstodon.xyz/users/ahuoguo/outbox","preferred_username":"ahuoguo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxd4+hat4T4uR9x2jpnZn\ncZXVWuhIqmvLOE2WVVUYFuedeFZYuzKdN3V+m/TfK3gsYDhWcoiK/7o7bPhbX1bI\nfRaWRCLJ5S21KOWOCtdpVISSCSJTFqexlHj5H7nKZ9MtTfde/i+FNnpG7JTMJoOr\nPE/y6u0c3x80NTeP67Jk6IZGj+e4jmbqITyKZyWMwy90k15zdct47VOnJMX5QfFx\ngDwCtcG48Awou9DwLinfDr+TiL4Z9uNJigyCLdMW3X+HuqhLs3WXNVeGQImF9fwS\nkfL1dUZjPPu9ukvtbSdkTQXWuLXGMDs9yvxwQFwFrBTfq/v18uFYHTSzRe1ecRHU\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-28 00:00:00.000Z","summary":"","updated":"2025-10-04 14:40:24.153Z","user":"","username":"ahuoguo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 14:40:24.344Z","domain":"types.town","followerCount":0,"followers":"https://types.town/users/sam/followers","following":"https://types.town/users/sam/following","followingCount":0,"icon":"","id":"d7r9227gymt07s2","inbox":"https://types.town/users/sam/inbox","iri":"https://types.town/users/sam","isLocal":false,"last_fetched":"2025-10-04 14:40:24.343Z","outbox":"https://types.town/users/sam/outbox","preferred_username":"sam","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAui3fZZQVktmDabyCVB2O\nDBchz0XO4rO68ZgraKf8baslRU3Jekf1uZ7W9G+ocu93dNCT51+HSFJaCF65pnOA\nPDTDeTnUpafHZrDCU8K5PUFdzMTPqXEQHz/+h7bSAu65wCaNQpMiNuduQd+93Cig\nPxdSvltPFQNHN5kt6rrhPnpMB9odEPhtrNwM30UHDRWW/8zbgVk4aAkZ19s6GxAr\n8kt7m0JJNc4aq3gi4T9jIxupm89bZOlKbmyXQ6KeiJ3K+Zs4SW01cGu1WwdM/w4/\nGNTkOHle9RLYL/SwLHVJBMmsPiWx6hN671ZGZxWKTVdMkE2SVwIKt2CTObWtogVq\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-19 00:00:00.000Z","summary":"","updated":"2025-10-04 14:40:24.343Z","user":"","username":"sam"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-04 14:40:24.524Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/sigplanav/followers","following":"https://mastodon.acm.org/users/sigplanav/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/114/139/957/125/458/819/original/7252d3b52eb6225b.jpg","id":"dm76c1n461g0slb","inbox":"https://mastodon.acm.org/users/sigplanav/inbox","iri":"https://mastodon.acm.org/users/sigplanav","isLocal":false,"last_fetched":"2025-10-04 14:40:24.523Z","outbox":"https://mastodon.acm.org/users/sigplanav/outbox","preferred_username":"sigplanav","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtn6IUOWujBZBRQlwnXAL\nfZyWhEOqNd9y+f6pP3WgDbza8x4wyNPtdEDh3DRoP/HFyVsg6tn6ggoRN9497TER\ncaKKTutQIpJLmMgEQHkx+Li1znbrc/KaLH50EbBqoE9zqCbdbTeYLfCQ3BZrKe41\nEVKGmsqDdJKYYa5OqPG4hgZ4HogJID9wrQadZmZevC4enLdyO1vNBxtAuqEFq5yS\nZQRy/yZ1HUg/KGZJy6b6XDYAOIntNXWIP8Cd4yKq0xkbrbc89zI7NKHXi5kuPWx0\nzykuEEXw6atY0wGKnJQlUikHSrnUuJOg6tAvHOUx0H3535h21JWyvYR1UunUceLs\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-10 00:00:00.000Z","summary":"

We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.

Every event we cover is available on YouTube.

","updated":"2025-10-04 14:40:24.524Z","user":"","username":"SIGPLAN AV"}],"page":1,"perPage":10,"totalItems":60,"totalPages":6}

Chris Lam

Following