{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:22:08.478Z","domain":"mathstodon.xyz","followerCount":676,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":735,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"he5yknq988zfstw","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-08-24 11:37:09.462Z","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-24 11:37:09.462Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 01:47:50.259Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/lakshan/followers","following":"https://mastodon.social/users/lakshan/following","followingCount":36,"icon":"https://files.mastodon.social/accounts/avatars/110/136/594/212/547/867/original/7e2c01fddc943d4d.jpg","id":"6r8r1k015dgo459","inbox":"https://mastodon.social/users/lakshan/inbox","iri":"https://mastodon.social/users/lakshan","isLocal":false,"last_fetched":"2025-08-24 11:37:30.200Z","outbox":"https://mastodon.social/users/lakshan/outbox","preferred_username":"lakshan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwK1FkftSRocMGa3mf9jw\nDWLbUrLPN4VCUJ37TRRnu1gW2ZsFba/Z3xRnB0BPAibaNMr4P0Ut5mH8/Zo0QLdi\n9DLKnF66pckiv1jIwIsUwlecicrtIT3lMUADY+u7UW/fQUA0CHd44xpNyVvxWmLQ\n+W9jkCrc4PKiE/G0yZHu64jZvl7NrNlnPONowxEBqCIhBfzyqiuidAp4EqXqoc/D\nW4hm7nA4g2yhilbYBjyHSsO6nPDcKZ9/f+EwTJ/ZCyFuSkoJP+iqkrYn9ByunqVx\nWkaxhzYvfDxrhNXdX31fS9qlXzIr2vCRkRl4bnOKiCWpiQOdQtSU+PIzOQWF8KlH\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-03 00:00:00.000Z","summary":"

Programmer / https://github.com/0xlakshan

","updated":"2025-08-24 11:37:30.200Z","user":"","username":"0xlakshan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 15:01:25.432Z","domain":"mastodon.social","followerCount":2669,"followers":"https://mastodon.social/users/willmcgugan/followers","following":"https://mastodon.social/users/willmcgugan/following","followingCount":354,"icon":"https://files.mastodon.social/accounts/avatars/000/496/083/original/a403dd0c0b19cd4b.jpg","id":"w4444hs7966bya4","inbox":"https://mastodon.social/users/willmcgugan/inbox","iri":"https://mastodon.social/users/willmcgugan","isLocal":false,"last_fetched":"2025-08-24 11:37:30.297Z","outbox":"https://mastodon.social/users/willmcgugan/outbox","preferred_username":"willmcgugan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq+JiBRsbIzdDsA970iYx\nl06glt2RGabl6bl1TJlo7ltrkK/ShevsIaD6qb9NeHQeOkSM1Uop7QYBpaCIL3XG\nCCW3k1NLZwpZ7SmuxlsFy/xe1AGW6EMrcKSusdLRqBAhia3tTv8mcXDhnoRPZpGi\nW/AjhubQ9E3mhMwD1PJGShRCNHUJpwYBMnCPQap3nRq1jFpg9iVmKwU6naD+/QqI\nkUL8UTyLLgbjchcYhvdeALEE4B9qDEba2PdA03HA10Qbcp9SvB4qPKteXuJH/jmi\nNo7vhe61E7+KZ1YRMDbft3XPxkLOC0oslnFeiJ3ekSBfdS83/pN6VixsZ372JFSj\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-26 00:00:00.000Z","summary":"

Terminal hater. Hyperborean Python expert, author, humanist, husband, and sometimes wildlife photographer. He/him

","updated":"2025-08-24 11:37:30.297Z","user":"","username":"Will McGugan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 11:54:07.571Z","domain":"mastodon.social","followerCount":16,"followers":"https://mastodon.social/users/frankper/followers","following":"https://mastodon.social/users/frankper/following","followingCount":94,"icon":"https://files.mastodon.social/accounts/avatars/107/701/085/135/198/503/original/4a50d9fdce98dae9.jpg","id":"2z8w7842r73hu6u","inbox":"https://mastodon.social/users/frankper/inbox","iri":"https://mastodon.social/users/frankper","isLocal":false,"last_fetched":"2025-08-24 11:37:30.406Z","outbox":"https://mastodon.social/users/frankper/outbox","preferred_username":"frankper","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxNM1myoihxPb+LWhVnBi\naYX/nzF0nlnsEcLSEvmYKLBE5Qrt5IN0a+pYEkxEPryueX0GCpau2olXTQRysbIY\nXdkDaUyp4yyH5TvdYCalNcxoNPXCQ2fGGA8fcDytFffPEr42yJsDUDSgdL0JTe20\nx2LUN8P0CZO0lqEwJbSkSxh15hud5+w1/sx/LeqojsWZUsRGh2DDTG3WotDiF43j\n0kuf5SwEWFy4W/xghsZdjlvMae8lX5V/ATi8un11JYXq9/fVqS1dXZ8+hrYMdn+I\n3OKcazpTjM4CHzvz44uSwMggWtNt4EEP1xGJ0cLnIAGsOoJtZXzU2qE6zzxrNMXl\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-01-28 00:00:00.000Z","summary":"

🇺🇸 🇬🇷 🇬🇧
Amateur cyclist,runner,photographer,devsecops
--
In/Persist
Υπό/επιμονη
--
Posts are my own (unless copied) and should never be taken seriously

https://linktr.ee/frankper

","updated":"2025-08-24 11:37:30.406Z","user":"","username":"Frank Perrakis"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-16 04:59:54.601Z","domain":"mastodon.social","followerCount":118,"followers":"https://mastodon.social/users/wys35/followers","following":"https://mastodon.social/users/wys35/following","followingCount":1333,"icon":"https://files.mastodon.social/accounts/avatars/000/307/784/original/fa73bcf963e3180c.jpg","id":"q041xi9710s6z10","inbox":"https://mastodon.social/users/wys35/inbox","iri":"https://mastodon.social/users/wys35","isLocal":false,"last_fetched":"2025-08-24 09:54:50.654Z","outbox":"https://mastodon.social/users/wys35/outbox","preferred_username":"wys35","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6v1ycTwMxbCyR/kp2rIB\nCsEfIlQYezxJxlV30+JpCAwtHVJzCY/hf8XBIe9XnAlZO58hEjAJ4DjckzY6EPqt\ntUMRCLMOM2PKgb0VxFxbYpPmCCYLdjNs97G5nCecYny8l8UNjVB5hXV0OaXkC/8Z\nLbx08TCq9cIkhtDhcKj3Rng8iGb7lAvW+HTDatKeg/+xZODCopqSbQ+AYcO/V3Nh\nph2Im5B7Kf/I+r7n5vvPyTCtFX6tM0Sr8XzBByNlN4IPKB+jjbQbW6tMxX4dYq0P\ncQ318gRhxYCIJgyWiFtrRfDRIeGxm3W83URHjHYEPTRr+IWdCTpTDH96kV6Onskf\n6QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-03-26 00:00:00.000Z","summary":"

https://blog.wuyuansheng.com/about-me

","updated":"2025-08-24 09:54:50.654Z","user":"","username":"wys35"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 08:11:22.402Z","domain":"discuss.systems","followerCount":51,"followers":"https://discuss.systems/users/DesnoyersMa/followers","following":"https://discuss.systems/users/DesnoyersMa/following","followingCount":33,"icon":"https://fd.discuss.systems/accounts/avatars/109/399/660/114/038/162/original/f371348f7f97900b.png","id":"0vz14768z7dtt2b","inbox":"https://discuss.systems/users/DesnoyersMa/inbox","iri":"https://discuss.systems/users/DesnoyersMa","isLocal":false,"last_fetched":"2025-08-24 11:37:10.089Z","outbox":"https://discuss.systems/users/DesnoyersMa/outbox","preferred_username":"DesnoyersMa","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5R2U+D2nD4lof16aa/ML\nwfYDs/VOL4RIytGyGJ79mK5xEbDKIfaLE2mwn7/J7AP937BN4YT0ftvVbKPbsQP8\naqq1DPvZmHjE1ycZ+beM3o2Y9iC3O8EZOSBI1/eNO+E0s1KluRiXuQL/9m9g1Vj/\nwcihuWo5ohWz9tmCZHVo6QQzUb3im8c0FcmGtg5UZvF0e195U2t76IUiPwuDx9JZ\npZPJucBtW8U8r/pM3R6wPU4yFI7OkFwvEWBh71dkP555DWedHB9aye3jYkWvcq+z\nmFyLYynRaiihaXpR8tbd7RFzhvtYKyX4AyKP9Acqy4vchFn4NtXlZxoDzHUTxlD/\n9wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-24 00:00:00.000Z","summary":"

I am mostly interested in scalability and real-time behavior of the Linux kernel. A kernel tracer is a key aspect that must be added to Linux in order to improve these aspects. The path towards this involves contribution of new pieces of core infrastructure in the kernel itself so it can support a low-overhead, low-disturbance tracer.

","updated":"2025-08-24 11:37:10.090Z","user":"","username":"Mathieu Desnoyers"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 08:11:23.267Z","domain":"snippet.dappur.tech","followerCount":2,"followers":"https://snippet.dappur.tech/users/robertking/followers","following":"https://snippet.dappur.tech/users/robertking/following","followingCount":2,"icon":"https://snippet.dappur.tech/system/accounts/avatars/114/567/562/103/798/713/original/7ad10a030ab5b228.jpg","id":"os7vvs5prt1f5yi","inbox":"https://snippet.dappur.tech/users/robertking/inbox","iri":"https://snippet.dappur.tech/users/robertking","isLocal":false,"last_fetched":"2025-08-05 19:06:00.829Z","outbox":"https://snippet.dappur.tech/users/robertking/outbox","preferred_username":"robertking","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn2u3yJlhVoxx317A2E2u\nmJC1mzi+cwyWFR9H6qZEmDNu0gQMbahTxieQAUdeNH3B6LubdTIg532kU3CG+uqF\n7rS+jZJH8thcGgz6/CRUY3JfXr6Fv5hNhCEg0ZgLgHyHpUadgiUK+I4iZQ+RZO+c\n2mZyB2BJLqvETBGH/pwO35MYqU3nMJ3F64qME4qLYq11qTgeHuik8EGDGAeTI/VX\n7FWGztEqy23xorP+/UK4BHKqd2VqRaCmlatcjUqgmZ2EnK04/kvrvgCp9fnrbC6q\nfoNEjciNkHHlpHT7WaxgtwpXrC5BPUk3xXQYHQVvM5zD7JwhiMzRfhBZQtt1B2J5\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-25 00:00:00.000Z","summary":"","updated":"2025-08-05 19:06:00.831Z","user":"","username":"robertking"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 08:11:23.503Z","domain":"snippet.dappur.tech","followerCount":0,"followers":"https://snippet.dappur.tech/users/dappur/followers","following":"https://snippet.dappur.tech/users/dappur/following","followingCount":0,"icon":"https://snippet.dappur.tech/system/accounts/avatars/112/308/622/095/764/306/original/8a1030f35a555e09.jpg","id":"qe79nzajgqyk3k4","inbox":"https://snippet.dappur.tech/users/dappur/inbox","iri":"https://snippet.dappur.tech/users/dappur","isLocal":false,"last_fetched":"2025-08-05 19:06:00.082Z","outbox":"https://snippet.dappur.tech/users/dappur/outbox","preferred_username":"dappur","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAkj9QMRwfTltoPJCLCRen\nFW5WSY3xpuoQ5ltdlV0mSo3n20S4QkhMiHA51dUOXgEhh+0j2yFq366elrcSM/+b\nTmmfVeOUeDj7gevSaTNwDeYLwnb+0N5JQNsZW9bRaoLkFEDgL1wwf9lCxawrx6cG\nN0qL1Cn+3toBmUzqDvIhty0nXag2fjH7s0ENWlq7X5KorbIifkii/L4tB68growK\n2BdX06shQqAAKjcOygqbJLSpPTok4fSaHzRAL3R+vtIsOzmGiH3Yz0hDyE7N+UlJ\nh5a1RE/BVRv74Vp4wI9rRC8xFgVjh5qvgiR02oz3mN+HZTqcY3WQ6l4yDCM7IFJ5\nCQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-21 00:00:00.000Z","summary":"

IT爱好者

","updated":"2025-08-05 19:06:00.083Z","user":"","username":"Dappur"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:45:28.045Z","domain":"discuss.systems","followerCount":30,"followers":"https://discuss.systems/users/weirdsmiley/followers","following":"https://discuss.systems/users/weirdsmiley/following","followingCount":203,"icon":"https://fd.discuss.systems/accounts/avatars/109/375/198/521/219/478/original/d92ce1d162abd8d1.png","id":"h55584v78x43u0b","inbox":"https://discuss.systems/users/weirdsmiley/inbox","iri":"https://discuss.systems/users/weirdsmiley","isLocal":false,"last_fetched":"2025-08-24 11:37:10.394Z","outbox":"https://discuss.systems/users/weirdsmiley/outbox","preferred_username":"weirdsmiley","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsQbGapfxvjwAtgZ1Zw2B\nloY+ONEMoK84f452WcmdfnOTEdQFwFCBl5GZYBEQby0rzgOBajcj0g+5LWpQiTLw\nfSCzRe8BpRVRxzY9BBC0hbAUA2LtFKtPqnJQKtJ+m/iL35dTpcDVuBAKecLYlDL4\nL2/aEKhYiyD54PEyZytU5HamN1O0QrY749U+iAovmKulLOC89/1LC4jUZBJWwnI5\nxwJW+q1slH9ExELmD1pUDLtghMk7QmpuZoFTikQTYDHcy0Qcc23U+xtC9TLwInfM\n5Mk6dKgSq+XNvM1YVkoga1J2APrOOP+E69f8UpkTGZfSOL97+b3fX/nCjQMxrcqr\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Compilers, PLD, OSDev, QC

","updated":"2025-08-24 11:37:10.394Z","user":"","username":"Manas is a bird"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:24:56.084Z","domain":"ublog.thirdlaw.net","followerCount":190,"followers":"https://ublog.thirdlaw.net/users/sree/followers","following":"https://ublog.thirdlaw.net/users/sree/following","followingCount":282,"icon":"https://ublog.thirdlaw.net/media/bfebeed1d8c564dff3fb21a87baeb256c776c08f91ec1e84c899133c334204cd.jpg","id":"0w46t81157krc2g","inbox":"https://ublog.thirdlaw.net/users/sree/inbox","iri":"https://ublog.thirdlaw.net/users/sree","isLocal":false,"last_fetched":"2025-08-24 11:30:10.590Z","outbox":"https://ublog.thirdlaw.net/users/sree/outbox","preferred_username":"sree","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxUftbpkD1Cdu6v+VP8vh\n4yJnKtq7CVAnoRMVRVl2Rcu7FfcVeX5tcszmSUNNKUmDtFmBGrhMTfjDyujuCKiQ\nSk9TVlbg12XB+m14hW60UlQcKJVZiSqXKTGtc4g4qeXWj2YcRQ68JcS+ZbadqNzy\nWWbX8OrM49jGudt7GsChluSdHWgkQuh6iaH0H19ECsBQqw1xAAvOYbkorkROHVeD\nzX+p02QgIEk6AweFq8icsWXYdG7pgzyEMCYcFvhnHzQRJHzjbNI9PoqVBGQPALd7\nBvzmEO8uikFMT7GAewoXByYaabtJZ5Zf/ygdlsiVKHIOdqLuTSWiCSFtdaDeNWdZ\ntwIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"2022-11-20 20:43:22.000Z","summary":"Academic (Computer Science@Rochester). Randonneur. (RFC1983) Hacker.
I like writing code that writes fast, parallel code, mostly for GPUs.
Amateur Photographer.

"Greetings and friendly wishes to all who may encounter this voyager." - from the Golden Record

Was @SreepathiPai on Twitter.","updated":"2025-08-24 11:30:10.590Z","user":"","username":"sree"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 19:39:22.953Z","domain":"my.devsuite.app","followerCount":321,"followers":"https://my.devsuite.app/users/chergert/followers","following":"https://my.devsuite.app/users/chergert/following","followingCount":203,"icon":"https://cdn.masto.host/mydevsuiteapp/accounts/avatars/112/883/023/673/142/869/original/4a51dd0994e133fe.jpg","id":"mb2k98ny60nt8oj","inbox":"https://my.devsuite.app/users/chergert/inbox","iri":"https://my.devsuite.app/users/chergert","isLocal":false,"last_fetched":"2025-08-24 11:37:30.844Z","outbox":"https://my.devsuite.app/users/chergert/outbox","preferred_username":"chergert","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmM6lbiiT/NfnTxygR22a\nmz1VFPAr0uzWMCr6fE1fkAvACEYBSmVl7nvvY3a6My+JyT6kOeSS/93ASJ1N/WFp\nIZ26VXlpRgexM8B3fifbfCrASdLLMMreXTP7Nj8joNX88y29mVFP6EU+h5j+EkAt\n6tpBZIEawxdyd09msiLysctRVwrfIojux7qPsy9/DJxXRWzeOn8xein2GZBu/q59\nWpUEI+cMIE1+AUJpaGdTh17jS5zrBIKPG+MxdQSSt3n2vPxotCi6QYREwugsmFO7\njiYfAsbOUW7sd2/Tylr7dLJxI1vWj5LvqIO6KJ3ThBBGwMzTRBiR2vWQUfUsxhPT\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-07-31 00:00:00.000Z","summary":"

Linux and GNOME contributor over three decades. Blues guitarist. The two can’t possibly be linked.

","updated":"2025-08-24 11:37:30.845Z","user":"","username":"Christian Hergert"}],"page":1,"perPage":10,"totalItems":80,"totalPages":8}

Ian Rogers

Followers