{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 22:54:27.337Z","domain":"nixos.paris","followerCount":1019,"followers":"https://nixos.paris/users/raito/followers","following":"https://nixos.paris/users/raito/following","followingCount":831,"icon":"https://nixos.paris/system/accounts/avatars/109/254/195/478/845/766/original/e9597445e4bf1dee.jpeg","id":"9o21102444422c7","inbox":"https://nixos.paris/users/raito/inbox","iri":"https://nixos.paris/users/raito","isLocal":false,"last_fetched":"2025-12-23 13:57:38.926Z","outbox":"https://nixos.paris/users/raito/outbox","preferred_username":"raito","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx/X5YpXFj14zXDI+id1i\n9L7iU4p5/EoGkLPzMWFyVpytd0RIIT/siJz4dYxBkHaDa7YUXRHSdSNO2HaYoHg4\nnhYkmMVy5Z4ehM1FTcqKqe/9p6xBzfYRRN4vzQfM0xXh6LXUrAkSBTkKIEQ39TSN\nHmKwHw7StMGUh5gxVFgOY2b10UyX6igk4VdAnLfCwBo4LEYR5k/p3ExxCJS8rqBi\n9/ZTTvjrSCC7b7/xHXlpaMcfH7fRwMUv4DELAnhKD5AjPj8XdhVj4qC/IsvQQ//m\ns+BFA2zaTdS4DdYukUb8W2v4nKY1tRCpL4h4s7UYUa5GFPeAccmdyiIuEhox/uA+\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

#Lix developer, #NixOS developer, #Lean theorem prover user.

My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politics.

Alternatively, I enjoy Japanese animation and culture.

My DMs are open for anything and everything.

","updated":"2025-12-23 13:57:38.927Z","user":"","username":"Raito Bezarius"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 06:31:04.640Z","domain":"mathstodon.xyz","followerCount":362,"followers":"https://mathstodon.xyz/users/at/followers","following":"https://mathstodon.xyz/users/at/following","followingCount":829,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/291/839/671/791/255/original/96b796cca7274afe.jpeg","id":"9ek6m46744h6a4j","inbox":"https://mathstodon.xyz/users/at/inbox","iri":"https://mathstodon.xyz/users/at","isLocal":false,"last_fetched":"2025-12-23 13:57:38.966Z","outbox":"https://mathstodon.xyz/users/at/outbox","preferred_username":"at","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAthp5LOYBjfn7TCU6sQms\nwQJn4k3LrJHZkdDGL9AHdo55btqIqT78soVtfWVIEKh2kDEerZrkqxgS+59BWemn\n1g/yqoDZ5Juq5QC/ZGsJmpYqD3FdGeQp3GNydCyaIl8TNAQiMMVTN8iDrsID+7un\noq6IX/716BXux0+Fpf9ou4LAncjX/qZm77B2wUIsp99P3mex4fPi4nbtvFoHKFja\nqz2flyNBHnyo9MBhMJq3MjncSM1lNchvPpMzRWdyxMnTGRoQi6LxIgF+dw9gAb/7\n9Xao758suzDxQkcD8vSzX6wpwtDc0uza1fuOeR/ehZRjn+Rlg0/uJlndX8OhmzND\nQQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

Empty set fan, arbitrary topological space appreciator.

","updated":"2025-12-23 13:57:38.966Z","user":"","username":"AT"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 08:24:36.338Z","domain":"mathstodon.xyz","followerCount":109,"followers":"https://mathstodon.xyz/users/quiver/followers","following":"https://mathstodon.xyz/users/quiver/following","followingCount":1,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/273/614/073/448/153/original/f33436bd868acbaa.png","id":"50fu167rvms8706","inbox":"https://mathstodon.xyz/users/quiver/inbox","iri":"https://mathstodon.xyz/users/quiver","isLocal":false,"last_fetched":"2025-12-23 13:57:39.006Z","outbox":"https://mathstodon.xyz/users/quiver/outbox","preferred_username":"quiver","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv9w8AFq+o9tCrNQGfp/U\nt30XL/pJB6DekMg7FhYDIDl2Q/H6E7GP2VZQYHox97pfuc+C4pM8UQ+5S1fp3Cm0\nSCARrvLnxEjREiU1F7pJgD/JncOhRcxXujWHvsOiK/FiDfAh6oPAG23Tcqp2oeZc\nM8QaKc9CoBPPPu4n3jMHuO4r16MwWXd6juhP0yFrK3gFG3IB1MOS4D/IdQfVE8ud\nvuef1Fhk2cGd9x3rLOS1etMqxU2yaYcEn2JIdXg3qJ4GmOj9PAhBmMkL3d6/5W0o\nQTcGpskUnqIyXutYScvrtfMwlT99J5FOOvYSWefkecR0xEtkxWOUoR3+OQIxus/9\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-21 00:00:00.000Z","summary":"

A modern commutative diagram editor for the web.

","updated":"2025-12-23 13:57:39.006Z","user":"","username":"quiver"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-04 20:25:12.685Z","domain":"mathstodon.xyz","followerCount":2,"followers":"https://mathstodon.xyz/users/oudi/followers","following":"https://mathstodon.xyz/users/oudi/following","followingCount":35,"icon":"","id":"08ne545s79s874g","inbox":"https://mathstodon.xyz/users/oudi/inbox","iri":"https://mathstodon.xyz/users/oudi","isLocal":false,"last_fetched":"2025-12-23 13:57:39.048Z","outbox":"https://mathstodon.xyz/users/oudi/outbox","preferred_username":"oudi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1elG60Wi11cY0MsedC9a\nwwJueUaaG9hFicS0XCLyELxPLla3dCjryjXKXwKi0Xs/4ySbYkf/pgd4zZRc8Qb4\nXkjlIZX3VpHw8ZcD6YlIbTvgCRexzKnzyL5ftpunq73T9IU7VlMc1yhyK9X+5L19\nRXqg+BacqzQUOqkafUZMw8BqLf6od+LYkUHRUVUeBPDNu8bn1K46mATMey6wsngx\nWMCxoFXlZV6dF5KnFCBX+W24Ulnmq4Pgqk0ILp4+jVxi2e8OLC1a6dwTeS1sa2EP\nrzry02I7cO5R9WP2UFi4I9w/AL/hyvILzlyjTkKhit00T/iQNDEzYR2JQR+1VCrg\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-31 00:00:00.000Z","summary":"","updated":"2025-12-23 13:57:39.048Z","user":"","username":"oudi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 11:54:07.878Z","domain":"mamot.fr","followerCount":876,"followers":"https://mamot.fr/users/pintoch/followers","following":"https://mamot.fr/users/pintoch/following","followingCount":363,"icon":"https://static.mamot.fr/accounts/avatars/000/007/051/original/6d05052222fc6f38.jpg","id":"95i5pg64ry794d5","inbox":"https://mamot.fr/users/pintoch/inbox","iri":"https://mamot.fr/users/pintoch","isLocal":false,"last_fetched":"2025-12-23 13:57:39.164Z","outbox":"https://mamot.fr/users/pintoch/outbox","preferred_username":"pintoch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxG+Q+EPeD2cXmcy3ayQu\n92RUbas2puM+3JxnATf5sT6Xsgz+9V9pRKZFE1jQAmBIomr9WP8LVjHJfMIn7ix9\nEXllIcn5HxfAfhhc1yqJL35YXJbsjATVksGnx2qnhzLrN78oOravhwf9gP2kN29v\n7OdHgnAIJcGbL6PEvkcWMDi1CRqKs9VVGJHrWywDY17Zex8EBwArew4nLLIje6vr\nbbr4sbeObZdujDqfR+/AYcXf9K71xPJo+BLa3ffH5urXZJoXVZmEiA2M84MCS0DE\nyN4FmxnoIimESPhQD3oobMbojfUWzI38QadenBVCZLYprn7usemWjYFPqd75ybXH\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-08 00:00:00.000Z","summary":"

Working on Mergiraf, the non-violent Git merge driver. Previously, @OpenRefine and @kanthaus. Based in Leipzig, DE

","updated":"2025-12-23 13:57:39.164Z","user":"","username":"Antonin Delpeuch"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 03:42:29.578Z","domain":"fosstodon.org","followerCount":2698,"followers":"https://fosstodon.org/users/pandoc/followers","following":"https://fosstodon.org/users/pandoc/following","followingCount":73,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/248/151/424/624/982/original/fa3aae47f32d887d.png","id":"e07hm2tllzr7f5x","inbox":"https://fosstodon.org/users/pandoc/inbox","iri":"https://fosstodon.org/users/pandoc","isLocal":false,"last_fetched":"2025-12-23 13:57:39.213Z","outbox":"https://fosstodon.org/users/pandoc/outbox","preferred_username":"pandoc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7EsnxnTI/bVWVyFeHukO\ngrGhbWP8u4Agtu1gBVHdo88AY74VM9Z4gGo1d9RdgtwrhcvLfBJqw3bYhh3IDP1I\nNHUK8VFP6wZqRbDIii4w3EmgwBhfZmy+9RB1JJIS0+jEJEtPBCri9c5ZWdz//6Y2\nCkgwisWO95ICe18DtedIPgmM4Qp8oIEImAQpZEEPSIfQLkdx3ChwCUmkZPE0fZQB\nrgovZmGbx08ESqXxyiz8di7dymMFBQQHsLavmjq2eBEEN6foGegWoaZcJrr4DOGN\n5DJ7H5L2GTZ9/DUleoThHwqldS/UKITLSqSJvO8CGmza4pb2cHpqvQfgewH5wdI7\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Tips and news about #pandoc, the universal document converter by John MacFarlane. This account is run by @tarleb.

All posts made from this account are licensed under CC BY 4.0, meaning that you're free to use everything however you want, just please cite your sources.

","updated":"2025-12-23 13:57:39.213Z","user":"","username":"pandoc"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-03 03:17:27.799Z","domain":"mathstodon.xyz","followerCount":134,"followers":"https://mathstodon.xyz/users/jaycech3n/followers","following":"https://mathstodon.xyz/users/jaycech3n/following","followingCount":125,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/331/282/956/573/481/original/f7f214fd86200529.jpg","id":"c58qof05eywe177","inbox":"https://mathstodon.xyz/users/jaycech3n/inbox","iri":"https://mathstodon.xyz/users/jaycech3n","isLocal":false,"last_fetched":"2025-12-23 13:57:39.253Z","outbox":"https://mathstodon.xyz/users/jaycech3n/outbox","preferred_username":"jaycech3n","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxWvucV+bLdqNbrNzTdxP\n5TFkuUqSNolSfg3+O0x4XJ65StDbmTnRv6ABeH+eiqfFiApoPjbCoGBVxwQ53J7i\njVCalmNsaAh+CLKLr4vg9U4KYcvBHUW6NESTRWLB57h35hWB8ocndGSs/t91nstQ\n//iWtHM7gwjtauN4A8HtmKUn5CUB1w6occFuUxn4MUQQdMOxETbYdKZjf+Td3dH8\nL6meuF6MN+zH8GikaSm5867nqiB3Bl80m0sCui6gpIjWFW7qrEeH5Sjt+SHo3+9B\nnIwzbzs0S7QFOjwCznTookyOwWPJrWbi9Q5IP5KMGgIIF2XWMFi0dgMVSMxbjGaF\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Mathematician in a computer science department · Postdoc @ Theory of Computation, University of Birmingham · ex FP Lab, University of Nottingham

","updated":"2025-12-23 13:57:39.253Z","user":"","username":"Josh Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-03 07:25:48.643Z","domain":"mathstodon.xyz","followerCount":37,"followers":"https://mathstodon.xyz/users/kaya/followers","following":"https://mathstodon.xyz/users/kaya/following","followingCount":81,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/523/541/452/586/196/original/8526375a43b8f34f.jpg","id":"wm1a5o96g2bbdhi","inbox":"https://mathstodon.xyz/users/kaya/inbox","iri":"https://mathstodon.xyz/users/kaya","isLocal":false,"last_fetched":"2025-12-23 13:57:39.295Z","outbox":"https://mathstodon.xyz/users/kaya/outbox","preferred_username":"kaya","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr4/7GTf1EjgEZQhVqBMJ\nvxeWS4sL2SYM/16CTMAjto1WrFMkt4/KajEghE2OOptOQT2O7JvkhJZ4wi6+xKdm\n5c0Yt/qvyN9zxeAuiuvCDnfUwPYfdfWxHsuntrVMnjavsItRma6612dmGZhBomU/\nZdzbhZzg8984FkSJAh3pGmDbeRfL/hOVrOENGdVblnu1S+Yd14e3+3xlr0edmNcl\n+WBj0eJhpP0DaNUUazM4sueTKkKkRypKBO3vBzvcXvJx4cNh0Ce4IIUC/Bvbu4nL\nppbyRh2Xo+O4gWZgNIhy9xjgIQRqOUk59CBBtIbPZRZvJNrAJfK2r+tEhPWaaD8o\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

I'm an abstract homotopy theorist/∞-category theorist and amateur photographer and fiddler. I also love learning (about) languages (especially Norwegian and English).

they (en) / hen (no) / elle (es)

","updated":"2025-12-23 13:57:39.295Z","user":"","username":"Kaya Arro"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-01 12:21:08.124Z","domain":"mathstodon.xyz","followerCount":19,"followers":"https://mathstodon.xyz/users/riccardobrasca/followers","following":"https://mathstodon.xyz/users/riccardobrasca/following","followingCount":89,"icon":"","id":"z78zf7l86g1p2oq","inbox":"https://mathstodon.xyz/users/riccardobrasca/inbox","iri":"https://mathstodon.xyz/users/riccardobrasca","isLocal":false,"last_fetched":"2025-12-23 13:57:40.060Z","outbox":"https://mathstodon.xyz/users/riccardobrasca/outbox","preferred_username":"riccardobrasca","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuwmtrrdNBvcrTu7eRUYA\n0JQx9QpULg80OmjRJIa4taYOM1mxOAvsRgkOg814+c52XVw6LCsCXPJioAkShcWg\niN6VnVWb/473c/dObpELfqIoYiDLmO5P6W7y/O7Bhp4V84Lg22KozBAt+6ZS/2X1\n2l9m9eHL5T8YWDYkSQzrSZT/QSY+GNVxa9eaV8sEwtWD4Zgh0njQ3pdskcoVliHs\n6LqOvHxRvpQgoTcn7JY881EnKIuoWYGwoBtQiJxB3pxGVRcHFcXxzj2fV17tgMlW\n4kT3MmNvAulTLG5gVyhmzKLfTQ/lw4fG+FLOsGjOc77i0jlfxReSTbN/eM3zv4dd\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"","updated":"2025-12-23 13:57:40.060Z","user":"","username":"riccardobrasca"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 16:11:38.388Z","domain":"functional.cafe","followerCount":898,"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":"gud8sq2c4wn7594","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-12-23 12:42:07.875Z","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-23 12:42:07.876Z","user":"","username":"Lean"}],"page":1,"perPage":10,"totalItems":39,"totalPages":4}

🎺🎶 La -2-catégorie 🎷🎼

Following