{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 22:53:13.306Z","domain":"nixos.paris","followerCount":972,"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":"141k11992vde61w","inbox":"https://nixos.paris/users/raito/inbox","iri":"https://nixos.paris/users/raito","isLocal":false,"last_fetched":"2025-10-07 11:13:55.915Z","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-07 11:13:55.915Z","user":"","username":"Raito Bezarius"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-12 11:03:59.718Z","domain":"chaos.social","followerCount":1722,"followers":"https://chaos.social/users/why2025camp/followers","following":"https://chaos.social/users/why2025camp/following","followingCount":145,"icon":"https://assets.chaos.social/accounts/avatars/112/053/836/982/892/798/original/472018a698f709f6.png","id":"4oeh57ovjjdp59x","inbox":"https://chaos.social/users/why2025camp/inbox","iri":"https://chaos.social/users/why2025camp","isLocal":false,"last_fetched":"2025-10-07 11:13:56.055Z","outbox":"https://chaos.social/users/why2025camp/outbox","preferred_username":"why2025camp","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv092atqtQ9YARD3ev5Ef\nkbDNP8AxdMaUGKfBr9LTjYHUC6WScbklJx0zetOKPtNd23Uesk9wN9LsaMslzQM6\n/R13LVoYEWpHcbJfd0g0XlTqTo4N7KAlWQ8TaatAd3031gdh41Ul7HJBONZ2Bkwq\ngqLbzmVDLJOcRKwjrLjJodw8hB/GQvlcdJGWe/XDs/TD8yfw3L7dKd94of0lrXLP\nWfvuI1ImG8s+6hTyvA6FxLm9wyfN+gt5clt2GOqqCul3xMCzV1IxuhE1HRUDdMWi\nKRiZuvzFuNPz5rNGdXEtgjhbWRi3CcZxvC2Bzk0WRL4BBAh2dN6aTeHtLoP+WsQU\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-03-07 00:00:00.000Z","summary":"

What Hackers Yearn 2025 

The next big Dutch hackercamp, taking place 2025-8-8 till 2025-8-12 at Geestmerambacht

 Sequel to @mch2022camp 

Account monitored by Team:Info / @raboof

","updated":"2025-10-07 11:13:56.055Z","user":"","username":"why2025camp"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 17:05:13.591Z","domain":"infosec.exchange","followerCount":268,"followers":"https://infosec.exchange/users/amy/followers","following":"https://infosec.exchange/users/amy/following","followingCount":119,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/305/824/437/014/020/original/096a2474eba3f4f6.jpeg","id":"9yfkb7gm7vy2oz1","inbox":"https://infosec.exchange/users/amy/inbox","iri":"https://infosec.exchange/users/amy","isLocal":false,"last_fetched":"2025-10-07 11:13:56.102Z","outbox":"https://infosec.exchange/users/amy/outbox","preferred_username":"amy","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2nga9f9YClVCsAm1FONQ\nPWrqFSKmXcQvFh4yaaPwcXP/8kRb6LKB1fxBFf3t1HF1xbc957CD8m5jzm87y+QP\nmV7rH6fi161fSkDgithHlgipHcJUE+opbIoaPBxQAqjF61I65pi6OzJwwNqmbnMe\n4NJ+qciUyf79cpyTQSmKUP2JX/VBZrIWl+NP8qCMpbqaYzWUlBnkES36uAN5469M\nNCPDUEsXE2K0XIpvEmVPbQ/NAOlgVEH1ZdhVBl7sEBVoiZE2jCVmG/9Co8eJ/drM\nejOzwA5ArRiaC7j8EcBaQiGMpk7x2mlMr4XSjmQTUfh4dSAVqAuZlAnhpZVCFeV1\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Product Security and VDP gal🕸🐞🪲🔒🪢 Pop culture glutton, meme-referencer, speaks in analogies Outdoor super-enthusiast, rock hugger ⛰🧗🏻‍♀️ Can be found whispering hello to your dog when I pass them on the street or trail. she/her

","updated":"2025-10-07 11:13:56.103Z","user":"","username":"Amy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 22:10:34.683Z","domain":"infosec.exchange","followerCount":2415,"followers":"https://infosec.exchange/users/jann/followers","following":"https://infosec.exchange/users/jann/following","followingCount":140,"icon":"","id":"p37i8s312l85428","inbox":"https://infosec.exchange/users/jann/inbox","iri":"https://infosec.exchange/users/jann","isLocal":false,"last_fetched":"2025-10-07 11:13:56.148Z","outbox":"https://infosec.exchange/users/jann/outbox","preferred_username":"jann","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsBjK+gGPobn2TrgGx66D\n22W5TGwDj914+YMKqoRxLXkRlHNs93iedq+SA6rRnv8q8ZiLSCIEjmn9l1mbQX4Q\nEsmZjhr4VWZFpFKYkNkK4yoSkooz/NEyolvZDxVgxUfxc12GkYpWRkAZb8i3Y5NM\nYfBF174BtWF1CT6HrHzFv1JGURx7WcW4RzjQB7AVEw60wKB2A8Rk8WWWf0fw+s0X\n/wOcqTbYGu8U6rSqm9LD23oLC7EtaryFjClzaanz3mzFYduUcwsdEz2echbnL9Dc\n75Jh8pI1W9S2mgebHmkBd8IAaWVpzJQ2VjDiIsbTkylcy78UnR8T9UHh4J7dMjaO\nnwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

human borrow checker (but logic bugs are best bugs).
works at Google Project Zero.

The density of logic bugs (compared to memory corruption bugs) goes down as the privilege differential between attacker context and target context goes up.

","updated":"2025-10-07 11:13:56.148Z","user":"","username":"Jann Horn"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

Humayun

Following