{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-17 05:03:35.190Z","domain":"discuss.systems","followerCount":700,"followers":"https://discuss.systems/users/sigplan/followers","following":"https://discuss.systems/users/sigplan/following","followingCount":44,"icon":"https://fd.discuss.systems/accounts/avatars/110/885/056/191/364/421/original/cb7854324066f66a.jpeg","id":"ykcxr15b7ox6jm8","inbox":"https://discuss.systems/users/sigplan/inbox","iri":"https://discuss.systems/users/sigplan","isLocal":false,"last_fetched":"2025-10-19 02:51:24.090Z","outbox":"https://discuss.systems/users/sigplan/outbox","preferred_username":"sigplan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1Q01rJFWXa8KLkw9/Qej\nw8K4//4Xh14+31bhcW8QzGhqkszji/XfKmxrbJ9S77MUt1gigKNnIie3hrNd/Ajh\n7zojKSxHhVnrv0ZpAdt3QkCJCbJJw9waifei0xcxzVCn7sGGezK6h86tswjPTUo2\n2Po2V+ClQo1/n+WPusa9DqRL8rnFKajnD9G5OimU0NAEhgLd+wl/jV3umnpHTi6p\new7K5W1sujGiWp7HyOju2GbbxIYPWf8lWtvQMXJHnAA1hXHU4bITExxiCIt6tFe8\nfLd8lwg4H+uOaE3TxuWYhdfme+8Aae1oHbXtyUJ80KpcRLxg1hKdrdi0Zv6HNhIt\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-14 00:00:00.000Z","summary":"

the ACM Special Interest Group on Programming Languages

","updated":"2025-10-19 02:51:24.090Z","user":"","username":"SIGPLAN"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-18 23:01:37.256Z","domain":"fosstodon.org","followerCount":0,"followers":"https://fosstodon.org/users/gkapfham/followers","following":"https://fosstodon.org/users/gkapfham/following","followingCount":0,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/564/387/519/712/164/original/2291f4919d8ed2d8.png","id":"k0z0bmio01n2le2","inbox":"https://fosstodon.org/users/gkapfham/inbox","iri":"https://fosstodon.org/users/gkapfham","isLocal":false,"last_fetched":"2025-10-19 02:51:24.500Z","outbox":"https://fosstodon.org/users/gkapfham/outbox","preferred_username":"gkapfham","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmGpWqrH5en+yEFEw7cIr\nHVSCGHue/elQPTfvf9AigAbTo6cINZQjyJMib++b/bfQe78cCxpZTx1hoqhrvcli\nz20dS8mB+Y92sf2zsHs9y4ZiH25dx6IxhP0rVwqvKPguvWlDQLjTrv/sAk7NYXYJ\nCsHdW+4h7A6m/amL3K5GWQ8YttRRjLTXk061KcoQfRRimdQYZVxM8+U+iOCg82Qq\nw1ru2cRwhnwu/F5XiFkQ9bOwlKhjMSYKh9lJviNilih6T0fskErkD9GQvRcgK/c7\nJDH79JjJg7jjeKZivcXvDz3oilvFP4ue1qFy0CYHVmsC6BJgCo18oATwYtTVOPEu\nMQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-23 00:00:00.000Z","summary":"

🎉 Associate Professor of Computer Science at Allegheny College.

✨ I teach and research in computer science, write papers and code, smile and laugh often, and wave my hands with joy.

🎧 Co-host of the Software Engineering Radio podcast at https://se-radio.net

🔬 Creator of the Algorithmology online learning platform at: https://algorithmology.org/

🧗 Exploring software engineering at Developer Development: https://developerdevelopment.com/

🤝 Connect with me on Mastodon or my web site!

","updated":"2025-10-19 02:51:24.500Z","user":"","username":"Gregory M. Kapfhammer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-19 02:51:24.596Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/yoo/followers","following":"https://discuss.systems/users/yoo/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/110/614/329/655/359/006/original/de5055aa2d626c87.png","id":"uky7otbfur9j68r","inbox":"https://discuss.systems/users/yoo/inbox","iri":"https://discuss.systems/users/yoo","isLocal":false,"last_fetched":"2025-10-19 02:51:24.595Z","outbox":"https://discuss.systems/users/yoo/outbox","preferred_username":"yoo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8YcqiS7U/tqaEKtB6VJS\n3dA/5BJ33vyN977UipLdFY+M+rIY7W8MsNkXt4+9o5f7j9QllHy/LYHFZK3Q2Tnv\njmo6O9P5HWBXepW9BA30T2hpAQC9p22mSwF8mNaMGm7+5YFOcG7AM0UPJ6EEHOsd\n2JQN7OCHg3U5YRQhYSlWp5fnKYoztjF4vMDXfxV7OthpkCHIC7mhOjQxzchjgYcv\nHQeU5yQgXsc7BPxVdHX1BA+ki43YVOwL390KQaygvU2q3QCXCSYd5gNDHbJXVKY0\nEFLkt5ZtPZonbwXXRyjntUSURW+mdKiNc2PWZtqbfXhe4H/6JLvKtwdk07UYQa0G\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-27 00:00:00.000Z","summary":"

PhD student with UW PLSE . Interested in anything to do with programming and tools for programmers

","updated":"2025-10-19 02:51:24.596Z","user":"","username":"james"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 19:22:56.183Z","domain":"mathstodon.xyz","followerCount":3540,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"g0bn8uqy6xn94ed","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-10-19 02:51:24.661Z","outbox":"https://mathstodon.xyz/users/MartinEscardo/outbox","preferred_username":"MartinEscardo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2ac5rQZjJp6kxBwN3VY\nEWpZIkA7UCG9zUfkN0tW8eOLE3E2yy1p7eOkx7HhSMLc/RnERnimAS03ssGYh7oO\nwZtuajZ+Bwwt8ua538opKgfzsEgbco1G27LSdcSn/TeN6TvDpikLiP5zeQIOfqR1\n59m3ahULsm2ijD7g79uJwZb8x5PggqUc8BiGzBGk7SX75ISyngSG7vDwfKF/xF02\nIHnj4d+8hlJHTBpozcv/rHJdTnjr/NBauEjPwVM2KCtus5KJRCy686NO2RMvpxaT\nAYtLKSK/4/eqakkY3mkkUFl9DSErcgClfcC/a015pFQSs1uhY23mmA1bof2fU6gf\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

","updated":"2025-10-19 02:51:24.661Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-19 06:23:28.217Z","domain":"hci.social","followerCount":2649,"followers":"https://hci.social/users/chrisamaphone/followers","following":"https://hci.social/users/chrisamaphone/following","followingCount":1003,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png","id":"7o4twq1lsjzuiwp","inbox":"https://hci.social/users/chrisamaphone/inbox","iri":"https://hci.social/users/chrisamaphone","isLocal":false,"last_fetched":"2025-10-19 02:51:24.992Z","outbox":"https://hci.social/users/chrisamaphone/outbox","preferred_username":"chrisamaphone","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyp13rnOkuLdtoCTF4zmK\nqvr5McTnu5VSBpS438rK//bd1oxB5KGyZDDbLAe5OSO05JPz/6GLH7JIIxmCxsYv\nFt9QIW0DR/DlZTOsDT4vATI0xXFoFX1X5gmaK+CQGraORUQeZGtLh0vtKVStm7b1\nt6DjrR+9QUVZ/F7WxVDrV6jxebjTuwmlCcFVw8WzRiV/6ZTkG5lBjMGwEIxjTjAP\n53ZjK3i13L1jhwoEZyxA0RUILTpQH0ooYzRRj6o3SYVrWkc1nz0NHXJ41yh7Q10W\nxPu9o7zwST8VBQxsEmVfEs3BCQQ20sGqf/XjIbpmXv09hlMYMqkVw4U7prKhd425\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

go slowly and quietly, and look deep

","updated":"2025-10-19 02:51:24.992Z","user":"","username":"chris mort💀ens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-14 08:28:06.699Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"p3s53tactnx0h1w","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-10-19 02:51:25.110Z","outbox":"https://mathstodon.xyz/users/joey/outbox","preferred_username":"joey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuuyXP12Q1eND/tAmB3sh\nmUM/G/Wa6Gfm7F+0OZCgK7abAUpk/PiAw8dsj7wBJ5NoHYJsh5MCUEEu6OPeVj89\n5P9bldhXOojmU+oCzlA6i8aAgJF9f+LSCJHIwEJhJLL0Hi0bCfoZb+++zTj12Qbe\nipRiZXeFC+WcTHPx/3aET+octDlHTxerh6cPyrUnRbPG+DnqflivQcSHrVAHW3rC\nl09LDWvf9soeYPNZl3j1CeefYY+XIlPQD+6mzBmdexr71MmXMq6/5vFNLrAbJR58\nqO+/rt3kAqxpgz9hMTEiFB571qtp8tGlQ3XAa4rdsA7dCG1NYu/vmJsODA0FqWw0\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-22 00:00:00.000Z","summary":"

PL Researcher. Assistant Professor at the University of Regina. 🇨🇦

Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/

Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

","updated":"2025-10-19 02:51:25.110Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 09:21:51.326Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/markusde/followers","following":"https://mathstodon.xyz/users/markusde/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/e0235aa94d9ed680.jpg","id":"spis1inmc53wbia","inbox":"https://mathstodon.xyz/users/markusde/inbox","iri":"https://mathstodon.xyz/users/markusde","isLocal":false,"last_fetched":"2025-10-19 02:51:25.140Z","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-10-19 02:51:25.140Z","user":"","username":"markusde"}],"page":1,"perPage":10,"totalItems":130,"totalPages":13}

Software Practices Lab

Following