{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-07 01:57:45.661Z","domain":"fosstodon.org","followerCount":399,"followers":"https://fosstodon.org/users/yantar92/followers","following":"https://fosstodon.org/users/yantar92/following","followingCount":44,"icon":"https://cdn.fosstodon.org/accounts/avatars/113/120/298/592/447/698/original/f8f695d3b84a02e5.png","id":"46967q75kb8b2ap","inbox":"https://fosstodon.org/users/yantar92/inbox","iri":"https://fosstodon.org/users/yantar92","isLocal":false,"last_fetched":"2026-03-16 10:58:08.355Z","outbox":"https://fosstodon.org/users/yantar92/outbox","preferred_username":"yantar92","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq6OBBTbgI60mO53ro1FA\nI49BHKahUfwGhttPQqL0QnEnW15E6N2jXIIzMJNQl16gRFc3HCFyP8tW+cM8tCrx\nNsEd5Z2Zenzac8/Rm/+H6/3u8lHLGDFr16MQOQGa0gWdNEvlnkcTYrZzZ6avkfV9\nnSFEYsQiqQHeN8Shwygz1l+dnpuP4IQcYlDQf+f9gDapQNf5/C4rUwKENp4mupKa\nFcVV1/kYQ6ZvQvxL+acx5ut77sQmPD6abnA534Mdop4Wgpgz7DA7K/Vw7BDfKA8Y\nu/1maDZF2EuGEPJZxlcGAh/iWIrebZOdx+u1yEzhVtPtDqL4xIgCIySzFDMQi/Ml\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-11 00:00:00.000Z","summary":"

Maintaining Org mode (GNU Emacs)

","updated":"2026-03-16 10:58:08.355Z","user":"","username":"Ihor Radchenko (yantar92)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 19:02:18.255Z","domain":"fosstodon.org","followerCount":213,"followers":"https://fosstodon.org/users/karthink/followers","following":"https://fosstodon.org/users/karthink/following","followingCount":1,"icon":"https://cdn.fosstodon.org/accounts/avatars/112/149/333/515/576/570/original/0ff940875fc3738e.jpeg","id":"42407gc2499g1c0","inbox":"https://fosstodon.org/users/karthink/inbox","iri":"https://fosstodon.org/users/karthink","isLocal":false,"last_fetched":"2026-03-16 10:58:08.578Z","outbox":"https://fosstodon.org/users/karthink/outbox","preferred_username":"karthink","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs8sIdayFXM+C+TOZ1oxk\n24YTMIeZXmaM04lqmK0aeSyaNoVQLIk+WdaCB0KbswZyv1lAtBErXEOQxv4Mtz1O\nIJVqVZEnGW40ORbGLIS503iTpl+8vmcWKjc+fCm+msIjl0RurjD6OVzHQtC9l5O4\n5/A0kmKPj3iPaxxL0QGAjTa2MOX6w5dWVgpI6509T1NB3Cwyu1cyLjIRFNVZDtRV\nAMAXX/qpQKLqQEWIhwbpf67Fd1xiWzq+QaqNNVT+XvUjFu97159upqssaSLHh5lJ\n4btCqVS2ROB8zujuKYlJaSRke1xrHGDJ1/ftdzlnrFTclh6aSYVhmn4cMjGoc716\nZwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-03-24 00:00:00.000Z","summary":"","updated":"2026-03-16 10:58:08.578Z","user":"","username":"karthink"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-23 10:27:38.257Z","domain":"social.sdfeu.org","followerCount":214,"followers":"https://social.sdfeu.org/users/pkal/followers","following":"https://social.sdfeu.org/users/pkal/following","followingCount":109,"icon":"https://social.sdfeu.org/system/accounts/avatars/115/360/434/448/834/273/original/64ea68500d013688.jpg","id":"452yx424f7t1kf8","inbox":"https://social.sdfeu.org/users/pkal/inbox","iri":"https://social.sdfeu.org/users/pkal","isLocal":false,"last_fetched":"2026-03-16 10:58:09.014Z","outbox":"https://social.sdfeu.org/users/pkal/outbox","preferred_username":"pkal","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlgnFWIJN63i3l01kkMk8\nSBt/sdD+zSx9WFuyTUJNbVaZVsp/RIxjvxbcnkOUkluChjiY/b/jkuQmOtZ5wtdc\nO8HQXoubxonVHxWyKIeHJAsatJZJwAus1PuV1eJO6abAPcp4McV++eHWCJIPi9in\n3d1gwR+2a7tP9K6qsrGjL5qemGdrDGnEEITSxPwG0LduTMAOrbTxOlQqsk+ns8RI\n21DdYb671r6ZETY5vntzk+HYm6jpk42AMSRutU2UmC4HFENUZnKOvprBPgUHbSyq\nmHMMFlfyUglp+26osyxlGJiOVMm+KNk2fhJobn1fySVpIgj9WH5XXMmGhf9cBc1Z\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-12 00:00:00.000Z","summary":"

I do computer science, mystery, apologia, repudiation and denunciation.

Academically I work in PL research. As a hobby I work on Emacs with a focus on package management related topics.

What others have said about me:
"[Philip] has many of the attributes of a high-school bully" -- @flogth

","updated":"2026-03-16 10:58:09.014Z","user":"","username":"Philip"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 12:40:33.521Z","domain":"mathstodon.xyz","followerCount":541,"followers":"https://mathstodon.xyz/users/oantolin/followers","following":"https://mathstodon.xyz/users/oantolin/following","followingCount":403,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/721/438/100/207/085/original/06c706aeaf1a6098.jpg","id":"58l75527ake0193","inbox":"https://mathstodon.xyz/users/oantolin/inbox","iri":"https://mathstodon.xyz/users/oantolin","isLocal":false,"last_fetched":"2026-03-16 10:58:09.050Z","outbox":"https://mathstodon.xyz/users/oantolin/outbox","preferred_username":"oantolin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3yty/vukPrT9pUGjBfo/\n/QcL2Wwj3r2tHSft4FaDbsvrEe+PJ7M6oOvM2fk/iFYQQ/TLyiabDS5BJBp2HYi4\nCYTV6T1CsfZqATt0R+mpZKyTD+QpZSEp8ngzhVY9PCLADSrxXKUlwsU/CeW3i5Ba\nGrCPtC9kZ/otepRpMGpvblo4nU+wqCxobQ3RlE1uooP91uR2gEwfhVRbeGKjJHqM\n98LZDQdOmY5Q0JFfuXPKnEbqZGeaxG9IUNkifWZnzMYPzF8L5lB4iWb3gMe6kXcS\n8WWovgaZXDWjEy0uRiaYsIMXlwIH5rA/ietNoI0l2dcz5z4Gb0j3IcgJyFPCaqsG\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-16 00:00:00.000Z","summary":"

I'm a mathematician at UNAM in Mexico City. I work in algebraic topology, homotopy theory and higher category theory, but am interested in all sorts of math.

I also enjoy computer programming as a hobby and am a big fan of the text editor Emacs.

","updated":"2026-03-16 10:58:09.051Z","user":"","username":"Omar Antolín"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 12:59:37.772Z","domain":"mathstodon.xyz","followerCount":106,"followers":"https://mathstodon.xyz/users/tusharhero/followers","following":"https://mathstodon.xyz/users/tusharhero/following","followingCount":128,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/329/977/826/434/003/original/ad542ed16e0b31b6.png","id":"ahqxbyqwtofvtr9","inbox":"https://mathstodon.xyz/users/tusharhero/inbox","iri":"https://mathstodon.xyz/users/tusharhero","isLocal":false,"last_fetched":"2026-03-16 10:18:56.401Z","outbox":"https://mathstodon.xyz/users/tusharhero/outbox","preferred_username":"tusharhero","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwz161vrLa5MUAmLE6wsf\njOUfAA0N5CZZq/Dx8sdZYMxC+p5YH/1yNVh++3T7m2cv/JvP+nWhboyPGKh1NS/E\n8qZjYcgDaW9IzrH3ACSQlt3u2Lnln5WBQW1sRe5IFUycKk95eKzmlt6Jafcxf2qq\npnmVQqfacyjZlVADGrFXcy4GnUi26MOaJwWExQjY/JQiUb7u/fzZntufB766Plzj\nsB+RP7qjYNNtTnqwJGfogmsGxlEb6g32pU2HYe1mdW8QNTx3pFZcROUF7ASz5cik\n3yfdGi1lAhDnoNYuXHtqG3IhKUIQx5iGVeNiMuUJQhFpZBgDyyrIhf9FSHu1Afyw\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

inactive

","updated":"2026-03-16 10:18:56.401Z","user":"","username":"tusharhero"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 14:16:28.028Z","domain":"mathstodon.xyz","followerCount":278,"followers":"https://mathstodon.xyz/users/divyaranjan/followers","following":"https://mathstodon.xyz/users/divyaranjan/following","followingCount":380,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/461/862/707/516/704/original/8285365a981dfe21.jpg","id":"vnm23kd059467fr","inbox":"https://mathstodon.xyz/users/divyaranjan/inbox","iri":"https://mathstodon.xyz/users/divyaranjan","isLocal":false,"last_fetched":"2026-03-16 10:58:09.096Z","outbox":"https://mathstodon.xyz/users/divyaranjan/outbox","preferred_username":"divyaranjan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs8cAdDbwCKEiRDU65GPx\niFzF4w8uv7W3BxvhK4POuT9DmvAfcq5MRShs4r5bjnh6Jp0KjS9nBVSfBtkda0F5\nWJy2fgOUwkcJpxO5o7uXAU4yya3gluAq3DZsRhQgxSaF/pJTPsScHVKlzGEN/r+I\naLHmzy74tpZphUobXOA+NNuYsrBoVMa9/PRgLojD/CKhD45P0+MwrWsO9hy8b/ko\nXWapmcZnYcr/Amn9HjFLmesS+kNLXIRLlHSqiksQGc0TUi7Puo+Bu+cKuD6vnlHn\nxQnWYRakWOQ+tPYakfwf/or36lSLt68HBICTUs7CctD+jYYnsO1FqoaJclbB0c07\nLwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-11 00:00:00.000Z","summary":"

Mathematics, Philosophy and Libre Software.

Lives inside GNU Emacs. GNU Guix package maintainer.

Lisps, Haskell, Rust, and occasionally C.

Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.

","updated":"2026-03-16 10:58:09.096Z","user":"","username":"Divya Ranjan :hilbert:"}],"page":1,"perPage":10,"totalItems":126,"totalPages":13}

Daniel Mendler

Following