{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-11 02:47:12.700Z","domain":"mathstodon.xyz","followerCount":89,"followers":"https://mathstodon.xyz/users/heili/followers","following":"https://mathstodon.xyz/users/heili/following","followingCount":76,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/092/135/286/757/438/original/fd966f7b90b408a8.jpg","id":"n86oku415z34177","inbox":"https://mathstodon.xyz/users/heili/inbox","iri":"https://mathstodon.xyz/users/heili","isLocal":false,"last_fetched":"2025-11-18 01:06:19.629Z","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-18 01:06:19.629Z","user":"","username":"Hei Li"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-30 18:35:43.449Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/EthanCecchetti/followers","following":"https://discuss.systems/users/EthanCecchetti/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/110/023/555/192/897/884/original/b2972f30c8934bfc.png","id":"l676ol18i3jddym","inbox":"https://discuss.systems/users/EthanCecchetti/inbox","iri":"https://discuss.systems/users/EthanCecchetti","isLocal":false,"last_fetched":"2025-11-18 01:06:19.945Z","outbox":"https://discuss.systems/users/EthanCecchetti/outbox","preferred_username":"EthanCecchetti","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoZNmO6z8tsH2XQ5R5HuQ\nnzmL/dp4sb23DQdDAKldwQ7WfM6PrR/egfft7FCtRQkWGD/tWk4kN9fCR90tWRCP\nkaYPCBkCwT1aoatiJaaRi3qN6pRVwkzbdBVKOID0gbrdV9AByKlyPzzXurJM8CRR\nr7zZlSQKPJjECV/hiyO5ccSClTcq7xtKIl+Wa07ComScEZo/C71SiGiV/34i92ZS\nduMTpHpmghTHXmSDccXeCE6ulUngKDSNEZvEtoXfxtSpMSRuVNKKLFMQd9rbz3on\naF9oqESw1YlxtRULVQS4RejQ33dY4ebizNExyblaCxE6xKzTshhw1jScS+NIKAl5\nUwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-14 00:00:00.000Z","summary":"

Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist

","updated":"2025-11-18 01:06:19.947Z","user":"","username":"Ethan Cecchetti"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-14 11:27:08.091Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/kxwang/followers","following":"https://mastodon.social/users/kxwang/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/108/253/119/660/594/668/original/fbb0245be4060e69.png","id":"m4535853ck21i8b","inbox":"https://mastodon.social/users/kxwang/inbox","iri":"https://mastodon.social/users/kxwang","isLocal":false,"last_fetched":"2025-11-18 01:06:20.235Z","outbox":"https://mastodon.social/users/kxwang/outbox","preferred_username":"kxwang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqim8eElwslBBR2/45i1j\nTPt9xjRFPsOYfr3bW6k4k0jiSVCmVBP94vOCEne3GN2Bq/YL7Ou54VRSQdTHRXLd\nyserZ9DKeZaINoZI7JW4dVw/UaGPrPejIaZcAWXuiINZog3rzTTawxJUS4OIr0a+\nhX/g1eW2r3UDieOy6+oGswoqzaj3ExQY4OtGG6vVKgYS2MN0nUTV5VzgJo9cAcUh\nXHSAOwNqfYHEJENvscbBqu7qDvYMyAerjlzENwC7PR+LdJHDOJEafNuLKZqYjP1E\n099qBLUCgkousCaE4sRe2UQ3a2IzKVZc3waLzSegVGfdRl6m51Z9sHZCpG7bdWYt\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-06 00:00:00.000Z","summary":"","updated":"2025-11-18 01:06:20.236Z","user":"","username":"kacey"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 01:32:53.059Z","domain":"mastodon.acm.org","followerCount":312,"followers":"https://mastodon.acm.org/users/plcon/followers","following":"https://mastodon.acm.org/users/plcon/following","followingCount":18,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/779/792/803/960/144/original/f158e0d44cc010fd.png","id":"1qnzkn04a295k2l","inbox":"https://mastodon.acm.org/users/plcon/inbox","iri":"https://mastodon.acm.org/users/plcon","isLocal":false,"last_fetched":"2025-11-18 01:06:21.119Z","outbox":"https://mastodon.acm.org/users/plcon/outbox","preferred_username":"plcon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2/wgZXrMJ57wNRjs303l\ncfRl7KlRduIvIiAeI8PA6YWbu4efCwskRSQmVsAt+l4KgUNT8atMw6KWl4UwwttG\nChmqFbeua4BP622FD8zbc6ybYHAX7ig4eIEHK/fPug1x/EkUOagFuwW+0WTdoZM2\nJs4SzTkUfi/l8myjq80+SCTFPAoNftDLmR/RbWgINGYMbi8GV9KXAmxcWyEsMZQm\nuvlH3MTpXc4B/ZLNjtc+tvZ9ZvWPCY9NO7YGC/0nZ/Yz6t1TQaWwnKTgXKEPGKjk\nePcN39NxQ4F4ux0VioXUkEt2YuQbA9cDE6E5rgTSoe6+ZMnHglLVGLnFllwjRT83\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

The premier fake programming languages conference, providing the latest satirical announcements from SIGPLAN’s nonexistent Programming Languages Conference (PLCon).

A satirical account providing respectful, constructive critique of programming languages academia in general and SIGPLAN in particular.

iconography thanks to @shiwei

","updated":"2025-11-18 01:06:21.119Z","user":"","username":"PLCon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-18 01:06:21.822Z","domain":"hci.social","followerCount":0,"followers":"https://hci.social/users/harrisongoldstein/followers","following":"https://hci.social/users/harrisongoldstein/following","followingCount":0,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/805/647/066/217/362/original/fc634f0b2bba336b.jpeg","id":"pv37hw5f667dz5o","inbox":"https://hci.social/users/harrisongoldstein/inbox","iri":"https://hci.social/users/harrisongoldstein","isLocal":false,"last_fetched":"2025-11-18 01:06:21.821Z","outbox":"https://hci.social/users/harrisongoldstein/outbox","preferred_username":"harrisongoldstein","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjkrasx62SArBGiDAHgY5\n2PqDqJPIuDQqxm/bp0RGGEEPThc/8Abt1EqzI3Z4OQCwJZPqxZPZ6cQpX3HFxHYj\nvnhWW5CfjPPC8EY7/F7kipGYGUfFueAr9s6eqcYKJg3i3kDu0epRAtAeYm80vtce\nOvcxeZyTdee1HWZy+hcahrj8+BLO9RRJaEqaG+CoSjb2GqNfxtBnOtLO6ghhtU8z\nt93hBXuc4sHfLlfy83inCnG7KK7D6HGVItLkEUIGnz/QT5cE84v/dNm6G21XSkUW\nYBj/U4ais0QVuA9H2/DauIdgapRd/LWD0OXhZjBfz6y+hU+DktkyD3U73jCGXO+x\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-23 00:00:00.000Z","summary":"

My work combines techniques from PL and HCI to solve software engineering problems. I currently work on property-based testing with Professor Benjamin Pierce.

","updated":"2025-11-18 01:06:21.822Z","user":"","username":"Harry Goldstein"}],"page":1,"perPage":10,"totalItems":13,"totalPages":2}

Adela

Following