{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-21 22:58:46.974Z","domain":"mastodon.acm.org","followerCount":4,"followers":"https://mastodon.acm.org/users/csoutherland/followers","following":"https://mastodon.acm.org/users/csoutherland/following","followingCount":17,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/869/065/937/307/317/original/ec21eb2df67b9a05.jpg","id":"z5fdzr1jk8qxpix","inbox":"https://mastodon.acm.org/users/csoutherland/inbox","iri":"https://mastodon.acm.org/users/csoutherland","isLocal":false,"last_fetched":"2026-01-10 16:52:07.408Z","outbox":"https://mastodon.acm.org/users/csoutherland/outbox","preferred_username":"csoutherland","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4slv08mE3TCzbwmZ4tNZ\nQHtKZ0RAX5c06JnXlb6Piyv7Y+PTc7Xtlig/FLETgKmF9YfHfu6FeynzjlSuYRos\nMNVz2S8JFzBCBvNhRveLRox0LEcVHln3b++uCJg8qk+WQ6lpmy5cEJKXSdFexmHV\nKbpTzqBDvxP4TUsDaqkMkudgeE9fhotUnnwuX5QDnlxF3QsTX7l/TUHGyjcWFA3T\nU5C/4bAuEMmLKvhCUoSysKWkPFivSzZ5yLxxE2iurzBBpYeqYlgXfTt3VKKKIRWS\nwnY7OrXOmBHuFHIxXAuxPURasNCHcCSeWGOe7/Ao+L6qjF4E4HozEki41++txPuh\ngQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-22 00:00:00.000Z","summary":"

Formal Methods Enthusiast, DevOps in day job

","updated":"2026-01-10 16:52:07.409Z","user":"","username":"Charles Southerland"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-10 16:52:07.628Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/LogicalAtomist/followers","following":"https://mastodon.social/users/LogicalAtomist/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/110/680/623/132/519/186/original/e11ce3e284f3d22b.jpeg","id":"949wng19x8sqaek","inbox":"https://mastodon.social/users/LogicalAtomist/inbox","iri":"https://mastodon.social/users/LogicalAtomist","isLocal":false,"last_fetched":"2026-01-10 16:52:07.627Z","outbox":"https://mastodon.social/users/LogicalAtomist/outbox","preferred_username":"LogicalAtomist","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9SM/kjFCqgFIIipITFNf\nMP39tBjEltQNSjgIqvSDOFMsTWNOYgMe3CRbOLLTcCu4J7xst8O+oniaVl0D7R3d\nmWmv8qwAt1ielmxsLy8TD8Ad7ICPvDKCPAWUVdrGqHVXcY+7BjFR72z0NaAkj3+g\n1uiOPiVKNbxuH6qfOL2P1/RNhocp7mETevb47lKSC1WREdiTW0T+Albm7nRO2uDw\nHA/Rb30AQ4sldy2hwXde+vpJUo/MK/fiWROhHZyfsSaEni1ZLwsS9g36ZupKOPo5\nhvvXCuswp4psV2NXyXpoUN9goDQf54L8NPQabQxIm4vG1tnYUW1hiDUPje6AyJ4h\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-08 00:00:00.000Z","summary":"

Western Kentucky University's resident logical atomist. Assistant Professor of #Philosophy. Editor of the Principia Rewrite project. Director of a philosophy summer camp for high schoolers. https://landonelkind.com

","updated":"2026-01-10 16:52:07.628Z","user":"","username":"Landon D. C. Elkind"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-10 16:52:07.656Z","domain":"chaos.social","followerCount":0,"followers":"https://chaos.social/users/popitter_net/followers","following":"https://chaos.social/users/popitter_net/following","followingCount":0,"icon":"https://assets.chaos.social/accounts/avatars/111/636/375/847/043/022/original/4ede29aec99fb0c7.png","id":"sw98nareu7oa8q1","inbox":"https://chaos.social/users/popitter_net/inbox","iri":"https://chaos.social/users/popitter_net","isLocal":false,"last_fetched":"2026-01-10 16:52:07.655Z","outbox":"https://chaos.social/users/popitter_net/outbox","preferred_username":"popitter_net","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlAK/sP/vxKeUVD4Pt5Wo\n0p61nhOSNpx8y3GuswIk4IiCTFmtYgnUDNtesNT5Glr4uEPmq98V4poKTOjrHXbL\nJ+rIeYE86+xC0WuXZpilOT/YN6QKlxXjdqec3ehZe/jxBeYJHhTo4ax3hWe+uZPl\n6WfnRbNfW/+uYwXkmphHv8Atla/0NjGO+Fk8Ict1MWlBleAJNbaTz8xOtw1WxDeA\nr4V5Uf71rnFwJ+XJ0WNV1/9juuJjbolDbb+XGDbjbN3dH+Nd78Mi3cBSrVWIjzTA\nLDm9kttLZG5O2MkqB7OwVN+U8OaxToUJZUP/nKbbKP3x3SlpHE5WvaqJZNKP6Q7R\nlQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-24 00:00:00.000Z","summary":"

The great cornholio! Opinions are my own, not those of my company. Erst: Proving stuff in Isabelle. Computer networks and security.

","updated":"2026-01-10 16:52:07.656Z","user":"","username":"popitter_net ☃️"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-10 16:52:07.725Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jamie_jorgensen/followers","following":"https://mathstodon.xyz/users/jamie_jorgensen/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/377/845/758/039/147/original/d2efd81f2c7898b6.png","id":"baempi0scjwrkle","inbox":"https://mathstodon.xyz/users/jamie_jorgensen/inbox","iri":"https://mathstodon.xyz/users/jamie_jorgensen","isLocal":false,"last_fetched":"2026-01-10 16:52:07.725Z","outbox":"https://mathstodon.xyz/users/jamie_jorgensen/outbox","preferred_username":"jamie_jorgensen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoP9BYQxrnGMnNjKQraDu\n3xtS/w6oE+wIpAG5xzkidTAwfV9xehmkptoJrdPi7aY7SukzGLML1VxSvkYW/Trr\n8W+qs+b4/wkqNHQdNfj/zmgPeuKZaK2C8er9Pky3MpUfwacSv2GwRuNDNxs5M/c1\nQjzdrrVv9qgGb4vk8D0MkFB/GBU+O5cggOudLaaS3uYfbPKfXpgsjr8RzbirrxEE\nIymwmep4tD1zxawCdAUoBfcWN11+zzy2Ok/GM/VLzWq/hjCcoj+zj8+UTPTJVMyS\n8aSzIu49kiXJTN1bAC3gPJUS375jtfC7G++ygh3S9iqV4yj4tX+wrz5c8oAEduiY\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-09 00:00:00.000Z","summary":"","updated":"2026-01-10 16:52:07.725Z","user":"","username":"jamie_jorgensen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-10 16:52:07.837Z","domain":"mastodon.online","followerCount":0,"followers":"https://mastodon.online/users/amw_zero/followers","following":"https://mastodon.online/users/amw_zero/following","followingCount":0,"icon":"","id":"lf2wrh6usyx2dz3","inbox":"https://mastodon.online/users/amw_zero/inbox","iri":"https://mastodon.online/users/amw_zero","isLocal":false,"last_fetched":"2026-01-10 16:52:07.837Z","outbox":"https://mastodon.online/users/amw_zero/outbox","preferred_username":"amw_zero","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu8IcLqOjXd0AHqZbAyD/\nrcD278u0Pr8eet3BeOhF9iTfaczkhalBsSgmGYyqjhwpyVzP4fHEa50XssHndnGZ\nlrB35Dd55YksevBz2Nigqlj8RGbS1RN4h8dgt8JwoZ0lv0c3wZyobzL7LH2wXaWa\npoh1Q3JW0sjdnaU9nj5PjvH4Ie/kkvoq7gUXW6NPA8yOsy/XKFlbFrRL+uREBQED\n4aG3LqYVHeBx6pTPB7zuIDefQ4OHA5sUkdAw0IiDRkmr75XdGCPEMUYLnetS7P3q\nArgVJJ9Y+sOKByiI2LCBTVWtoRTRy9lxGFU38LSgKQbPvPVvKuiQ3kLEe3BJLMLV\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-04 00:00:00.000Z","summary":"

I write about testing and verification on https://concerningquality.com/.

","updated":"2026-01-10 16:52:07.837Z","user":"","username":"amw_zero"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-10 16:52:07.985Z","domain":"techhub.social","followerCount":0,"followers":"https://techhub.social/users/fabianveal/followers","following":"https://techhub.social/users/fabianveal/following","followingCount":0,"icon":"https://files.techhub.social/accounts/avatars/109/362/937/472/316/557/original/d292d5280a00dfe0.jpg","id":"45fdzvhkry7jl3h","inbox":"https://techhub.social/users/fabianveal/inbox","iri":"https://techhub.social/users/fabianveal","isLocal":false,"last_fetched":"2026-01-10 16:52:07.984Z","outbox":"https://techhub.social/users/fabianveal/outbox","preferred_username":"fabianveal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm1Kbv62cTCut1HrGOWqh\n6cjNtBBMVfLoEEroNWd1RyVlXyIzqUAwPSwhAFtkORXzp5hoqGq/SP4F6pDwdQ6b\n3ttCWQqiKn7g3tC48CHh9QIuxfz4dQeS3ouJtWqz5AYL9mdmvaesJMNeKzBYVcPK\nUjwtG5r+e1hl0JeiynXViGKO0/E5tygIvI3RYnJ6iZF8ksJuDa3/q3W9ZRVEKc13\n8z2K3ENR37wOYHw3Fb5/eTPpu4EwW/QK/Ff0iO8bI/JJPEMHGF1gWWMc92Vhqz+o\ni4H4VOxr48rXyLJAWGoY+rMggKnmqiWiczxZPAGnkiWuZ+cK6K5SWLrm4wNHMGkf\nywIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

Software Developer

data PL = Haskell | Elm | Purescript | Python | Typescript

","updated":"2026-01-10 16:52:07.985Z","user":"","username":"Fabián Vega Alcota"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 15:34:31.742Z","domain":"mathstodon.xyz","followerCount":1489,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1040,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"903i853293k1800","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2026-01-10 14:55:35.891Z","outbox":"https://mathstodon.xyz/users/Jose_A_Alonso/outbox","preferred_username":"Jose_A_Alonso","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxeEFJL7MWF7Mf7IQrtSd\n77JRXb1bJxxNx4En7O/GpvlCzPUowQAV9NzmMlSoBE6uB20MyBqihiRaPUv/Jt0Z\ncsxQCczh0WiGI9de+Dh/Kh/yqtJNr6T9TgMnYTJLR0EdE+XwfXfh2f9eIfdTw9P7\nLlgYHMRjgt5Z1Jc2aKIrWnKJd+qqN72AT1SHDKOmmO5AtghBGfSDzu3CchXHomPh\nMwlg7PV9SPWhFjas2XM2G3TMfmm0yZHua7BFBkmTrVFbKXq2TQyoMvusSrNvNWSf\n6Vs/HzkL0reHKuq35aOFXgz2wI+zSDFWim1hra+ITcAo/cZVpGmJXg1uiWvi84UQ\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-03 00:00:00.000Z","summary":"

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

","updated":"2026-01-10 14:55:35.891Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-10 16:52:08.010Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mwrochna/followers","following":"https://mathstodon.xyz/users/mwrochna/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/057/361/original/6636c0f679177db8.jpg","id":"oys72wirxr78yq3","inbox":"https://mathstodon.xyz/users/mwrochna/inbox","iri":"https://mathstodon.xyz/users/mwrochna","isLocal":false,"last_fetched":"2026-01-10 16:52:08.010Z","outbox":"https://mathstodon.xyz/users/mwrochna/outbox","preferred_username":"mwrochna","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5KV4IGSME1/K7zziT0+5\nnShSKEBDeLJhL7AU8thH/aPRjoC7OZb73IXh+eHOyGYXaWbtnVY3M5xfI+qkgeMI\nx3y0ibCZjk5XDoPH8YrP2fKIDnA46AmM8yQuDeCoyUVRyJXA4NbyIHtn7jFtc439\nm5XYktpUAXrhdPqqHtQDVSIcvXZ1TSAvJ9NpaX8ShnKXVYWhgSdTmtEUx5OyK9fV\nsk31TrUOwH5oRUGNDIsz31Lz7efav4NDpRcl6v3PQ8/GYXR9W0dzWRwdJAVDc9sK\nH3xm1vM/Y16cvxitcp8yMxOYz1I/jYoi12wAZdS77XLQKI4JUZ4RrfooBsZiLdeD\neQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-10-13 00:00:00.000Z","summary":"

AI researcher at UWarsaw

","updated":"2026-01-10 16:52:08.010Z","user":"","username":"Marcin Wrochna"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-24 00:06:09.563Z","domain":"mastodon.social","followerCount":3,"followers":"https://mastodon.social/users/asmodehn/followers","following":"https://mastodon.social/users/asmodehn/following","followingCount":20,"icon":"","id":"usz6p0rbvj4h46d","inbox":"https://mastodon.social/users/asmodehn/inbox","iri":"https://mastodon.social/users/asmodehn","isLocal":false,"last_fetched":"2026-01-10 16:52:08.814Z","outbox":"https://mastodon.social/users/asmodehn/outbox","preferred_username":"asmodehn","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1hvRAofGbIs01kf5yp7X\nijKhC6D1qrRKm8bBicMHZY/qmxhvHfYOi9Vhogq0Dc4BbMPlIy9yNfsVM2kUUkYy\ntnCnmayqDSEuVgzyofJMq8567BAo0cGdYsrny2rzUanU9AsRwWAyuC6YQwr0/M6v\nOuFimjS/MxvRMmFgom3J1841ylQIcuDgjFp8J2xK36Xpa2ybuwU7/53qx6UGNWnc\nw584VvT6kTkXOdNogfK3YqlKbP5ca6EAOLJ3ciafL7itmhVCF1SL1quFDUo2s9/s\nRskeZFnm8yqA/9b/7yxI8SlJ5jlcFc4Yn9bgNYcWJH06Idz1ke1J3Gcc7PO1ZESy\nywIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-04-23 00:00:00.000Z","summary":"

Distributed Geek / Future of Code / Applied Category Theory / Free Software

","updated":"2026-01-10 16:52:08.814Z","user":"","username":"asmodehn"}],"page":1,"perPage":10,"totalItems":37,"totalPages":4}

Isabelle :isabelle:

Followers