{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-11 02:09:15.504Z","domain":"mastodon.social","followerCount":2,"followers":"https://mastodon.social/users/pranaysashank/followers","following":"https://mastodon.social/users/pranaysashank/following","followingCount":59,"icon":"","id":"51q17x1c0o4406w","inbox":"https://mastodon.social/users/pranaysashank/inbox","iri":"https://mastodon.social/users/pranaysashank","isLocal":false,"last_fetched":"2026-04-05 15:22:40.776Z","outbox":"https://mastodon.social/users/pranaysashank/outbox","preferred_username":"pranaysashank","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2o64e+eExL1HISLMaZph\nAdf0cRZtZ0nQsuO8HF8tnHPb8XRceaTJcgyB/nvsQVjsCXpD7su/XeKlbysHs1H3\n3I7cRoVVK3SxRZiu42RbzZkdd/FnTtl7CmaSTm1p9ogx9EdHhTRxIackTIFMf8vF\nJLNHOI2f7+i7nUCEhOPgDtuunbwNawesvU4FW/MsdsK0JtQg2Jg7Gp0MKrJLmRzD\n3vtRzosjWM4gS34W00o8BKGpHPZtD4eqHa2aV280qE4wZwEzhWxgUrQuhWB0ce6i\nuu6HYSclc39OeR/kdeOJ/GigFkd2eAWBusfKJkuAkQPeya9HLIAltgjI9MrGd4JC\ntwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-11 00:00:00.000Z","summary":"

haskell, nix

","updated":"2026-04-05 15:22:40.777Z","user":"","username":"Pranay Sashank"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 19:59:21.693Z","domain":"mastodon.social","followerCount":2,"followers":"https://mastodon.social/users/mito/followers","following":"https://mastodon.social/users/mito/following","followingCount":61,"icon":"","id":"7a3xuicwhh3lse6","inbox":"https://mastodon.social/users/mito/inbox","iri":"https://mastodon.social/users/mito","isLocal":false,"last_fetched":"2026-04-05 15:22:40.849Z","outbox":"https://mastodon.social/users/mito/outbox","preferred_username":"mito","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnzddiuwUqEMI0dMRLAuh\n0fd43a0cDXShji+KrnBaSHEuhty/H7H9rCvP6faQQFcoq7TeGHRyuJf3K4DsL3WI\ne7cCJ2iq1IcqkoCrkA8EIZKZokNseAIolK4ayoP3OMUtYILR3AASQYdBXINJ1Xuh\nL5LB2NC6SoWy6jKTDjuO4hOlw62VJzu43Yy1D0MAaCULG2QFnaTv7F5YhDl5yeJf\naeRn6Ocj0Cksx3nsSoRIE2wuPCnuQ/btIk9AcCPSrjaX5WEsC0Ow7upAq69WE+Gy\nvVFP8ZAzdWbxTVCPXFcii3U65EhZEdoNUrh4s5x1PVgvkfnnI/in18m/g6UWFo7g\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-02 00:00:00.000Z","summary":"","updated":"2026-04-05 15:22:40.849Z","user":"","username":"mito"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-08 12:33:09.649Z","domain":"nixos.paris","followerCount":1046,"followers":"https://nixos.paris/users/raito/followers","following":"https://nixos.paris/users/raito/following","followingCount":842,"icon":"https://nixos.paris/system/accounts/avatars/109/254/195/478/845/766/original/e9597445e4bf1dee.jpeg","id":"2o73qu7686mw2c6","inbox":"https://nixos.paris/users/raito/inbox","iri":"https://nixos.paris/users/raito","isLocal":false,"last_fetched":"2026-04-05 15:22:41.096Z","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-04-05 15:22:41.096Z","user":"","username":"Raito Bezarius"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-05 15:22:42.310Z","domain":"mastodon.online","followerCount":0,"followers":"https://mastodon.online/users/gadiguibou/followers","following":"https://mastodon.online/users/gadiguibou/following","followingCount":0,"icon":"https://files.mastodon.online/accounts/avatars/000/152/322/original/f053bdafc395c76c.jpg","id":"hs74b92i42wr0fb","inbox":"https://mastodon.online/users/gadiguibou/inbox","iri":"https://mastodon.online/users/gadiguibou","isLocal":false,"last_fetched":"2026-04-05 15:22:42.310Z","outbox":"https://mastodon.online/users/gadiguibou/outbox","preferred_username":"gadiguibou","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsvTZKCS5pWom1phozLGI\nQwvRsw+8XZ1azbtmv+tjPlIAnHLZDWAxCmQlY2sdbItgEXSRZmn4R9QZgiRt8e0E\n1iPWNDr5CrhxbDXFEWyZfq7oJIw+MhPkrPF/FgS8ImEv8UAL+Uk8cigE4Nd/q/xn\n6ZE7kptGSLPtkoRySjo0AMHTW8ZpUHtZiGyHZ8B34nvefFZfwh0UC+L7n0ftVEr/\nNnfefx6t+iBQvMILsd1bzUZT6RKordFBaA3mSwg2Zy+E9sgRz2J1dPS8YYTgLBcv\nikp/V6t/1QXtLUrP8pQAiqXeNPSwqVjQOC4WOpYwI+STTWwBkyufwdQbRkE73s2C\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2021-01-04 00:00:00.000Z","summary":"

hi! 👋

he/him

Likes computer stuff, programing language design, and good urban planning. Mostly lurking. I'll maybe post once I get a bit more comfortable.

","updated":"2026-04-05 15:22:42.310Z","user":"","username":"Gabriel 𑗊"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 15:02:45.413Z","domain":"mathstodon.xyz","followerCount":68,"followers":"https://mathstodon.xyz/users/MEvans/followers","following":"https://mathstodon.xyz/users/MEvans/following","followingCount":160,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/880/638/529/307/original/063f2f8dfee79ab6.jpg","id":"r3w5p53s9g528fu","inbox":"https://mathstodon.xyz/users/MEvans/inbox","iri":"https://mathstodon.xyz/users/MEvans","isLocal":false,"last_fetched":"2026-04-05 15:22:42.386Z","outbox":"https://mathstodon.xyz/users/MEvans/outbox","preferred_username":"MEvans","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo0C5Loz47Qyl8R3ZfmjT\n9W2hn2oI7PTOPwnS2hWwW+3fW5lwowttqxX8mKuublWEn1eoJhsFyHaBBy/Ib/lj\ns4xfMVrtYdqQ6+/3GHalalRTwd/qT555433quo0939M7X+vAt4QFvxH7FR3n55ey\na0Up90UXhAfay5F33omeRgg+TweqrOqacK5SgB3EzErlsza5o4+X+1eXDXsZMHYm\nMVETQbUbCR1cGAQMIayeoehOYiIWu045Mm0Y7K1wolZNPylcmSEhJ0G29KwEvNK6\nluMZzvMlqq9I4jl7fIcjjGi5aiUo239kVmKAMDWZglCejteM/tAwS1DK0rlYt0Df\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

I'm an amateur mathematician trying to go pro. I enjoy studying with category theorists and promoting the work of this fascinating community.

","updated":"2026-04-05 15:22:42.386Z","user":"","username":"Michael Evans"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 02:41:45.608Z","domain":"mastodon.social","followerCount":197,"followers":"https://mastodon.social/users/foxmean/followers","following":"https://mastodon.social/users/foxmean/following","followingCount":1186,"icon":"https://files.mastodon.social/accounts/avatars/000/203/834/original/b64fcc50830394fc.png","id":"308ui02ygc7b4ck","inbox":"https://mastodon.social/users/foxmean/inbox","iri":"https://mastodon.social/users/foxmean","isLocal":false,"last_fetched":"2026-04-05 15:22:42.475Z","outbox":"https://mastodon.social/users/foxmean/outbox","preferred_username":"foxmean","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8WV/CCffcVEkYtCwR1Zw\nBbMzdPD6XyP3RgfI+wlmUBh53Te0O/fiTwxWVVaEEpAL/g7ce7+7HNE+J0f3e4hq\n2ahxjA9mK6QyJ2mspfCQsAMxtT/idLM/N6Ox2iAx9dFhPMIQUKhbe6lcit8qQhYS\nThZHNr5M3ESiGL/GP5iSrlCjfneIip1vNdunlpGEBEaaBnYceTWAvOFI1AOkXqLD\nllSmRKDI45bwnirNjTvruzx0fgL6PNafYBWb7D33vH+izwRn3dX2+Sus3i/PomWV\nj+7EmqDzV+MRcpWPQucw5AlrBnsm2m3HsdTc2wUvljsHvJaVXmqTy0o+a7Oo6m0L\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-09-17 00:00:00.000Z","summary":"

Degrowth communist, Haskell, Lix, Rust Thai native with ability to read English and a little bit Mandarin/Japanese

","updated":"2026-04-05 15:22:42.476Z","user":"","username":"foxmean"}],"page":1,"perPage":10,"totalItems":229,"totalPages":23}

lyxia

Followers