{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-08 15:56:26.654Z","domain":"agda.club","followerCount":0,"followers":"https://agda.club/users/jesper/followers","following":"https://agda.club/users/jesper/following","followingCount":0,"icon":"https://agda.club/media/0685df9a795df0b3bcbe265b50dc1d1378337173b3421508985b026b91c2997c.jpg","id":"1vpu0ufxe2clccn","inbox":"https://agda.club/users/jesper/inbox","iri":"https://agda.club/users/jesper","isLocal":false,"last_fetched":"2026-01-10 07:04:38.963Z","outbox":"https://agda.club/users/jesper/outbox","preferred_username":"jesper","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvxVfryY9wrzaXSLxhu17\nq6FDguwOd3nUaA01T2KP+SRCHodi0k63yMxSNwr3QFR9bxm0OPWNQf51WedJeZaz\nD/i0WErYkU5wG4k6yw0y+mtMwELaeuAQ6WuUUVHwA4u6h90/gQKhfToM3xG1kenw\nkwVuRklhzit4uZOu4h3AQ9i83p0QrMYPPVG9zl7Ch91pb5krUnVvoIjevkJWm1e3\nfTt5PLeBzdmsO/7MN1njBr7Dng/YODLdwGWB3noEx2jPmSLPwUR5lnEa/RueRSUi\nvzueuEjMeJJAynwcy2RXILUi/bSNtKdr9btTOM3BQfNV4ILXq1x9rEBPs3YXhl8j\ntQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective charities.

Talk to me about:
- Dependently typed programming
- Tabletop role-playing games
- Playing bassoon and clarinet
- Effective altruism
- Climate change
- Neurodiversity
- Mindfulness
- Creativity
- Hiking and landscape photography
- Veganism","updated":"2026-01-10 07:04:38.963Z","user":"","username":"Jesper Agdakx 🔸"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-01 01:28:11.503Z","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":"kd80qfzlmyrbv3o","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2026-01-10 07:04:39.107Z","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":"2026-01-10 07:04:39.107Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-12 14:07:02.724Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/artem/followers","following":"https://functional.cafe/users/artem/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/110/069/252/667/294/702/original/61eea4cb6e3c60cb.jpg","id":"afwzlff2n0lf88h","inbox":"https://functional.cafe/users/artem/inbox","iri":"https://functional.cafe/users/artem","isLocal":false,"last_fetched":"2026-01-10 07:04:39.268Z","outbox":"https://functional.cafe/users/artem/outbox","preferred_username":"artem","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA78rutQYa47BEaB+Rqz5k\nzmfzmg+SyyClR2+LgdJlFyuCGOQ2ARYUYWJPdSafPDoq0kfBz16oBy6Z1MEywOZP\n3EVCc2vB0U/X+iAv/T3beXcpc6czljzKlvM5CTbgBSh4txy3sUrPW71xGQWciuC/\nnv2G9vLvua8KPSBuZD0zcYWZDjwUUxdMoTtxEctRPzMRDyVTRH6nytCuLJdEm0Zk\ntIU89ZPv4LOH6H44G3Bop5r+a5WNeuEGYemYHirBsfkIw8RUYUID5PE2Zm1sAMnY\ni9gDUl8ejovjJxlmQKAHAYHwb5BcecNELgClW2LkzEQNhfE0tPU3hUpMKd6z1Wmu\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-22 00:00:00.000Z","summary":"

Postdoc at Purdue ON ACADEMIC JOB MARKET for 2026. PhD in CS. Programming languages and compilers. Julia, Haskell.

","updated":"2026-01-10 07:04:39.268Z","user":"","username":"Artem Pelenitsyn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-27 22:01:50.238Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/gershom/followers","following":"https://mathstodon.xyz/users/gershom/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/056/664/original/ac1fd51156d6843f.png","id":"7dwac72tzqg0ypo","inbox":"https://mathstodon.xyz/users/gershom/inbox","iri":"https://mathstodon.xyz/users/gershom","isLocal":false,"last_fetched":"2026-01-10 07:04:40.681Z","outbox":"https://mathstodon.xyz/users/gershom/outbox","preferred_username":"gershom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw2HNvIiWQDZkSy2GP3G/\naps8Z3NMTmjTITpuuDZKBzUWHA+6+NIv2K3/9qN1/mRK+VFZamaAt41hukzaw4rp\nSx6iS0UpTr78bcYGfCBqvgeycBAw3mgWgOtyqbKsUXfiPh0CKfVm2wnv8mTzHJIV\nIm+tAes78zjdHdS0tw7YVrifkX6Tbk7wd0BfCBTDopQQ7n9IHEpqS6qjSYDfJMIJ\nWewWxN2z3LL4BzQEZnucdVqWkz9cuMGNXC0qEkT2PBDfrGTyZl6R8o0Xjgx+xScT\n+AokHzJjlbCAdE1d9zHRMwdcUzxh4jmYLAp8v+RYmW4aq2QzohOt/3yWm6hm1Yys\nFwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-10-09 00:00:00.000Z","summary":"

"more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop

","updated":"2026-01-10 07:04:40.681Z","user":"","username":"sclv"}],"page":1,"perPage":10,"totalItems":24,"totalPages":3}

joomy

Following