{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 23:24:16.264Z","domain":"piaille.fr","followerCount":291,"followers":"https://piaille.fr/users/NuclearSquid/followers","following":"https://piaille.fr/users/NuclearSquid/following","followingCount":57,"icon":"https://static.piaille.fr/accounts/avatars/110/185/533/433/081/747/original/f3470d1819e81b09.jpg","id":"q931aqyh487ctqk","inbox":"https://piaille.fr/users/NuclearSquid/inbox","iri":"https://piaille.fr/users/NuclearSquid","isLocal":false,"last_fetched":"2025-07-28 21:54:40.117Z","outbox":"https://piaille.fr/users/NuclearSquid/outbox","preferred_username":"NuclearSquid","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA64OJ/oSz0eq4ASYniLNR\nbpAjELw7uQw5iQlGRspTBaLc1jK6Hsm1SSoo1ZLwYd4c1vH9wPQi+ZWeV2CasLkF\nWvkR82yRvXsVzj874qYS3+FJF8+sT2h16WrBOA0rixTcPdAqhLm0KuogLoIr2s4M\ne5h4K68Ymjh/sCLpLxOnsHgJLyta2qVSvDEzJ+EDaKqN+aRAFh76XyRiw24941g8\n4OpXmBwjZk9GOWUSj9vM78dr0zx7sMWqRGsbHH4XMSx+EzyKpt+vRH6HkU+BOMhk\nHaGhlAAGUjN7Y/dfjuP/GeHGtd1PBzCW81tf8VtEfes2+N+DMusEWZz/jrj9yyxC\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-12 00:00:00.000Z","summary":"

French CS uni student mainly coding in C, Rust and OCaml. I do *not* have a problem with mechanical keyboards, I can stop whenever I want (ergol.org)

","updated":"2025-07-28 21:54:40.117Z","user":"","username":"NuclearSquid"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 05:24:26.519Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/seewoo5/followers","following":"https://mathstodon.xyz/users/seewoo5/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/858/980/641/642/976/original/9709daa53425f4e3.png","id":"n0cd8cj942y0h4p","inbox":"https://mathstodon.xyz/users/seewoo5/inbox","iri":"https://mathstodon.xyz/users/seewoo5","isLocal":false,"last_fetched":"2025-07-28 21:54:40.147Z","outbox":"https://mathstodon.xyz/users/seewoo5/outbox","preferred_username":"seewoo5","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvd911a20ndKbD6osBB/T\ngaxKLeEGElFgRxpYMqBWifwBD1QTiwx43CepY/Ry+wGX3Nv/yJ6b68vBNV7AObI5\ngUF1nfQDkAfnHyTi3NnKgiJ/9rCJVvr/8JBjk84Gts2mK8dtNXhVYoJL5uRS1V8q\nO+mi7AymqoX1Ar0HWzg/7tpp9SaA4pOUwdn3tTn3wI9HuZjoXa/tzbgJzerS7fwc\nTYnzovubP8cBZqBnsRHbBhX6rcjNN3ey/ER+FBVw0x6WcLyG4sExVC0pqX9QIIuG\nnsq8tnUiMysGEZcOVrzrkPHi1xYBVTekCqy8VwS6DOnnxXw3ZOZp7FGGV5NXmxDq\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-13 00:00:00.000Z","summary":"","updated":"2025-07-28 21:54:40.148Z","user":"","username":"seewoo5"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 15:44:41.315Z","domain":"x0r.be","followerCount":369,"followers":"https://x0r.be/users/Janus/followers","following":"https://x0r.be/users/Janus/following","followingCount":2376,"icon":"https://cdn.x0r.be/accounts/avatars/000/060/195/original/663e7bdb16c530a3.jpeg","id":"632n20d5b7775f9","inbox":"https://x0r.be/users/Janus/inbox","iri":"https://x0r.be/users/Janus","isLocal":false,"last_fetched":"2025-07-28 21:54:40.278Z","outbox":"https://x0r.be/users/Janus/outbox","preferred_username":"Janus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu7rg9wDdWQRKeR9jIm5d\n+4fsJlkjZqNYuTxKtOS45OF+89jHrFVH2y+L3T9syuF1pV7Rdfct6PfjnpwwVoNu\nHhiR+75VfVOanQ6nvaEzRkPJTNmK/qc27fsejqIBoVKepheumAVXNCwDou817cfq\nJnC8pUL02+NpUDnHfe9uXYQNkbGEKzPSdNZd13MGWG1iByzgrA5t1fFU2uixRFq8\nJGkvGlvfKdSxuhedK1UzR0DzTH/fi5C+g5sl+V+5Hx3VoEu6YJMkT8qOERYklevi\ncHRKqV+HmYF3nXUNZfSQgjPbGyPkD4tAa0Dv5piRuKf/lMJO0uqqFTGe055+4B3S\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-09-02 00:00:00.000Z","summary":"

Danish computer scientist living in Mexico. Into functional programming. Currently working for https://flipstone.com

","updated":"2025-07-28 21:54:40.279Z","user":"","username":"Janus"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 09:38:03.226Z","domain":"mastodon.social","followerCount":93,"followers":"https://mastodon.social/users/johoelzl/followers","following":"https://mastodon.social/users/johoelzl/following","followingCount":237,"icon":"","id":"9nn8470sr8p9r2l","inbox":"https://mastodon.social/users/johoelzl/inbox","iri":"https://mastodon.social/users/johoelzl","isLocal":false,"last_fetched":"2025-07-28 21:54:40.364Z","outbox":"https://mastodon.social/users/johoelzl/outbox","preferred_username":"johoelzl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvw3sesJuLpgUn6pBZz6k\ns6Y/OjQ3d+sFBIU8BPm9zUJ1rDe9Rhmy9iWPYa1IfBsiPAg68SsND7LyZNPM7LcQ\nq5BA5/eXyOIN64SSfkpTlLOaKVZ52QQTC6/Z+ByOEbIMdMdp37pTnqK14biUlC+6\nWEOxavGbKMy869Aql3zsqqKfR6nciGbUF3+Fz1iCl6LvaFQSONhA3etqMDGh64d8\nugxJTHOLZmdcJGtjQGcx2c0uXpDnCjVb/hypuZI2/aaGn7a57yCRMQ66+GeuoJUt\n86shT6XEVXIxVIksJOwQmFgCH1CjNJ+AHvgX5P0q8qGaz+BwDc/NF8MIrxOeAjvZ\ndQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-15 00:00:00.000Z","summary":"","updated":"2025-07-28 21:54:40.365Z","user":"","username":"Johannes Hölzl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:36:49.049Z","domain":"mathstodon.xyz","followerCount":16,"followers":"https://mathstodon.xyz/users/emmanueldufraine/followers","following":"https://mathstodon.xyz/users/emmanueldufraine/following","followingCount":150,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/307/053/917/879/300/original/200e96a9506a1ba7.jpg","id":"7zy44wni442b5hc","inbox":"https://mathstodon.xyz/users/emmanueldufraine/inbox","iri":"https://mathstodon.xyz/users/emmanueldufraine","isLocal":false,"last_fetched":"2025-07-28 21:54:40.395Z","outbox":"https://mathstodon.xyz/users/emmanueldufraine/outbox","preferred_username":"emmanueldufraine","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzdFcShWWHlvzv2WZv1Qt\nlRkOGtKjrfp3YyOiBlIVAVns4/58s91brpeJm24T6vqxIRbFKHplt6HruuDIpAd4\neCpVBMRx+8TrRQJcALndcPJaDbH+Yok9HMKs7pJslGEYZ8KIUdd813X0CUf7f+Ye\nQTVZGcCA+oy5QE7ROpXp+puIFTfjj2c/Up8y5WtvXVer1nRA8MLnIGyNhC6wg47+\nUscFRSJhveyL5QnAYNXk71CD+wcRsEJPDXpEo0fgg94E8OkKFnSwdIRZ5Pi6/qYE\nIhLFGeoG7KBaRIwo94dKMgQSUChVWLcSku6knLa5JqvI6ExPH/5/RX0bkijpBHwE\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"","updated":"2025-07-28 21:54:40.395Z","user":"","username":"emmanueldufraine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 05:24:26.745Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/tbitoun/followers","following":"https://mathstodon.xyz/users/tbitoun/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/203/214/943/766/253/original/17a77cb5e491b26e.png","id":"u7821ib4uncw488","inbox":"https://mathstodon.xyz/users/tbitoun/inbox","iri":"https://mathstodon.xyz/users/tbitoun","isLocal":false,"last_fetched":"2025-07-28 21:54:40.425Z","outbox":"https://mathstodon.xyz/users/tbitoun/outbox","preferred_username":"tbitoun","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtGu6BzdQ6TeEY8xH1aRB\ncZdkiU4Vonx3rgtBlTcMBNB8mx2gaeJChZps4H3hFPlUclDFXSJ1B+Yii9BU+lMR\nQ4wA+Qx9KxFyhY6EcPuci9Lea92jcicepqOnlXxzs+Lb9aNIFpdw8XD+HxrRBOQS\nkl8a9Nb/TtCromMAFfG5r2KEdwaRAku0WiolOI5srMt7gkHuzsaLCC2dOyX51c0J\nUYR80m0p4fMTplpVo2ZXDEMjFEadmZlMeUvDXeU9Iybd7ypI89BCWfYQBbsfeIWY\neS+gYxoQCLpyK3yYunznoaGBWBZqcoU+08EpA13XbkEf/QhKEWDikjl+ZMIyGprd\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-22 00:00:00.000Z","summary":"","updated":"2025-07-28 21:54:40.425Z","user":"","username":"tbitoun"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 16:07:07.281Z","domain":"mastodon.social","followerCount":110,"followers":"https://mastodon.social/users/jnarboux/followers","following":"https://mastodon.social/users/jnarboux/following","followingCount":146,"icon":"https://files.mastodon.social/accounts/avatars/108/197/770/572/709/794/original/34191d031d45cd23.jpeg","id":"2pt546937o64cxg","inbox":"https://mastodon.social/users/jnarboux/inbox","iri":"https://mastodon.social/users/jnarboux","isLocal":false,"last_fetched":"2025-07-28 21:54:40.509Z","outbox":"https://mastodon.social/users/jnarboux/outbox","preferred_username":"jnarboux","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzYbgfHYcWn3n1IIchGV0\nbuoNybk65a6mYkTBqKxCgCjxmuypau+Jtb3U/IPz8nmTY55O5A+kUBFS4n4AyRI9\nIkzlex8q6/btK1mQxeWxTG3Q7WfLC6JTP0YKY72qA7KmXtzUp0uk8908c6CklKGz\npB7pgjoz2T2QwdG6Kpgt/+ChCyutH0GrTcizwwRXUEjNUNBHvLM1CRrqYJvnV20b\nByqcTOGdJhpKONMohfjBpTxz2BN4dbv/lsh5fBAK+AmXIx5zDbSSgA6UgPIOI+gY\nhHfEtQYxtTWLfkq3GGe87z0VNBWaMtBCbElF7pZ6GrA8KquxukQ14Z+4Mf8NjoZl\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

Computer Science Researcher, Formal proof, geometry, computer science unplugged, les décodeuses d'informatique

","updated":"2025-07-28 21:54:40.509Z","user":"","username":"Julien Narboux"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 05:24:26.917Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/mawss/followers","following":"https://mastodon.social/users/mawss/following","followingCount":21,"icon":"","id":"9657872ak1pkb4w","inbox":"https://mastodon.social/users/mawss/inbox","iri":"https://mastodon.social/users/mawss","isLocal":false,"last_fetched":"2025-07-28 21:54:40.634Z","outbox":"https://mastodon.social/users/mawss/outbox","preferred_username":"mawss","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0pTwSxFwTDtKs+fd+PLE\nuc+E1q7vzJp2hVVOWNK154oBGRq7p9l4X0oaooGuRzdouIxjVrd2zIcNinZnaFYM\nDONXdR8AhRqMBhQuGnvEBqRabMKExgVefxpjn1QR4WCeQrqXlBYurZplXAekaLhm\neji3/yyyh6ZaPPYljmLOldl2ad3uB7Lr/ad1tTRTP3eYjgulrQHLIgB2uDoy1YrZ\nu7PspFdYDZd+IJyWPeyxqXuKje7YsXu8n3jotL1qNo1Kaf/MMqKc3Xaf3FSNAdST\n99GJIQIfyhJ73HaOFHREmsJw0+HDoxEToryMVHZR1sdZTTzSozSBvjcajh5EKEwW\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-21 00:00:00.000Z","summary":"","updated":"2025-07-28 21:54:40.634Z","user":"","username":"Thomas"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 05:24:26.952Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/bjorn_solheim/followers","following":"https://mathstodon.xyz/users/bjorn_solheim/following","followingCount":0,"icon":"","id":"o27706hv23f18m1","inbox":"https://mathstodon.xyz/users/bjorn_solheim/inbox","iri":"https://mathstodon.xyz/users/bjorn_solheim","isLocal":false,"last_fetched":"2025-07-28 21:54:40.664Z","outbox":"https://mathstodon.xyz/users/bjorn_solheim/outbox","preferred_username":"bjorn_solheim","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwFg02JsFzRLaQ424iRFK\nzQtuvOpZe+nH5mtqnaMXNjBr0bfCiA2QAiNnTihvKU8XU96xx7FRC0Mmw7frCkfF\nRWSiwZic7yXT3+1ZVyxJHrTmMTeKbmlipUI/FWnqTrv+uatovoQj0gbpwIoj84w5\ntBX+WjItdOUDVWYfnAC4D3jRMGe/o6EoyL4K03mtuu9jXrbh7CQsaEcMUueR39Xs\nkVp/dHKVeVnwNhnLrS6uYbst8juWMwNqXyMFUt3/pQfPTlj+Eu8q7E7fGX3XPwsU\ni/H9Nj4A4kObbYW67ZvleAsRYBzie63i2/NOQSv9dlpCWoaY/ZGtUH/URQn9CtwH\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-01 00:00:00.000Z","summary":"

Interests: lean, mathlib, modern variants of empiricism, knowledge as data compression, general probabilistic theories, formal systems, axiomatic set theory, type theory, proof verification, constructive logic and mathematics

","updated":"2025-07-28 21:54:40.664Z","user":"","username":"bjorn_solheim"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:27:24.362Z","domain":"functional.cafe","followerCount":9,"followers":"https://functional.cafe/users/ashandoak/followers","following":"https://functional.cafe/users/ashandoak/following","followingCount":88,"icon":"https://files.functional.cafe/accounts/avatars/111/069/970/002/302/481/original/f485b3e6a1a5924d.jpg","id":"89q4a155sgi971h","inbox":"https://functional.cafe/users/ashandoak/inbox","iri":"https://functional.cafe/users/ashandoak","isLocal":false,"last_fetched":"2025-07-28 21:54:40.933Z","outbox":"https://functional.cafe/users/ashandoak/outbox","preferred_username":"ashandoak","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzbT3SVpis6QzmrutzYS4\nLosnaBteV17BMQsNZ2RuvOvR6/nq8VV+VuQNkUjK0I5X2VBGjG0hxR8OvHg35ZUt\nhUFWwLKejZBmvMJzEm7Fj85AVcYwHcmhRjsSBNb0LyfhCDdoT3zEWYKngGilqQFG\ne1ARo6QDP/jyWvBVzY3OO/FsicBYrCEae3gKNLOVnq+Viozqqp+hjel4XUUVqpYJ\nlOGSnFnxlPPQQuwrJiRjDGpeBMYZALtKT0YWgwS8A3mWA/o7SOFlzFCvVsbEg7J5\nHMd+JHHKh9MxTQusoZgCos0mcJESZ8vfuKEL/bNL6FJRTZrVWqYyBcuXQch9rx3P\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-15 00:00:00.000Z","summary":"","updated":"2025-07-28 21:54:40.933Z","user":"","username":"Ashley Blacquiere"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 16:15:24.666Z","domain":"mathstodon.xyz","followerCount":1372,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1038,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"uzp7idahf2153vu","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2025-07-28 21:54:40.966Z","outbox":"https://mathstodon.xyz/users/Jose_A_Alonso/outbox","preferred_username":"Jose_A_Alonso","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxeEFJL7MWF7Mf7IQrtSd\n77JRXb1bJxxNx4En7O/GpvlCzPUowQAV9NzmMlSoBE6uB20MyBqihiRaPUv/Jt0Z\ncsxQCczh0WiGI9de+Dh/Kh/yqtJNr6T9TgMnYTJLR0EdE+XwfXfh2f9eIfdTw9P7\nLlgYHMRjgt5Z1Jc2aKIrWnKJd+qqN72AT1SHDKOmmO5AtghBGfSDzu3CchXHomPh\nMwlg7PV9SPWhFjas2XM2G3TMfmm0yZHua7BFBkmTrVFbKXq2TQyoMvusSrNvNWSf\n6Vs/HzkL0reHKuq35aOFXgz2wI+zSDFWim1hra+ITcAo/cZVpGmJXg1uiWvi84UQ\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-03 00:00:00.000Z","summary":"

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

","updated":"2025-07-28 21:54:40.967Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 05:24:27.135Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/oudi/followers","following":"https://mathstodon.xyz/users/oudi/following","followingCount":0,"icon":"","id":"88v38wk0mnb1w7o","inbox":"https://mathstodon.xyz/users/oudi/inbox","iri":"https://mathstodon.xyz/users/oudi","isLocal":false,"last_fetched":"2025-07-28 21:54:41.001Z","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-07-28 21:54:41.001Z","user":"","username":"oudi"}],"page":1,"perPage":10,"totalItems":43,"totalPages":5}

Patrick Massot

Followers