{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 04:35:25.151Z","domain":"discuss.systems","followerCount":374,"followers":"https://discuss.systems/users/shwestrick/followers","following":"https://discuss.systems/users/shwestrick/following","followingCount":227,"icon":"https://fd.discuss.systems/accounts/avatars/109/363/168/653/907/367/original/f4a4c582ddf02595.jpeg","id":"a454id4biy1ade1","inbox":"https://discuss.systems/users/shwestrick/inbox","iri":"https://discuss.systems/users/shwestrick","isLocal":false,"last_fetched":"2025-08-31 06:05:19.840Z","outbox":"https://discuss.systems/users/shwestrick/outbox","preferred_username":"shwestrick","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6XRyTDU5Bf6wf2eaDyWT\ngvjAjYZW9c4cTqGK/jzYKxV/uNLdlsUdqi1cO9QowKqw7Xk7Vy3BdnZjj6r5owiE\nYvaX0MiewnATOQltz7yGeZwOK3nhICHQCnDcGVjOgN5xjxI5F1hHwi+OaQSnFT8k\nQL6EyWtbwWaiaudmfYDBSBrQjfpC+F0P0FGyIt+JP3MEZHpaxEQckisJENuBxw18\nh484poQzf5YZngherMi5mA7UDmBf1510ih+//OEUCLpS8wQMjnv0b7z/mYX2SO7N\nLwqXIs/8z0xbMGTzNlK7EN+6MObCHRD4n0NL7rvfXgfmVlrW5WHJgYO23nB9cKNE\nvwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

assistant professor of CS at NYU Courant :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)

","updated":"2025-08-31 06:05:19.840Z","user":"","username":"Sam Westrick"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 02:06:29.601Z","domain":"mathstodon.xyz","followerCount":1720,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":468,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"1elm63oa3q4n604","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-08-31 06:05:19.995Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-08-31 06:05:19.996Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 22:44:04.806Z","domain":"mastodon.social","followerCount":186,"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":"s47y64kb0y8b0ye","inbox":"https://mastodon.social/users/spitters/inbox","iri":"https://mastodon.social/users/spitters","isLocal":false,"last_fetched":"2025-08-31 06:05:20.382Z","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-08-31 06:05:20.382Z","user":"","username":"Bas Spitters"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 07:02:09.138Z","domain":"mathstodon.xyz","followerCount":78,"followers":"https://mathstodon.xyz/users/heili/followers","following":"https://mathstodon.xyz/users/heili/following","followingCount":70,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/092/135/286/757/438/original/fd966f7b90b408a8.jpg","id":"x4d0vw2t400eeoq","inbox":"https://mathstodon.xyz/users/heili/inbox","iri":"https://mathstodon.xyz/users/heili","isLocal":false,"last_fetched":"2025-08-31 06:05:20.583Z","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-08-31 06:05:20.583Z","user":"","username":"Hei Li"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-06 16:50:16.965Z","domain":"mathstodon.xyz","followerCount":230,"followers":"https://mathstodon.xyz/users/markusde/followers","following":"https://mathstodon.xyz/users/markusde/following","followingCount":80,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/e0235aa94d9ed680.jpg","id":"3rhcmtzyg47s0lu","inbox":"https://mathstodon.xyz/users/markusde/inbox","iri":"https://mathstodon.xyz/users/markusde","isLocal":false,"last_fetched":"2025-08-31 06:05:20.743Z","outbox":"https://mathstodon.xyz/users/markusde/outbox","preferred_username":"markusde","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtJdfdMDAJSrulV3EPolX\nGdJVrtUgWNpIWQf+ITO633we+LN+i69o6PaJJ4KLYRRGybAO11ss80JJMlgU8bjH\nonuY1jWxuuHH92eoOXPbBmMHO+q2Zp/ev2LJd0HNOODKh50bi783n5L7SeEVDolz\nZ2HL7TogjDHNnMGMyoJEsjtV+UQ1YA43yvzZh8/GJ7e1n9FOknxHNEsVsNSpcVTj\nvk598a5/DDJdtVLbOwpK20vZTvyfS79LXO8pt+aJNUtV8lCRwgKVhp7goePqaEd8\nCnOQF/Bnqh8Gl6V9NnCsmi5wvWPHnByIk+upTG39jRSY2uAvU5oZ2Rgqg6g+/LHy\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

Human in the loop automated formal verifier

All opinions are my own

Not a professional account

","updated":"2025-08-31 06:05:20.743Z","user":"","username":"markusde"}],"page":1,"perPage":10,"totalItems":8,"totalPages":1}

Simon Oddershede Gregersen

Followers