{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-23 06:42:16.426Z","domain":"mathstodon.xyz","followerCount":194,"followers":"https://mathstodon.xyz/users/divyaranjan/followers","following":"https://mathstodon.xyz/users/divyaranjan/following","followingCount":349,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/461/862/707/516/704/original/8285365a981dfe21.jpg","id":"1xmeyelat8a4e05","inbox":"https://mathstodon.xyz/users/divyaranjan/inbox","iri":"https://mathstodon.xyz/users/divyaranjan","isLocal":false,"last_fetched":"2025-12-31 02:54:49.186Z","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":"2025-12-31 02:54:49.186Z","user":"","username":"Divya Ranjan :hilbert:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 04:03:24.339Z","domain":"functional.cafe","followerCount":896,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"24czh8z7skp7cf1","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-12-31 02:54:49.298Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2025-12-31 02:54:49.299Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 12:29:26.966Z","domain":"social.rust-lang.org","followerCount":12363,"followers":"https://social.rust-lang.org/users/rust/followers","following":"https://social.rust-lang.org/users/rust/following","followingCount":0,"icon":"https://cdn.masto.host/socialrustlangorg/accounts/avatars/111/250/853/473/809/020/original/e761c85205588b37.png","id":"781yc5dci2ouyuz","inbox":"https://social.rust-lang.org/users/rust/inbox","iri":"https://social.rust-lang.org/users/rust","isLocal":false,"last_fetched":"2025-12-31 02:54:49.381Z","outbox":"https://social.rust-lang.org/users/rust/outbox","preferred_username":"rust","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvn8jhVmmTHqMEWoV1FQ2\n+S6n42MjeTBTKtAUP1u0jjHEYNgvEBqm8Wjgfl47oqUMzHZ2pQKKg1uHsNPoDcQv\nz5RDCMEWQn/Vi1JZnt3xwhBtlD5hbpJmV+b+RnOW8rdu249cNYRnTcivcJhjOGsD\ndkUeTmNpMDVYQbCPxpumRuCRB8qtzIqsAybkxsC4BwaUSYvW3XPcLLotm5cVPfZu\nzojVVfYOBDaOiJ07Rexq4nqh2VpLnnziIUlk0wi0fkKXUZpuZShgr0bZcrqbfeJy\nVhadSXpsf5nPBVGXGA6kabU+VBZzuUbUzdmulfhbnaiyApRcERosCtBTWqAFha2S\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-17 00:00:00.000Z","summary":"

A programming language empowering everyone to build reliable and efficient software.

","updated":"2025-12-31 02:54:49.381Z","user":"","username":"Rust Language"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-13 17:43:54.431Z","domain":"chaos.social","followerCount":6007,"followers":"https://chaos.social/users/nixos_org/followers","following":"https://chaos.social/users/nixos_org/following","followingCount":31,"icon":"https://assets.chaos.social/accounts/avatars/107/829/824/358/955/190/original/ee8d0308cb97acd3.png","id":"0r0focxymmf952n","inbox":"https://chaos.social/users/nixos_org/inbox","iri":"https://chaos.social/users/nixos_org","isLocal":false,"last_fetched":"2025-12-31 02:54:49.481Z","outbox":"https://chaos.social/users/nixos_org/outbox","preferred_username":"nixos_org","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtmDZ4ZW/F+VxF24ZRT1B\nz6E/G9TEqYTrve44vX2wbvXrTehgjJCxi+nOcVP4qhKtRPfnD+vej1+tWqnWNZyq\nEq2IK7cYfWNF1e7hl9NHMouQLMCNFTyvtPRJjyg6tyDB16vEYlEOETa7xtL2tD8J\npvHdhvCjERDPvi3eh0IySNAtxW6EuVbpPGtQ12nCHoDbrG+1t64s4CVdGcAnbTiN\nr4HTE1OTGbsz/pq6PuPjgciPmi9sG3D3wRrlFuUGnIxW9LyxbBzT7DwlFkx3euN1\nbGUfaU1ZaY21f74UJdMJJq//ZLZCTCToE9ARtmldZJCGQOwCy8mC/R1dPunzlh79\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-02-20 00:00:00.000Z","summary":"

Nix is a tool that takes a unique approach to package management and system configuration. Use it to build reproducible, declarative and reliable systems.

Posts mostly in English.

Announcements created by the NixOS Marketing Team, account monitored by @raboof

","updated":"2025-12-31 02:54:49.482Z","user":"","username":"NixOS"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-31 02:54:49.952Z","domain":"hometech.social","followerCount":0,"followers":"https://hometech.social/users/seth/followers","following":"https://hometech.social/users/seth/following","followingCount":0,"icon":"https://assets.hometech.social/accounts/avatars/109/394/632/277/899/226/original/0f5b56a270f5c3e8.jpeg","id":"jzxukkphugt498z","inbox":"https://hometech.social/users/seth/inbox","iri":"https://hometech.social/users/seth","isLocal":false,"last_fetched":"2025-12-31 02:54:49.951Z","outbox":"https://hometech.social/users/seth/outbox","preferred_username":"seth","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxlPxQjTwOvpSU1AaBFVD\nmiU4wvhVDCcPctYnfbCmgIxbdlxbCkqBtUAPW7IeIYxcV9OJ696bm0H1kjOhKVUY\nbz9WsagCWaPH0UgOJXIyRXfjYiWKUG9jY45KX7jHgW53BfsibGH3jqEZyTuY+f8P\nLlHOPU7DxxprgU1kCjK6pO0EuSELkKrk7xFG1lhteseaNFOYLz8Yj7QeuaRfkHnA\nJgQI9KfT2RYhG3YaR+X/if2jqFJ20dWw7mgpEFybOXsuTjszqLV7yTH0pnV8s72i\nzLyq9MnHQNNSvALE9+UvcsEUtVcpbL73raPZcqCYoLMMDq3KbvOpGk8RqxzLgWOT\n3wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-23 00:00:00.000Z","summary":"","updated":"2025-12-31 02:54:49.952Z","user":"","username":"Seth Johnson :mastodon:"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-23 17:07:55.120Z","domain":"functional.cafe","followerCount":22,"followers":"https://functional.cafe/users/kei/followers","following":"https://functional.cafe/users/kei/following","followingCount":34,"icon":"https://files.functional.cafe/accounts/avatars/112/172/860/186/080/823/original/bed74f4bc6bd678d.jpg","id":"176tg4nfdzw659i","inbox":"https://functional.cafe/users/kei/inbox","iri":"https://functional.cafe/users/kei","isLocal":false,"last_fetched":"2025-12-31 02:54:50.006Z","outbox":"https://functional.cafe/users/kei/outbox","preferred_username":"kei","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyD+mNp3thAZQWNofltap\nTvNEy7eYzazJqAPGwNaWL9/yHoC3xle3pMKHVyclX0FPMIxiguwnTjf/HZXZpF42\n63jJgJS8TYROU93ABpn/ZPP5CHRDrfZ9bizuh/oymjsgN7jvmLXIZXbOfvuzo1yG\nrjSMvV29c8umzh2d/DsHTpl0LruyBmjOEue43eeR6jhC1FrG+IT+XAHJ7nHL9J8g\nNlz2sQpUQGgq6PIN+6k1xxw/pVX0YCajOE/gyIDtaQFmHnc6HiMUZe/mqCjBz1LY\nhy+VN1adsmwBR3QedoLtUJvvdXMhq1Ac0sLR+ribkS3CqbOdn2l1/MNlVbHLD6sM\nEwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-03-28 00:00:00.000Z","summary":"

types, compilers, specifications

","updated":"2025-12-31 02:54:50.007Z","user":"","username":"kei"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

Shakhzod

Following