{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 02:47:45.888Z","domain":"mathstodon.xyz","followerCount":109,"followers":"https://mathstodon.xyz/users/Nicolai_Kraus/followers","following":"https://mathstodon.xyz/users/Nicolai_Kraus/following","followingCount":50,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/964/742/805/989/905/original/01442f68f7992324.jpg","id":"ezra221s0t5i15j","inbox":"https://mathstodon.xyz/users/Nicolai_Kraus/inbox","iri":"https://mathstodon.xyz/users/Nicolai_Kraus","isLocal":false,"last_fetched":"2025-09-01 10:06:45.181Z","outbox":"https://mathstodon.xyz/users/Nicolai_Kraus/outbox","preferred_username":"Nicolai_Kraus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmWJB148Yn1pCYIyERfo0\nFJjDJqJnO4RdGzBhAaL3cx9EwRIc2l+mYS384SYVaTbBd0rqvc2iCZECyoRzhTfM\nLMHxpUqODBPmwhy/LHMe/dlsZ9mg111NqIdXZhUklViL9gG2qCWrgbhGK14ehHsj\nrYV3OIVIJZdYSh+dlmC4itUMMif0iqM/nOkabzsIXHNWJowcm78n2QTuv6+GbQWP\nRrgci4GBFqxhF3a2rqpTLlsc2vbDJpYknIXwSo7g09bfcEajcpPLb3kGcRqDCxTC\nZWhDD+0fG9pWMSI1duHOc9MKiZ/0bOfamFRMfId3wZpZEHI9TbvJork6cUt51QQB\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-20 00:00:00.000Z","summary":"

I'm a professor of theoretical computer science at the University of Nottingham. I'm working in the area of dependent type theory (favourite proof assistant: Agda), especially homotopy type theory.

","updated":"2025-09-01 10:06:45.182Z","user":"","username":"Nicolai Kraus"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 12:17:34.982Z","domain":"mastodon.social","followerCount":44097,"followers":"https://mastodon.social/users/scalzi/followers","following":"https://mastodon.social/users/scalzi/following","followingCount":88,"icon":"https://files.mastodon.social/accounts/avatars/000/226/196/original/93630beedf643ebb.jpg","id":"p4df0rpjs52n95g","inbox":"https://mastodon.social/users/scalzi/inbox","iri":"https://mastodon.social/users/scalzi","isLocal":false,"last_fetched":"2025-09-01 10:06:45.398Z","outbox":"https://mastodon.social/users/scalzi/outbox","preferred_username":"scalzi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxYVO+84PVJdAk1UzHzji\noygwXt7Cd+WMp9vby8O00nU029PULuA/SkpDzSZRxPjHgQhqokzAghX9Yfmea7Au\nTh30eSCnN5+YqNuPrJqmjn5NQhhewUtqiytFlGLfjYnpObL/J0jBnhHbSrXthSD3\nOKc2fO3i+wQ/feSKs/cz8ZzHTvURrF9JWXf4/Mkw28NYK8uD5ajku8VZmVV5AA5/\nYuG4gr0CCXtDkgbidPYcFKi2grUyPSXlnMFeESqipcceuUEDG9vQiF5cdFWTHLRg\nUB6MZABg6dcARk5Kf5xvPlj1T5aCTN4oAH6NaM8Ky0rQXOni93Cn2j2hZ7a3j95B\n9wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-11-05 00:00:00.000Z","summary":"

I enjoy pie.

","updated":"2025-09-01 10:06:45.398Z","user":"","username":"Scalzi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-20 02:09:39.273Z","domain":"functional.cafe","followerCount":27,"followers":"https://functional.cafe/users/escape_velocity/followers","following":"https://functional.cafe/users/escape_velocity/following","followingCount":92,"icon":"https://files.functional.cafe/accounts/avatars/112/354/861/591/269/409/original/f13e60b365a4b5fb.jpg","id":"415u8d01zds0r3e","inbox":"https://functional.cafe/users/escape_velocity/inbox","iri":"https://functional.cafe/users/escape_velocity","isLocal":false,"last_fetched":"2025-09-01 10:06:45.588Z","outbox":"https://functional.cafe/users/escape_velocity/outbox","preferred_username":"escape_velocity","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqcaOVTtu6yfD2+Y7dTyj\nS33X8xpUFlf2bKd98fZwNC5RrTflZZYKEc3cv8K3Vi1eOg7kOVfNV4eYUH2mteXN\nvyeFHVQFV57p/dFam8ElCw7UlAHeTtTmPuTqMVVxihROAbojiCl7S+X+lqytggX5\n3MO8ZS1x9C5t/FGf2CvXnYSIGICX0yQVSJGuROAbgGfmiB65GxHPqmaZqGGRdN/u\nDBlkPAVeyy8/xLToeOBD8m9W4L6UC7Q4Vj/JnVdAtsp1SS+Ig5kqkKtkKMbcytgO\nk5ZDsW8N17VPU007BtWij5SuiXx11viHCH3E1ohkzOj/+KR2SNKmM1mrVeGGv1jd\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-29 00:00:00.000Z","summary":"

Functional programming in lean and haskell among other things. Doing my PhD in CS. Feel free to ask me about asynchronous circuit design, metastability, and clocks.

","updated":"2025-09-01 10:06:45.591Z","user":"","username":"NoCanDo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-13 18:09:59.378Z","domain":"social.jvns.ca","followerCount":4232,"followers":"https://social.jvns.ca/users/b0rk_reruns/followers","following":"https://social.jvns.ca/users/b0rk_reruns/following","followingCount":1,"icon":"https://cdn.masto.host/socialjvnsca/accounts/avatars/109/684/299/536/552/582/original/3b8b653c28c0927a.jpeg","id":"x86afy139b6d1n2","inbox":"https://social.jvns.ca/users/b0rk_reruns/inbox","iri":"https://social.jvns.ca/users/b0rk_reruns","isLocal":false,"last_fetched":"2025-09-01 10:06:45.879Z","outbox":"https://social.jvns.ca/users/b0rk_reruns/outbox","preferred_username":"b0rk_reruns","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0qWrgQ+YzjIEm8iq5sQI\nrW/RDC03mJd+MzJVyF+oPQVtd85kitNVy434QkYtc5mlAJyVu/gnqDJUVm/espB7\nUl6C3kHQTxWKC5ErROhRPr6kmRpNIvPP0wj+vF4gtIM4wIXDE6jQyN2MZR5FbD1D\nw8Jva67e27d8iUDVZ9uKKcM3pjxPnLUF60rBbsz5qLmGRxh7ufRUZqLc5SaqCpe6\ndP2uwx7P0jo4T2qUhGFeHdWxRhP+5rH9B7KVqZde9shVXENai0RPsC995suAg5wC\nnm2JiM0IWGSoqHGHKk7IVQgdFg0un5TH/3z71c7xdG9LrgxRu2VyC2fPhgm6+IIh\nkwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-13 00:00:00.000Z","summary":"

This is a bot that I (@b0rk) made to post reruns of my comics. Posts ~3x/week.

Almost all of these are part of zines that you can buy at https://wizardzines.com, and you can find all of them at https://wizardzines.com/comics.

","updated":"2025-09-01 10:06:45.879Z","user":"","username":"Julia's Reruns Bot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 00:07:27.575Z","domain":"mas.to","followerCount":181,"followers":"https://mas.to/users/Canadian_Eh/followers","following":"https://mas.to/users/Canadian_Eh/following","followingCount":151,"icon":"https://media.mas.to/accounts/avatars/114/212/878/906/509/387/original/0eae777aed79dc86.png","id":"mxss158m8b363nc","inbox":"https://mas.to/users/Canadian_Eh/inbox","iri":"https://mas.to/users/Canadian_Eh","isLocal":false,"last_fetched":"2025-09-01 10:06:46.257Z","outbox":"https://mas.to/users/Canadian_Eh/outbox","preferred_username":"Canadian_Eh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAybe3o9lBmiJdo9oBYfu3\n81rFNcpH9hgS0I3mZNMVKnEjdEvscs1hUKGNLiICBcBrHpsNU+l1SF9vaeM3gbRZ\nRFQYyIi98ObPIMhk58RC9qlFFTiAwbdZmRFEE5zZ1Au6Ou0hgU1WuC+aMpxe9vTA\nqCUyI+po+7Hsjno1JobR2UZAs+PHpy5b5ZI+MuGLj/uV17B2Zlndu0ADI6MBWE6I\n3DzozN0GsRPTUVuLjsmqGuWdrXAAZBmbKbVFTCeAB5fNz75Z37fOtpvEsKPmW2k8\n5yx8Fu629s4eYF0XwrBIcOClmequVEmFPvZPLOFaYfuwT5XfrIn5x7E4sGBKK1Lz\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-23 00:00:00.000Z","summary":"

Exploring #Canada, the good, the bad, and the politely frustrating. Join us for daily trivia that's both informative and (hopefully) amusing. Let's learn together, eh? Even when it smarts a bit. 🍁

Canadian 'eh? content is created, curated, and managed by Canadians who love Canada and want to share the best of the Great White North. Our bot helps us get the word out, but the words are ours.

Got something to tell us? We can be found at a_canadian_eh@protonmail.com

","updated":"2025-09-01 10:06:46.258Z","user":"","username":"Sharing bits of Canada 'eh🇨🇦"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 18:16:09.916Z","domain":"functional.cafe","followerCount":173,"followers":"https://functional.cafe/users/hungryjoe/followers","following":"https://functional.cafe/users/hungryjoe/following","followingCount":429,"icon":"https://files.functional.cafe/accounts/avatars/109/308/557/153/942/788/original/e75cf0134d0b40c0.gif","id":"44ywoh060dc38zk","inbox":"https://functional.cafe/users/hungryjoe/inbox","iri":"https://functional.cafe/users/hungryjoe","isLocal":false,"last_fetched":"2025-09-01 10:06:46.334Z","outbox":"https://functional.cafe/users/hungryjoe/outbox","preferred_username":"hungryjoe","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtHE+DkzO6ZPOkALUhma/\nr1Ur2BG903i4wD/r18KCI31WekZDkBFLqCb7pxRj/dAzRBw/B1YcYOCoUzEcKuYr\nm5YLD6PQTBC45zN3O7E6il4EL9zRev0+zeKcilnYicvci9BGnW6HgXpbZmGyRssj\nrX/VW16qXGpd2ts7wQ7SbvJ65YGm/sLQ4ZZ44ou8EcyNmZ6gA9/jhYoc7mRtNqNB\ndmwFiNsL29y/NvUOVAvIm2lneNVqtpHYKoPMoJlX82zPUsnqYlE7YI1UQ1Cx4wLI\n9/tEdMDS7xUBOqyA8vb5g/AvbZseDAdtHWpJ6n2uIG3FiIQSZ5YytPlsHH/0qHvh\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Software Dev & Accidental Compiler Engineer, into Programming Languages, DataVis, Functional Programming, 3DPrinting, sewing, vim, spaces, he/him

","updated":"2025-09-01 10:06:46.334Z","user":"","username":"Joe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 05:55:46.369Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/petersibley/followers","following":"https://mastodon.social/users/petersibley/following","followingCount":0,"icon":"","id":"o5nt35m0lt0k1re","inbox":"https://mastodon.social/users/petersibley/inbox","iri":"https://mastodon.social/users/petersibley","isLocal":false,"last_fetched":"2025-09-01 10:06:46.430Z","outbox":"https://mastodon.social/users/petersibley/outbox","preferred_username":"petersibley","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6d2Ms7PP6GQuhoUub4jq\nTOGG1cIy/c8NJLyVTrOTX3OvEa90lTI16lkO+cSayEMOk/6B4r8IsO8JCKS6JxeV\ntVPqZYE3RLJBkD3QLAtSpWpeNMsCf9M3d/Sr/36LYEsK4IWBdt9kqwrr5HSCOauG\nbtwU+oaTmbNgY38MYK72QtJrvT+yd6+bnji1C8tHSpJ0997QPJZjD3M13yy8L/2z\nvz7g/Tb88yUVfO4rabDqxOzF9mxviAKvB4KG8vJZKhTNtMj5QX1wiHi+aPr+f2CY\nnCIbbt/4IuMxVfLONf81ErSpS2kyi6j7fFB9tD/gxsVvTrV1gkKnE5EMJpQnWsez\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-17 00:00:00.000Z","summary":"

Developer. Formerly @Mental_Canvas, @FiftyThree, @microsoft, @NVIDIA & @mathworks. Studied @BrownUniversity & @ClarkUniversity

","updated":"2025-09-01 10:06:46.431Z","user":"","username":"peter sibley"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-25 10:14:30.346Z","domain":"fosstodon.org","followerCount":80,"followers":"https://fosstodon.org/users/irogers/followers","following":"https://fosstodon.org/users/irogers/following","followingCount":104,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/314/758/881/039/914/original/16b71e3cd57639f8.jpg","id":"j26o3g7m5993z6y","inbox":"https://fosstodon.org/users/irogers/inbox","iri":"https://fosstodon.org/users/irogers","isLocal":false,"last_fetched":"2025-09-01 10:06:46.548Z","outbox":"https://fosstodon.org/users/irogers/outbox","preferred_username":"irogers","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAmyiHb1jwg02s3ppO6xlf\nkF2w8IuRQAFEJOcqxgXOLZnHPtTYR4ZMudOHq3R6Mvo+i0rOt2IDuF9fdqweMFl3\nuar87ET67wlUUi9hWc+TwM4LHSWZHP9gP2o/hzl3m/vUB58ZjA4r4JC5FJjvBQZv\nxrzuSdYSU4qt7KkdH31wGOVMXbR5D6TiZs4WNBq6bftAgGBWHGBvEm1pvN4Vwu7l\nJDfQH2Icdja2Fd0kTzB/5WgO0fk7hAK47TqnUqhz90otFcPxGVr/mnX0s/EZxSjK\nvGv2itGz0lReZ14/6Nt+ejfYedLxAFLg8ATrc2ExevSYx7Km6HT3/yi6AyEwKkJD\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

Systems software engineer.
All thoughts and opinions are my own and do not necessarily reflect those of my employer.

","updated":"2025-09-01 10:06:46.549Z","user":"","username":"Ian Rogers"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 00:59:35.793Z","domain":"mathstodon.xyz","followerCount":27,"followers":"https://mathstodon.xyz/users/matematiflo/followers","following":"https://mathstodon.xyz/users/matematiflo/following","followingCount":85,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/685/598/128/444/419/original/fb55138140c33137.jpeg","id":"4phb54z098a353s","inbox":"https://mathstodon.xyz/users/matematiflo/inbox","iri":"https://mathstodon.xyz/users/matematiflo","isLocal":false,"last_fetched":"2025-09-01 10:06:46.890Z","outbox":"https://mathstodon.xyz/users/matematiflo/outbox","preferred_username":"matematiflo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAkw9XAyKMLYcfWUzGpQM5\nPnSZD3f7ugEVCTiuvQFN5kYb+oH8vEwAnnQ61lF7slnBEw4LEQnRTaD5p11Yjx8J\n1ABpQQMd0AbTIcbfFHBz0Y7WXtkJ/QKMxTjq3Ymi74RQH43Pg7/eN7dUIxj6cknR\nhfoCfvWlYOPFGJCjWTQVktod0H+lJxDxGUXtSyAKu+SwknNDkvBshM12Jxkh4cPq\n0BAqPLnoPi+TIb3YbpN/e30JTgDyOUJB/M69ELVqYyoTMVP/4zQ6XPXECCVes7bv\nGrV3BfgxM44vtl4Pv2+OCqbKTQjbBUJWPjN+MujCp9P+6baezTpEIXIFwBX4gG+Y\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-20 00:00:00.000Z","summary":"

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

","updated":"2025-09-01 10:06:46.890Z","user":"","username":"matematiflo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 14:18:52.536Z","domain":"mathstodon.xyz","followerCount":17,"followers":"https://mathstodon.xyz/users/leolerena/followers","following":"https://mathstodon.xyz/users/leolerena/following","followingCount":58,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/148/691/original/47b132bcdbe1205e.jpg","id":"37rt79p517kg583","inbox":"https://mathstodon.xyz/users/leolerena/inbox","iri":"https://mathstodon.xyz/users/leolerena","isLocal":false,"last_fetched":"2025-09-01 10:06:46.952Z","outbox":"https://mathstodon.xyz/users/leolerena/outbox","preferred_username":"leolerena","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5MpDGidI2Ki3wPaAmNMC\nG0ptlBstjbHHwYDYjMN3bvY806ne3w6ovwGcLZ5JmnRN1Q0TQ6fo/07HDpEKSw6X\nrZgCQFng47HjAR5s8gqx/8d/IO4Nn9eKf/oDLXoQ2wxTRCMWFZMaA1KHRogHLH41\nqtdKFR9WWzGCjc9jVi8JK1lJusIDE/6tMFfnJLtog9uL/VLy7I9tIl6XvP93WXgf\nQWuY0+MuY8TcW/7rYdnDSxPZDnaQtYZYRJBs7cqo/Z/cVdK8cRSv9K+PR020e6IQ\nkoBJGWVM4OsVK7IztelRbE3uEvT3CfGWVxNzNTdio0C7KLBNYzX4bjqxIazhaUgM\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-04-08 00:00:00.000Z","summary":"

1st year TCS PhD student at UBA.

Interested in logic, type theory, proof assistants and algebra.

","updated":"2025-09-01 10:06:46.952Z","user":"","username":"leo"}],"page":1,"perPage":10,"totalItems":684,"totalPages":69}

🇨🇦 Joey Eremondi

Following