{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-13 12:39:28.139Z","domain":"nixos.paris","followerCount":1028,"followers":"https://nixos.paris/users/raito/followers","following":"https://nixos.paris/users/raito/following","followingCount":830,"icon":"https://nixos.paris/system/accounts/avatars/109/254/195/478/845/766/original/e9597445e4bf1dee.jpeg","id":"9o5ztlio82eii50","inbox":"https://nixos.paris/users/raito/inbox","iri":"https://nixos.paris/users/raito","isLocal":false,"last_fetched":"2026-01-21 02:43:33.870Z","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":"2026-01-21 02:43:33.870Z","user":"","username":"Raito Bezarius"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-07 21:26:35.757Z","domain":"mathstodon.xyz","followerCount":21353,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"h5nreqjnfluv98c","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2026-01-21 02:43:34.577Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2026-01-21 02:43:34.577Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-19 15:56:15.409Z","domain":"social.mikesweb.site","followerCount":0,"followers":"https://social.mikesweb.site/users/mike/followers","following":"https://social.mikesweb.site/users/mike/following","followingCount":0,"icon":"https://media.social.mikesweb.site/media/dba6576fa3d6091c2823f33f8344afc71287558686b8d82c5221eebb80fa24ba.B4GTID8U3ZVD","id":"2ppt6jc1eom20e6","inbox":"https://social.mikesweb.site/users/mike/inbox","iri":"https://social.mikesweb.site/users/mike","isLocal":false,"last_fetched":"2026-01-21 02:43:34.906Z","outbox":"https://social.mikesweb.site/users/mike/outbox","preferred_username":"mike","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz2HaWdpA/dD3lXAIzZsD\nZqiVcPXc1GnZwyJZ4eNvnL6UHaYKprRXPjn0HHHB3iS2jLWc5tw5D2rYw9f0UDzo\n503IVfQeTq6cryl7VON/MVCavfrmqs3NQ64hK84qd6Qjdv1eXr0g9y//20c3B8Ww\nRTRYBpvjbNkA603OcArz/5MYS304WHsG08zOmOgNR4CbAbi84L1mJEJXbQaxi58W\nW0M1K4xLXhSo5akuhH+3+O6sujHpszZXCpV80j0Ay9sA1XxfHQTZYHW0IqMLvcDf\nJX4UMCjoj/XkpmUDDz04IarCzWaQngo7HYfuYAdgUmPudME+eyzlT+1h/jyPXty4\nZQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"DevOps, *nix sysadmin, I love anything Linux & containers and any cursed tech, big NixOS enjoyer, FOSS evangelist

Also, I love programming, my fav language is Go, but I also enjoy Kotlin, Gleam, Elixir, and a bit of Rust

he/him they/them, use whatever

Sometimes I post stupid stuff :typingcat:

Confirmed ADHD enjoyer, neurospicy :bloblamp:

Intentional Oxford comma user

I run my own fedi server (Akkoma on NixOS), mostly to see my own domain next to my name
(please do educate me, if I misuse fedi stuff)

I believe in a world without borders and freedom & peace for all. :BlobhajPrideHeart: :BlobhajTransPrideHeart: :BlobhajHeart:

Happily taken by my boyfriend. 🏳️‍🌈","updated":"2026-01-21 02:43:34.906Z","user":"","username":"Mike :BlobhajReach: :typingcat: "},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-14 04:47:24.154Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/FEX_Emu/followers","following":"https://mastodon.social/users/FEX_Emu/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/110/652/595/672/731/941/original/e65c5633adf09ba3.png","id":"rjmjs27re1tvzas","inbox":"https://mastodon.social/users/FEX_Emu/inbox","iri":"https://mastodon.social/users/FEX_Emu","isLocal":false,"last_fetched":"2026-01-21 02:43:34.957Z","outbox":"https://mastodon.social/users/FEX_Emu/outbox","preferred_username":"FEX_Emu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxJYX3WR7uhF3uGt76+/i\npiur0BG/7bpBU2cE8Bj7HsBQmLaVrPqP/6R3Z/xrd/xroGcLKgrvFiAO9DeP9Frd\npaX7X+DGvxnL3Bi/80ECkJHiERxlqVw46gl7irw+/QjeQgxggqypdXQj1huXmW2u\nNaLBkjdh8IJhtN3S4vwLuO9rd01FXfLGcfA9CI7A+6VhrI3CoffY+9amcXIb1JO+\nswWbGdJuAZnKvK7ofZCs7o+0z7syTOcElzFla3bXzKkwoUBapI0SLYuk93RtNd7h\nrcjtz4tTSmbajsNubfZhztfPyEQ+rOiWgTFM7eplWWRoGJEnkVM7JiRYd4W/E4yO\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-03 00:00:00.000Z","summary":"

x86 and x86-64 userspace emulator for AArch64 devices.

","updated":"2026-01-21 02:43:34.957Z","user":"","username":"FEX-Emu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 02:43:35.071Z","domain":"toot.0upti.me","followerCount":0,"followers":"https://toot.0upti.me/users/k900/followers","following":"https://toot.0upti.me/users/k900/following","followingCount":0,"icon":"https://toot.0upti.me/media/bce43ef2a0b2bcc02bfc321503d190ea1c337b1264c0a2a6955f3b2a73e84964.jpg","id":"ndhriqmq0e05wo3","inbox":"https://toot.0upti.me/users/k900/inbox","iri":"https://toot.0upti.me/users/k900","isLocal":false,"last_fetched":"2026-01-21 02:43:35.071Z","outbox":"https://toot.0upti.me/users/k900/outbox","preferred_username":"k900","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAkkfC6VB/55JmrnM6xVWY\nbreb908qImJkJrl42pxZXXJ4Etrnx6uohhh7mQEW3FfHPEA/yoQjTiPjPcGq+HVZ\nW7yZh6hvj0FzNivAQXCoXlz0hgWHIl5yXIsu2JgwEoGx0XWALoeNd8awDui8txlZ\n+fsxe+3VezKJ7/oMaTOrM+9UsQJnfzL0Y32DxBqMOtcoW10wN39jPdiubRk085zs\nDPEdkUf3NPnhBOYJxsMrz/mJEVjyB6yO+MTmAf6/BfaR5NA1QxtAnb8YzllFpxM4\nHDidPcL7a53XuHVolvnrwz8Eg0HggZRHj/QTuO6SCmT6wY0lHQ0cufrGkxsRPgO3\nzQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"The computer ate my data, so I ate the computer. Хуй войне.","updated":"2026-01-21 02:43:35.071Z","user":"","username":"K900"}],"page":1,"perPage":10,"totalItems":12,"totalPages":2}

György Kurucz

Following