{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-03-17 18:47:29.818Z","domain":"functional.cafe","followerCount":13,"followers":"https://functional.cafe/ap/users/116244814534628887/followers","following":"https://functional.cafe/ap/users/116244814534628887/following","followingCount":347,"icon":"https://files.functional.cafe/accounts/avatars/116/244/814/534/628/887/original/496af43910d5e56d.png","id":"1gtochwk9o7rlqz","inbox":"https://functional.cafe/ap/users/116244814534628887/inbox","iri":"https://functional.cafe/ap/users/116244814534628887","isLocal":false,"last_fetched":"2026-05-12 21:20:43.114Z","outbox":"https://functional.cafe/ap/users/116244814534628887/outbox","preferred_username":"ajk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0jKB/OCA/4BExmhRoU8Y\nMPxVM0q96xU2UY5Lbv5OzmFdgwNsg2YG0atEILvn7AmKGXmAHyUqAvUnV40aHSwa\n82QB8AIW+VJ7UNZ6duvYQNELbQ8rslPkBliWfJKvlp9C9s1Pu7kB4RQTaPG3ZpZn\nfaMuf14ybfSmXlZV743Z82tECpfTS8UzgWqzD+Azi87ejz8fvUdiBySPy818l1SA\n4PH/gtvnE+YV259cc/U89dYgX18tc7m6gKZJdVv1Ehj/1Qx0oDJl4W2vVDRhDDOT\n9dZI+nKg1JmK0qLhATF/SASOmFXtmyXCHx/2vM4YF0Qbg42jMjncr9+nq15KrJel\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-03-17 00:00:00.000Z","summary":"","updated":"2026-05-12 21:20:43.114Z","user":"","username":"Andreas Kübler"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 18:56:02.284Z","domain":"hci.social","followerCount":51,"followers":"https://hci.social/users/hgouni/followers","following":"https://hci.social/users/hgouni/following","followingCount":70,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/599/587/717/384/816/original/94e986144bc72c17.jpg","id":"1hlx66tznzqclbq","inbox":"https://hci.social/users/hgouni/inbox","iri":"https://hci.social/users/hgouni","isLocal":false,"last_fetched":"2026-05-12 21:20:44.187Z","outbox":"https://hci.social/users/hgouni/outbox","preferred_username":"hgouni","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtnixXYs8HsrFphiJ9CLb\nbZkUxBqRAD/5QEXgl9stDx8RnJ2tu6p+yZBLVtO9F2QTe+BbfNb+9+GhKeWyOESV\nymz0kXGAR5OO1OXXQn723QXwhP0zGo4njDGYeJHwhzLiNl/GKyDJqNyoh6ZTley6\nIoJ5hJL4MsBxvI8onUWW1vfi/yOFygixVUAzyco9eiYe7DtyMMOhUnBNdfoQZ4wm\nxo+j5lh2FQuaGb+bfVnA3ISsbA64Lbzx10Egp69wWhhA4xAHsYt4xBi11FZVTdzi\nr+7Rj9O6KEm3bphYL+2v/qEIEVRcOdZrlRF6WLu7GkLfJq+28iL5Sh6axFF7kD5M\nEwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-18 00:00:00.000Z","summary":"

Third-year PhD student in type systems + HCI @ CMU

","updated":"2026-05-12 21:20:44.187Z","user":"","username":"Hemant Gouni"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-17 19:11:14.764Z","domain":"mastodon.social","followerCount":2,"followers":"https://mastodon.social/ap/users/116274052341762367/followers","following":"https://mastodon.social/ap/users/116274052341762367/following","followingCount":23,"icon":"https://files.mastodon.social/accounts/avatars/116/274/052/341/762/367/original/d6a26ec744b5978b.jpeg","id":"ukgxmell0jo4gr7","inbox":"https://mastodon.social/ap/users/116274052341762367/inbox","iri":"https://mastodon.social/ap/users/116274052341762367","isLocal":false,"last_fetched":"2026-05-12 21:20:44.296Z","outbox":"https://mastodon.social/ap/users/116274052341762367/outbox","preferred_username":"El1i0r","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAk99IBxOfDfLbyxW0x9md\n/0/+13qreQvlxczUELMGHsVuYxPfTUG9FG3giU++tY8KoNzQLJfrxen/QpzJwab/\n/bqQKPbGZGIRv7Y3M3263KNEwGbI3pNPR+3KxSWEHNkfI4I/97JBlp3sH9pHyOva\nNg5kVYBvOc+TwVw2r2lnd5vVk01Q+LGMBVQTLaam6fp8YjbuFDWaXEPIq6vN169T\nOl0CFM+j9eOFQ5jQC6eT19XJj402s7K8fCSBS0aKa4m8FGidBiV8Le6wnkH/j2wo\ngrkV5SL8jDCSiuxBKTFpLKnkXzYmuANySqyLOGt8FS0Z4uunwxK2QfNSo1egsOXc\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-03-22 00:00:00.000Z","summary":"

Muslim. 16. Sometimes tinkers with things. Give me a pen and paper and I won't be bored (me like writing). Trying to get back to arts.

","updated":"2026-05-12 21:20:44.296Z","user":"","username":"Affan Ahmad"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 03:54:30.240Z","domain":"mastodon.social","followerCount":16,"followers":"https://mastodon.social/users/bhargavkk/followers","following":"https://mastodon.social/users/bhargavkk/following","followingCount":41,"icon":"https://files.mastodon.social/accounts/avatars/113/585/739/964/723/897/original/65d7c4c65c35ed91.webp","id":"g8zk63z3xghzpgp","inbox":"https://mastodon.social/users/bhargavkk/inbox","iri":"https://mastodon.social/users/bhargavkk","isLocal":false,"last_fetched":"2026-05-12 21:20:44.537Z","outbox":"https://mastodon.social/users/bhargavkk/outbox","preferred_username":"bhargavkk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAty2t5C033ll6YkWSRfpx\nhCLknMb/2QwihD30wGXjtBajJTAvjNNrpZmXO3yO1sfc1STNLeAHni8wYiLZq3cf\ncMs+pvuKGB2XnQyV2+X2SQfrTCwpR9dVfa7uc5ThiDZcjtsxtnDW7bFknwOCF5Ml\n1/4yYzRklYgxBYcehD28SdWUvt6DY6d7sHUy4gAcERuC35yhlR/nIR9W0ayOazq5\nshv+XxpRAjXaeje+IBtEEHj4p9DzWiH++0IboIE5BOG3hEmzcuzUiUxuHFWzc1DB\nEJIB9dWsfBl5KV6utCqZ+cIj4zTW1j6grrqOdpFp/4uZNhkBD61wWZBYB1PIjuOl\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-02 00:00:00.000Z","summary":"

PhD Student @ University of Utah

","updated":"2026-05-12 21:20:44.537Z","user":"","username":"Bhargav Kulkarni"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-03-28 08:20:32.242Z","domain":"mathstodon.xyz","followerCount":37,"followers":"https://mathstodon.xyz/ap/users/116279410142029980/followers","following":"https://mathstodon.xyz/ap/users/116279410142029980/following","followingCount":204,"icon":"https://media.mathstodon.xyz/accounts/avatars/116/279/410/142/029/980/original/e8629a9b22fa3c2e.jpg","id":"xxxpelst6fpl9nu","inbox":"https://mathstodon.xyz/ap/users/116279410142029980/inbox","iri":"https://mathstodon.xyz/ap/users/116279410142029980","isLocal":false,"last_fetched":"2026-05-12 21:20:44.729Z","outbox":"https://mathstodon.xyz/ap/users/116279410142029980/outbox","preferred_username":"vchakhno","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoYU4S8+cwEzOIrx0chqI\ngpBusGIdkYy1/K6Nde99ljT+zPfhBGxsvpkURT7/BRlOBVfTJCWiG2RCkzMyBC5+\nQDaOk+2YM2oyOev1hw3Oy3Sxr95gzaH7IUXRVeXUvG5VfduSJ7K6IgeP/G1La/jN\nAqMEJGK1c3DMu9sQR3OrThcZxj/SjLS9hxKXaGWbUFYJcGhH65CfaFOiDKMn3dIW\nOjhSzHnNQ52PvSLgyvbDz+lCosvTyfo/eGAUInWFjjJZqykDZSD80BUNwCVQMPvO\nMs8hB0PFviJUSJujcSm9Fvcg7OK0soymwB+slyuWQDWPimY4+Gw//6ClYwbjGuo6\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-03-23 00:00:00.000Z","summary":"

Hi! I'm a CS student doing programming language development (type theory in particular), assisted theorem proving and computer art as hobbies :)

I spend a significant part my free time overthinking how computing could be better, in terms of reliability, composability and transparence to the user.

I'm still a beginner when it comes to type theory, so I'll probably be asking lots of questions that may be ill-constructed. Please be gentle!

","updated":"2026-05-12 21:20:44.729Z","user":"","username":"Vélimir"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-16 12:47:17.743Z","domain":"mathstodon.xyz","followerCount":2,"followers":"https://mathstodon.xyz/users/ericluap/followers","following":"https://mathstodon.xyz/users/ericluap/following","followingCount":58,"icon":"","id":"b9ottxadns8kvcr","inbox":"https://mathstodon.xyz/users/ericluap/inbox","iri":"https://mathstodon.xyz/users/ericluap","isLocal":false,"last_fetched":"2026-05-12 21:20:44.779Z","outbox":"https://mathstodon.xyz/users/ericluap/outbox","preferred_username":"ericluap","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsylK34TGW7CEFn6YAjbS\nAbH3iQv1TsCuqHf9zVcjnkHvsoPz72nxeONzR4aC/jrVyOIrWKmHWOj9dywSZsuN\nGVFzexHT0YkIVbdDUzgW5OChZRZT0VpRjLMIhyxjrxwNAzrGnJTnE2K9Jpi6m+zy\nzWEMuDYYXH/elMjGqwWjl9hEmE+cUBgRya1e2ya762egC2797sSu2sapt29ei+OJ\nOybpbCjXKbz2NNXD/qwuO2lHmvB27LT7gx+Nm9Uv39V9uD24hPQdMoJpYfWcWLG+\nOJW4U90cqwUWxu2VIzrlU8gTbmZEGuxLfttYDRqOh5KxALnm5T0lChWecpeR2lV5\nEwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-05 00:00:00.000Z","summary":"","updated":"2026-05-12 21:20:44.779Z","user":"","username":"Eric"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-15 20:52:54.732Z","domain":"mathstodon.xyz","followerCount":3,"followers":"https://mathstodon.xyz/users/arda/followers","following":"https://mathstodon.xyz/users/arda/following","followingCount":24,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/188/421/146/542/048/original/18e5b93018b412a2.png","id":"01y3uf5zhzqj2gt","inbox":"https://mathstodon.xyz/users/arda/inbox","iri":"https://mathstodon.xyz/users/arda","isLocal":false,"last_fetched":"2026-05-12 21:20:44.832Z","outbox":"https://mathstodon.xyz/users/arda/outbox","preferred_username":"arda","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0C+XM5LvJsLgRWYKpTjx\nlACaJQArU7io37moQ+Adz55sr3UXwyrRWNuh+jbbp/KHd7xpV2V0bK9gpKcZKGk0\nhaUmuF0OjdXPC6Oh2nlgiNQMx+vMgYNBB9s/H2JSG2ISV089ld3iWvA9de+A/K4D\nww0lQoKaCHteqM8fmdWoE+2JzIl/0yaSA4fme/jDm3A2DtXdx48shjRk0apQ9Rl+\nxw7/jPljvDHiHHi5sxZizDnHFMvEbI7kg74cwacMBRIabJBD0EO4VSv1v/cMyXRt\nMvLW1jnckJV4bOBgRXgDWi1C6Nj+wBXOhfVy9X/dod9zJ/6GPiq6qVtyvNO+Gneu\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-23 00:00:00.000Z","summary":"

mathematics undergrad @ izmir institute of technology. interested in logic, proof formalization.

","updated":"2026-05-12 21:20:44.832Z","user":"","username":"Arda Oncu"}],"page":1,"perPage":10,"totalItems":286,"totalPages":29}

markusde

Followers