{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 20:29:56.815Z","domain":"woof.tech","followerCount":0,"followers":"https://woof.tech/users/entailment/followers","following":"https://woof.tech/users/entailment/following","followingCount":0,"icon":"https://cdn.woof.tech/accounts/avatars/115/050/742/204/716/919/original/8383f2f4fa3a3df2.jpg","id":"mat9e815719js25","inbox":"https://woof.tech/users/entailment/inbox","iri":"https://woof.tech/users/entailment","isLocal":false,"last_fetched":"2025-08-19 07:49:04.682Z","outbox":"https://woof.tech/users/entailment/outbox","preferred_username":"entailment","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqSiHoFOI25cauLPje+/Z\n+VZ24ZQ95JjCdt0ab94dIXj1mLVAs8+FvYJhPNDjlYSg9yEreS2PsEiz/Kq4/x5K\n0pqRUTpz5Zi47/59saH0QSpLk5xWWl2DrNg7mHh8IUcudDlTy0YtlsVffVkkPG0o\nH8YOTrbJe6BXbtmmypTZPBSbRtyo99WVsdf/6qeome0GDxfHhI4cmtjhGLUuNwLh\ntOwtluG+Hhj7qh2qVzWP0O5V/6+FbMo1jPYV4p3buEcuLoUlfBFcaIlO0+YSrjRz\nIHgu0H2sps9rEJ0ux2Glv8QPDf5h+D4tB5mycjUVHY64rv0AqK0ruKNMOmk3LN3G\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-08-18 00:00:00.000Z","summary":"

recently migrated from @entailment and @isomorpheme! if i sent you a follow request, it's probably via an import from one of those accounts.

i like solving practical problems using general abstract nonsense

- formal languages, informal languages
- cooking food, enjoying food
- making music, hearing music
- dragons, dragon-adjacent creatures

- queer, poly, neuroatypical
- leftist, anarchist tendencies

💚 @praxis & @specialflocon

","updated":"2025-08-19 07:49:04.682Z","user":"","username":"⊨"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 05:02:42.837Z","domain":"mathstodon.xyz","followerCount":683,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":742,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"s130n4ajd6h8412","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-08-19 09:03:09.964Z","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-08-19 09:03:09.964Z","user":"","username":"🇨🇦 Joey Eremondi"},{"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-19 09:03:10.120Z","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-19 09:03:10.120Z","user":"","username":"markusde"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 21:10:40.065Z","domain":"functional.cafe","followerCount":313,"followers":"https://functional.cafe/users/joomy/followers","following":"https://functional.cafe/users/joomy/following","followingCount":256,"icon":"https://files.functional.cafe/accounts/avatars/110/850/834/610/675/178/original/2e338b8ff1910307.jpg","id":"ne6sti78608s2vg","inbox":"https://functional.cafe/users/joomy/inbox","iri":"https://functional.cafe/users/joomy","isLocal":false,"last_fetched":"2025-08-19 09:03:10.291Z","outbox":"https://functional.cafe/users/joomy/outbox","preferred_username":"joomy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA96JoxXJm9WNPKClujKIo\nCz2vulphj815SZqtTnXMBJd6RdEEi+hDRBco2BtVzwOOpibHTgT4SqkyYVg/FBTr\nrjYCt371QEPEXfo0o25Fm7sXgyXjsQD6IRALa75XzR2IvMvxVaTD80ppVB3icGyR\nZi/SZug4H/BPkS966Ed+sHXcVEo1CMUPxJnbWT/fuhSXq+U35UsIo/s9ygRILt4q\nbXeeQ0Z2FOELVEQrQpgtAU80iG0B0axeWWyFjAfGBDckPfwTP7h5rD87U0KQFhh7\nC0+cUzSysaAyet/4OmnIAGf3rElABZQ78JRom8ggD+0lzV5l0Sw71EYMKZyuiVsw\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅   posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.

","updated":"2025-08-19 09:03:10.291Z","user":"","username":"joomy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 19:42:42.210Z","domain":"mathstodon.xyz","followerCount":43,"followers":"https://mathstodon.xyz/users/mstone/followers","following":"https://mathstodon.xyz/users/mstone/following","followingCount":170,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/168/281/436/584/original/c31a66c361c57308.jpeg","id":"46j2o298fuy145o","inbox":"https://mathstodon.xyz/users/mstone/inbox","iri":"https://mathstodon.xyz/users/mstone","isLocal":false,"last_fetched":"2025-08-19 09:03:10.450Z","outbox":"https://mathstodon.xyz/users/mstone/outbox","preferred_username":"mstone","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz3xxjzmMfQc55laSlxJR\nw4THYPB3t8hFJoJtIi2G6JEQEpBSBEshQXqlboE9B/y8Vvyn0ECXMpCwYREgAov3\n2Pe34MYUcF+WDreerPzamgM0a8wlUFEqqvrbeC0oJ63B0abN9N8kcWOgNSQcgR2W\n8qWtZLgbYuNIv9xPXo2/kqMzMT1XsuI50gASTduYUX8zHFpfcChO3tfaPGGSmQdF\n3SEH6EQB70TUBfG15EmPJGuirOkFR8M7Fy3jOCjNZ7Q7bLOAyG4zzEp73eLA+eEV\nzGDyloX9HjUlBBKRxbX2cG80LWJtLvevEFs8oBaYUMnmhSIlIr7oKl5tUrgNXVf6\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Systems, security, safety (and here, topology, and category theory)!

","updated":"2025-08-19 09:03:10.450Z","user":"","username":"Michael Stone"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-16 06:09:00.221Z","domain":"mathstodon.xyz","followerCount":4127,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":199,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"8xi45hb2g02wcae","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-08-19 08:39:13.654Z","outbox":"https://mathstodon.xyz/users/TaliaRinger/outbox","preferred_username":"TaliaRinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtj6yFND0XEEC+RJLhRMK\nApROqVTcQD1upSPlu+rnfNriyKxsRCie7kOzy/tyoaAd1fVrzHzu2hOkvxhzSO0S\nRGg6EtA1h85S68RqLD03b0u/ZpLF5myhGrsVqvPiIVzL190wQQejbvkV2GR+YXyR\njgz1leYw/qq84ggemIO5TbTEB0/R+nvPfvrxooHK/gxbfzxkIGeu+dtmzsQivpl4\n8YMcNoe9pzeL4BRQX1+X2L5kiFoXDUjHwjl13I8qIIUOGnJzy3f3GYLa4xZYlU+t\nZtj+r0nbwzHFHbXu1/X3eADHf8j7GlsHwM65XOOOPN2uFEX6+Dd4js6elJ3zKFWv\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

","updated":"2025-08-19 08:39:13.655Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 09:03:10.829Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/maraujo/followers","following":"https://mathstodon.xyz/users/maraujo/following","followingCount":0,"icon":"","id":"00vx5778f973cuy","inbox":"https://mathstodon.xyz/users/maraujo/inbox","iri":"https://mathstodon.xyz/users/maraujo","isLocal":false,"last_fetched":"2025-08-19 09:03:10.828Z","outbox":"https://mathstodon.xyz/users/maraujo/outbox","preferred_username":"maraujo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2T0Pxp4nwnHrDNvpNSFI\nun2YgMrQ5yknYXwIIOpZD1CkBTFawtrpm43QeR32fTejPHl5sjf3HIKuOSp7VBf1\nlvoNabP2Sm1Txer+xKrW+Getbz6C+HHqjEspxEQ6dj0Rmg8zcfM01DIznbxk0tHz\nhgFo/aEJq4KsFexXzRn4QmF4Mt9+rU3RzA6mUpJtz6hR2liwxlYiAvGuH9pJRhSl\np/+oxI8qGkxmll2t2gOmsvG3XOR7QRZgQEnGVW11D41wkTZ9mxxYEqU1DFE1dBlB\npxyhZomSgrQNSSgbloEGBTYaQgSkgoBcL3Ku7Nueqn6JqTzTFjOhwVk7CKjKjFi0\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"","updated":"2025-08-19 09:03:10.829Z","user":"","username":"Manuel Araújo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 19:01:29.861Z","domain":"mathstodon.xyz","followerCount":93,"followers":"https://mathstodon.xyz/users/Millarbles/followers","following":"https://mathstodon.xyz/users/Millarbles/following","followingCount":76,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/671/030/686/679/718/original/ab477d534c1ae019.jpg","id":"or375lh1dskc365","inbox":"https://mathstodon.xyz/users/Millarbles/inbox","iri":"https://mathstodon.xyz/users/Millarbles","isLocal":false,"last_fetched":"2025-08-19 09:03:11.552Z","outbox":"https://mathstodon.xyz/users/Millarbles/outbox","preferred_username":"Millarbles","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqL2LcqLGw1h1ZxEoht2o\nsYMpHwGuT1uO1bRpYAR7zA7dHRHgCreP/4AgH/8XKWd6eo1uN1Gg4NHE8sIB8HTS\nKquJjNfyuougRZafyEpaF10onjerEmgNiltMH+S3JOml3RcPf+45slTEcxT6gwfm\nfkP5cn2rk3dMsxA9fJBMERqGf9h0AMWxu07lMeQEdgvUB3Q9p2LRRdv7/APN+8/m\n0m2A5eVYcKsbkqOtlAa21EAsQCskiiGJOZuINgNvm7LJTnjXsq7z4ZIkmTe6Nr3u\nTNyPpdJptRjGXibJe+YbcRPWLnOajYho5cJ6QApdfAyd9yuytKvCa3d4kmq4Ixq1\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-18 00:00:00.000Z","summary":"","updated":"2025-08-19 09:03:11.552Z","user":"","username":"Adam Millar"}],"page":1,"perPage":10,"totalItems":27,"totalPages":3}

NoCanDo

Followers