{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 16:10:54.048Z","domain":"functional.cafe","followerCount":917,"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":"ot196s1xhs3ux3g","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2026-01-27 13:04:22.779Z","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":"2026-01-27 13:04:22.780Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 23:07:10.521Z","domain":"chaos.social","followerCount":6064,"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":"gz77o6hhm3nw0l7","inbox":"https://chaos.social/users/nixos_org/inbox","iri":"https://chaos.social/users/nixos_org","isLocal":false,"last_fetched":"2026-01-27 12:52:50.053Z","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":"2026-01-27 12:52:50.054Z","user":"","username":"NixOS"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-14 21:13:12.504Z","domain":"ruby.social","followerCount":44,"followers":"https://ruby.social/users/znz/followers","following":"https://ruby.social/users/znz/following","followingCount":48,"icon":"https://cdn.masto.host/rubysocial/accounts/avatars/109/302/203/622/409/752/original/73e840a901c74855.jpg","id":"m6y3bodaq20wok4","inbox":"https://ruby.social/users/znz/inbox","iri":"https://ruby.social/users/znz","isLocal":false,"last_fetched":"2026-01-27 13:04:22.912Z","outbox":"https://ruby.social/users/znz/outbox","preferred_username":"znz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3rY5S0UqKtFxCt7VPuI4\nsg4cK7KrTm6Y9VrswL/lBJNrqUSKHXJ8zkHuluIsF6h8XAjCf/BkctMbzkrXXldV\nhOr9sQOPkppUIAeA9LO/i3rD96A4F2Lyt+qwcogpVFCX5g82LpWrAhmpToHKNwMl\nvTt7RxpSvnxsfjqIEvDgaqN3H+oRrpe0pT/fbIoQKmfJCLiAWok5I8J4i10ERrMa\nTLF35jVRN2VSk3tMcCh1GqS6bF9Q9WMHpOZdmV2JThkB/kEH7A+ptCojVsU0C1qc\n6jq4/wF0XZBQGWnf3yQ6wY3sYQ+fthq7V+/xV4jqrgdboZiFphe5sWmVlwXGpHmJ\nyQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"","updated":"2026-01-27 13:04:22.912Z","user":"","username":"znz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-26 15:43:13.725Z","domain":"mathtod.online","followerCount":0,"followers":"https://mathtod.online/users/ytb_at_twt/followers","following":"https://mathtod.online/users/ytb_at_twt/following","followingCount":0,"icon":"https://f005.backblazeb2.com/file/mathtodonassets/accounts/avatars/109/365/427/932/221/241/original/11a5e36cb1a0bb25.jpg","id":"9xitqyo58jzvb23","inbox":"https://mathtod.online/users/ytb_at_twt/inbox","iri":"https://mathtod.online/users/ytb_at_twt","isLocal":false,"last_fetched":"2026-01-27 13:04:24.310Z","outbox":"https://mathtod.online/users/ytb_at_twt/outbox","preferred_username":"ytb_at_twt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0+kFlqqHDu7JJOn5wi0Z\nRSV+BfkMFJiCpgQt6LGKUmtM3hEJZd9cvq4ulCbAXbeUZ04gTwihlO3YZHbpgxYX\nP8F2SrTLWsggGKIpJJnsbgNDdan4j4XawqNLxbMcnlFm2Q5tryzm4+LjNPPPfgkb\n/NLxQf/BS4hzw5OF80CRJedviSGiqn3/hEP8GY0blkSqlvUCqTLjxInXo56jQ1TT\nKl1c6UID63nMDtJzx0G/EubtNYgYQvdAVk07TWX3uJ1iUMiv9YUp8K7tOiqVI4vG\nwNb8+/eZ1dXW/QM1ckDk2GPMwUnSN8n9Jzgy9TokbpeOHUwxrveklVKLjB5uyY/1\nMwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

a logician (for more details, see my website)
https://researchmap.jp/ytb/?lang=english

","updated":"2026-01-27 13:04:24.310Z","user":"","username":"ytb"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-26 15:43:14.060Z","domain":"mathtod.online","followerCount":33,"followers":"https://mathtod.online/users/patho_logic/followers","following":"https://mathtod.online/users/patho_logic/following","followingCount":77,"icon":"https://f005.backblazeb2.com/file/mathtodonassets/accounts/avatars/109/368/173/254/445/486/original/5297138599980c4c.jpg","id":"c3ud1r5q8pkrpms","inbox":"https://mathtod.online/users/patho_logic/inbox","iri":"https://mathtod.online/users/patho_logic","isLocal":false,"last_fetched":"2026-01-27 13:04:24.639Z","outbox":"https://mathtod.online/users/patho_logic/outbox","preferred_username":"patho_logic","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsyuOGbJTx+rGX2gjbqOr\noycfULDnmiDkI/loY8SYyzp8DF7EDD+L4Xto35Ttp63BjCJwRvT6cyWgl+Q6K9bs\nVRVpFMpiRsDB1KHgKveRdtSDN11fyw9qEFthjZg0jUaYhyYMPWggSgYi//xJsAFL\nq2xFE4qLghCB+N6xtttmDmNZcxjPNDl2LF8JWvRoBSeJ2hWATcG3rikNy0KSwbjq\nsJTt87K6ku0qn0OAGmF3q7/RsJqYiSJPETGXWlWkbSAhGQdstRq1piBpFf4OlroR\nzvGkD1slfVxhegro33pxc67E048AqpsSlArCl48QRRv0rWCJ5TkDGgzGKcEYj8Ot\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

数学してたい。

","updated":"2026-01-27 13:04:24.640Z","user":"","username":"patho_logic"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

Takeshi Abe

Following