{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 22:41:28.791Z","domain":"nixos.paris","followerCount":970,"followers":"https://nixos.paris/users/raito/followers","following":"https://nixos.paris/users/raito/following","followingCount":806,"icon":"https://nixos.paris/system/accounts/avatars/109/254/195/478/845/766/original/e9597445e4bf1dee.jpeg","id":"kdpg1gn7d4u81c1","inbox":"https://nixos.paris/users/raito/inbox","iri":"https://nixos.paris/users/raito","isLocal":false,"last_fetched":"2025-10-02 10:30:13.497Z","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-10-02 10:30:13.498Z","user":"","username":"Raito Bezarius"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-28 17:08:56.741Z","domain":"framapiaf.org","followerCount":13,"followers":"https://framapiaf.org/users/drpi/followers","following":"https://framapiaf.org/users/drpi/following","followingCount":27,"icon":"https://stockage.framapiaf.org/framapiaf/accounts/avatars/000/060/732/original/f1689b3924082d78.jpg","id":"f6d1n8l6q4vawp3","inbox":"https://framapiaf.org/users/drpi/inbox","iri":"https://framapiaf.org/users/drpi","isLocal":false,"last_fetched":"2025-10-02 10:30:13.539Z","outbox":"https://framapiaf.org/users/drpi/outbox","preferred_username":"drpi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArw0OX1DersQK4oqsfxGA\nCfJKBE2gGnHvfEtF/IysLkeEpkpy8Een8JzipffXb/2A7t6cAJY/KoGRSjMOK67Z\ngPN7DP0nagtxS0SrFRJM18w+BBRMx+NcjGnHCksy2edolPiS76/C8dZJCKjp9JJh\n088MrL6hsaTN0SJM7V7ydJ4VTwwWYuZR/WrxPofqzwTLovov0LDClqmSPstRcViM\n5q8FHVb9IqMbS1fgtiQxMug1VkwRSt1WIXuJ69C+Pvuc77XCboQp6RxEWfiTr/jD\nlt7Gg8E2EWydm8Cd3mMUdGHKTuDisdU6vohKkqvkIjW5w2DEuEwcK6p7ZXiuBa2e\niQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-04-29 00:00:00.000Z","summary":"

Hardware & software addict.#hardware, #FPGA, #VHDL, #µP, #microcontroller, #python, #C, #ADA

","updated":"2025-10-02 10:30:13.540Z","user":"","username":"drpi"}],"page":1,"perPage":10,"totalItems":2,"totalPages":1}

josyb

Followers