{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 02:40:01.685Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/es/followers","following":"https://mathstodon.xyz/users/es/following","followingCount":0,"icon":"","id":"9ojkh645o984913","inbox":"https://mathstodon.xyz/users/es/inbox","iri":"https://mathstodon.xyz/users/es","isLocal":false,"last_fetched":"2025-10-06 02:40:01.684Z","outbox":"https://mathstodon.xyz/users/es/outbox","preferred_username":"es","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3yBxmQDES4YnAFvN/QoD\ni5E3wNHiAwEVNLLgwk2bm509Hn0xLbpOi+4JDGTGRVzyv022ajSfCAqsw+Pirjj0\nwbHkrB/m10x1sjZ3x5fsuzNUshdLGDKZ6Sl/kp8J1zdc9DwtNsiK/jMRc4nvCo62\n5VFG8sgHuBATxFtAEx5WmlE1HpMqQ+oYO/h/6UaPREzJhS9c0/SMSvG6oEuCk1QA\nmHY5TbQiEnYBatQUGeSiJSFCbPcMzOWstpJqSEoalpryVVN+esa9MQ0OIgZojPey\n3nXAwbF/lI/g6ItQfVlM5YMtb3Lj4/gVZZSBb0prvpRSzkSd1V9a4fWGDKnKOaDA\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-16 00:00:00.000Z","summary":"","updated":"2025-10-06 02:40:01.685Z","user":"","username":"es"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 12:38:28.844Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/fm_volker/followers","following":"https://mastodon.social/users/fm_volker/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/251/590/005/619/829/original/810a05d7daee6290.png","id":"2008239876r2mg0","inbox":"https://mastodon.social/users/fm_volker/inbox","iri":"https://mastodon.social/users/fm_volker","isLocal":false,"last_fetched":"2025-10-06 02:40:01.935Z","outbox":"https://mastodon.social/users/fm_volker/outbox","preferred_username":"fm_volker","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+1vPssvb1GEFwneGw4rE\nyY1TjpEuFscy8onb8g9hhmoxPyOmu5ZuD1VlT8MH0VjowklhVfl2R9c2AcmLeFVP\nc3+QXSQbVkXwJMTqX9cwXFPuU5vF2gzxK8jv3zL/J8TelnAme0vBt9064m0WZ+OD\nJ6N5asJgmY/IFOqJJfDJ4Reasye34qenPEiJLU+MDzpnjQx27g8u/rtdNYkAXW+e\ngEe4cgk8hVzbRZwAAQWFeXTUzVgL1oXK1asXyfx9gGJz3buXWv6H8zyjKrV2ZucS\n5Wi+IsP2/NdPEhp+NL+43eyyalSzqhCibmUv5PFGEf91hQ/kzAnod4OSvAbXrR6N\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl.
https://λ.foldr.org/~vs/ forthcoming. Relapses into #FreeBSD.
#bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant

","updated":"2025-10-06 02:40:01.935Z","user":"","username":"Volker Stolz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 07:09:31.083Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/escape_velocity/followers","following":"https://functional.cafe/users/escape_velocity/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/112/354/861/591/269/409/original/f13e60b365a4b5fb.jpg","id":"wazcjuib6tik2r1","inbox":"https://functional.cafe/users/escape_velocity/inbox","iri":"https://functional.cafe/users/escape_velocity","isLocal":false,"last_fetched":"2025-10-06 02:40:02.400Z","outbox":"https://functional.cafe/users/escape_velocity/outbox","preferred_username":"escape_velocity","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqcaOVTtu6yfD2+Y7dTyj\nS33X8xpUFlf2bKd98fZwNC5RrTflZZYKEc3cv8K3Vi1eOg7kOVfNV4eYUH2mteXN\nvyeFHVQFV57p/dFam8ElCw7UlAHeTtTmPuTqMVVxihROAbojiCl7S+X+lqytggX5\n3MO8ZS1x9C5t/FGf2CvXnYSIGICX0yQVSJGuROAbgGfmiB65GxHPqmaZqGGRdN/u\nDBlkPAVeyy8/xLToeOBD8m9W4L6UC7Q4Vj/JnVdAtsp1SS+Ig5kqkKtkKMbcytgO\nk5ZDsW8N17VPU007BtWij5SuiXx11viHCH3E1ohkzOj/+KR2SNKmM1mrVeGGv1jd\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-29 00:00:00.000Z","summary":"

Functional programming in lean and haskell among other things. Doing my PhD in CS. Feel free to ask me about asynchronous circuit design, metastability, and clocks.

","updated":"2025-10-06 02:40:02.400Z","user":"","username":"NoCanDo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 14:39:50.174Z","domain":"mathstodon.xyz","followerCount":13,"followers":"https://mathstodon.xyz/users/lrmrl/followers","following":"https://mathstodon.xyz/users/lrmrl/following","followingCount":84,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/871/331/530/173/670/original/819658c36d3810ed.jpg","id":"45a30q2vcfs60x4","inbox":"https://mathstodon.xyz/users/lrmrl/inbox","iri":"https://mathstodon.xyz/users/lrmrl","isLocal":false,"last_fetched":"2025-10-06 02:40:02.423Z","outbox":"https://mathstodon.xyz/users/lrmrl/outbox","preferred_username":"lrmrl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp4wIj9ceM8c64bklT4fw\ngBgbbtr7iQcUjlEjM2juVF4b1pOFj6Hm++6VvRXTxIZ37P+ErRgLQKnj1y31hbsE\nqw7kBBBmTfoLGZtwNzvFddO46mY4jpnwAnklEVx8XuU5DZrbIxeAgmJlcMl47dXF\nBv5zoGfN4JAVXVBj6kP/lNKhAjUrE8bP4nykvcA8e0xikxmSU5BxD8IZ0GzJHmf/\nBgTcY3hYD8kVp8ufXV70ZY7t0M2Jq14nocZUEHenJrO1p+wbffAwolgPCt9OnjqE\np28tDIpg5/MdNxIYVUYvzMwHN7oohSQ1pefWYGj0plWdLJQCgpqD8QaXu0YL+ltF\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-22 00:00:00.000Z","summary":"

French postdoc in Bergen, Norway.
Algo & graphs.

","updated":"2025-10-06 02:40:02.423Z","user":"","username":"Laure"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-01 01:40:34.726Z","domain":"universites.social","followerCount":98,"followers":"https://universites.social/users/abrenon/followers","following":"https://universites.social/users/abrenon/following","followingCount":77,"icon":"https://universites.social/system/accounts/avatars/114/743/009/420/093/232/original/cf675a909d25fde0.png","id":"l0opl5y316v6os3","inbox":"https://universites.social/users/abrenon/inbox","iri":"https://universites.social/users/abrenon","isLocal":false,"last_fetched":"2025-10-06 02:40:02.567Z","outbox":"https://universites.social/users/abrenon/outbox","preferred_username":"abrenon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6bVxkkmw5kdKOV4laVCs\nXQIB4ft62zD0Zd1DKEXKq40HgxivWJd4KBomPO1ULKOdmRH2mmhByQXwu6sSx0k+\nGKZv9k0bvBryyloHAfDVxS+V+E/f+kfDim5ZkCnEaaRl4n6J9bbjJuz6TF2rm5b5\nIwQsGMOXz9znErRVT990pGWx9IaNAJiTIj1hXhm4fKS7giaw2JTco4kg6sz9g/HF\nOh5TNRRlb/Y0lyLiVZeiexW8RafiNAyjRk5qBZISfiZ1zJ4jWhCDcpPh51ziWU0b\nuA+ESNXrEEXDyJFmU63hQHSRQuhbUO1bf0QWpv3/YiwYgWIDtQO7cGquu9zrNldx\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-25 00:00:00.000Z","summary":"

Interested in language, functional programming and old encyclopedias. Strong supporter of open science and reproducibility. Build tomorrow's NLP tools or die trying.

#ComputerSciences #DigitalHumanities #guix #teamESR #informatique

Remarks:
- I post mostly in french and english
- my posts are deleted after 2 months (nothing lasts forever babe)
- this is my only account on any social network, any other you may find is a fake or a hallucination

","updated":"2025-10-06 02:40:02.567Z","user":"","username":"Alice Brenon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 02:40:02.603Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mblanc/followers","following":"https://mathstodon.xyz/users/mblanc/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/779/762/531/102/408/original/1f778525b2b46728.png","id":"fhty6p6mm1cn3nh","inbox":"https://mathstodon.xyz/users/mblanc/inbox","iri":"https://mathstodon.xyz/users/mblanc","isLocal":false,"last_fetched":"2025-10-06 02:40:02.603Z","outbox":"https://mathstodon.xyz/users/mblanc/outbox","preferred_username":"mblanc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt7hgLZ4mE4F/ulfP9aNM\ncM22nfZmcLdNn6YupzGk1iz1ARQ4KmMWZgV6b/d9THZrJpzu7TMGTp4eMoVatScy\ngzhklQAhTW//B1yfSn1Xv7VQSXNKRtbXw1mCC2rNVxqop+D2origTBtjheTVVRVG\nVLmhGt8J/njaFz/h+wA13cqhKfC6eDiGN65VjYqsZ3yyQzlpprg4nKoXmAmTreBa\nLj5tdLM53MQRpuBcfYnQZQbFlrR0PlWB8qjGQpNlOmumc9OlOp0vhD+jCcqNNeEX\nyEj6OIQLsX7DdQ36169z3OE6Mmjp1UNoTDBaEfLLisoOda6DmbLdOdjj+ytkROcZ\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-07-13 00:00:00.000Z","summary":"

I am a postdoctoral researcher at ITU København. My research interests are computability and complexity over the reals and computable analysis.

","updated":"2025-10-06 02:40:02.603Z","user":"","username":"Manon Blanc"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 02:40:02.957Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/maurice/followers","following":"https://discuss.systems/users/maurice/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/311/827/288/814/724/original/9d8bc445423a97be.jpeg","id":"xx85bifj88p2944","inbox":"https://discuss.systems/users/maurice/inbox","iri":"https://discuss.systems/users/maurice","isLocal":false,"last_fetched":"2025-10-06 02:40:02.956Z","outbox":"https://discuss.systems/users/maurice/outbox","preferred_username":"maurice","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqDq9O7LxV9foirl3xbJe\n1JtbNDjw5oYoIegTcUgYq/Eq46J4fkP9rQxsM2o9Q9kBFiL+4sLxGkuwy2tZdaaa\n743Bh5mtK93WXOOZzRCTvzgZQWuNcOr/Wtr7mrzbWAzt4mZ2Jg0ynto+6DMD6SwS\nV8Qh/PDRGdx2pLn/ld3qx6hHD4uYI4Ig8g8SW27C7/HuPw2AYWRAVWPoeBGeBJqg\nvO4RPqnrYxvCYNsjRvWuyoFjxWSBA3W4+kRTShxIShxNNjs5AeMQ9LlDfv9G2SWk\nAm40IZp25L/bhgD4wYU9XoQZqLCy8aU1qJ3tWYsMXh/kBTUxOenBK2MDs4iI0xl3\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

Prof at Brown CS

","updated":"2025-10-06 02:40:02.957Z","user":"","username":"Maurice Herlihy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 12:27:22.222Z","domain":"mathstodon.xyz","followerCount":304,"followers":"https://mathstodon.xyz/users/neeldhara/followers","following":"https://mathstodon.xyz/users/neeldhara/following","followingCount":252,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/382/921/709/238/027/original/083b0e1be3ff9187.jpeg","id":"9o865v22n6o4fk4","inbox":"https://mathstodon.xyz/users/neeldhara/inbox","iri":"https://mathstodon.xyz/users/neeldhara","isLocal":false,"last_fetched":"2025-10-06 02:13:38.924Z","outbox":"https://mathstodon.xyz/users/neeldhara/outbox","preferred_username":"neeldhara","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr0zyxMZ809paC7RmuFXY\ny57JnYPllfTr5VrPkxLnSydj5ogBGdSekB3vOKDxgpNt7hqT7YRlLj4oL36YOu/h\nlosBgRZN24n2vdfmS2GATEz9S5oI3NQm93SoU/VqcENT5lSHLszQfCKQXBVWdfRZ\n8mBEPWQrfnvI7GOxFWqdTjfrW1tXYMkH7FK5dsTVRZJ67xqYoq7R1iJyspmOApDw\nzToP+tObL14HuP3JhXq7/QfnqSMvE0dVJK5hg4aOgxuKLSPNib8EY8uLuGMvwWPL\nqQObGfgtG6r/kjg5xRHA8/l3sg7NVOkbpJWtWd/b2G4JpyTOJpUpbFK+Ra/dLMOL\nhwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"

Faculty of Computer Science and Engineering at IIT Gandhinagar

","updated":"2025-10-06 02:13:38.924Z","user":"","username":"neeldhara"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 03:54:18.971Z","domain":"lipn.info","followerCount":0,"followers":"https://lipn.info/users/bournez/followers","following":"https://lipn.info/users/bournez/following","followingCount":0,"icon":"https://lipn.info/system/accounts/avatars/109/360/353/796/820/611/original/14fbbf122b89a103.jpg","id":"0d6e4lra1vr491q","inbox":"https://lipn.info/users/bournez/inbox","iri":"https://lipn.info/users/bournez","isLocal":false,"last_fetched":"2025-10-06 02:40:03.065Z","outbox":"https://lipn.info/users/bournez/outbox","preferred_username":"bournez","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz/dqkLpJLoZy8PHYMtkQ\n+De4vXxOlenpYoKnzwF00jvN1Tdvy+r+8vbIkOgHHeVw0CFgmrts9BxrjxK+MRUy\nujlshIyX9pH773lfgcujRZITk/F3PfQFuy3BSUe1USd94kHnumo3y1bxNGfz24KP\n6t/k9AN36Dm0DDTBI2B4m/NZz83PpGM0Q/RJVJkj+inaavBfqQXNUg88aycx2ePf\nKAL2H5G6kApBrPCur5nalt+zjbQhDjV7JEppdsmVBw/QFNgC0rWmm2RfDef4nOgQ\niqKbQudpXPNmLncJJIQdsNyBmC58pfAL+ZUJxbDHVGYL1/u78gfc8mc87vrbeP3Q\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-17 00:00:00.000Z","summary":"

Professor of Computer Science/Prof d’informatique @ l’Ecole Polytechnique

Computations with Ordinary Differential Equations. Computation theory. Logic. Comparability. Complexity theory.

Gyroroue. #Casque_à_couettes. #JeKiffeLesMachinesDeTuring

#Computationtheory#OrdinaryDifferentialEquations#AnalogComputations #Computability #Computability

","updated":"2025-10-06 02:40:03.065Z","user":"","username":"Olivier Bournez"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 12:58:03.963Z","domain":"mastodon.social","followerCount":555,"followers":"https://mastodon.social/users/AlcorNews/followers","following":"https://mastodon.social/users/AlcorNews/following","followingCount":7475,"icon":"https://files.mastodon.social/accounts/avatars/113/341/827/297/837/859/original/79206a4e5da75591.png","id":"a2lwpeyagt6za4w","inbox":"https://mastodon.social/users/AlcorNews/inbox","iri":"https://mastodon.social/users/AlcorNews","isLocal":false,"last_fetched":"2025-10-06 01:38:31.569Z","outbox":"https://mastodon.social/users/AlcorNews/outbox","preferred_username":"AlcorNews","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxGEZdDQr0QYnwaoWCyId\n1QUV7zaPhDjqJTJw8apFoIm8CZQYzLhr5P2dXF/q3erx2iQrWb1pbyAdVsocngHs\nQSU/cmZjppaT+7Et7k1M0FE4WrIbnoJabLEyqjsbjcZUjjJtqPqKdg98BSUZsY5g\nkJriYFTHs0B8rmefT5qa4ITVf9OAbcvV1WXj25QVV/sNO+CQfmkVFlDRaGVUIK0c\nxaeSIPEJBPU3R1IVgMWG8ac4rwQnq/rWHyMc30QrRPfpJXSWjJb9zMGwzXB/XtSw\nAM/qYaiHeD/ETETZIpPPmUspCCRnBS2ehQBCI/xoOo8mh+zMPwz5h+UCW73BjFfB\n2wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-20 00:00:00.000Z","summary":"","updated":"2025-10-06 01:38:31.569Z","user":"","username":"AlcorNews"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 02:40:03.096Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/TomEv/followers","following":"https://mathstodon.xyz/users/TomEv/following","followingCount":0,"icon":"","id":"423yj70z4422as2","inbox":"https://mathstodon.xyz/users/TomEv/inbox","iri":"https://mathstodon.xyz/users/TomEv","isLocal":false,"last_fetched":"2025-10-06 02:40:03.095Z","outbox":"https://mathstodon.xyz/users/TomEv/outbox","preferred_username":"TomEv","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAySdzWyjPej+xxKKVNROV\npDE7G/KT+k3+13VUcSBq/CeP1q9QiRSth1tqUPSocJtT5onGidiE8ydr7NhY+fh9\newhj8263tcmdnci9Qj3W4mQvRwwjq1eFpQfljYDAfOXjPz6RbwbcS92/PhHJmUS0\nFJJI7wHSA5abYNN9H3dg+Wvl8IslvIJRXu/Rzx4qVjTWpNzH8TQHRnR1JwB9k6sY\n0Cf/zCUr9DidTi+xKCNhtfqHFt6Xr+Cl//4tiFU2rXYUy3gd16GBiG35K67eIrBg\nm9HF13QbaH4ldORIUPB6+AI8KpRHQwSKUN2sb8xBKzhU0FcwbX3y6m7lcC1psvT1\nlwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-24 00:00:00.000Z","summary":"","updated":"2025-10-06 02:40:03.096Z","user":"","username":"TomEv"}],"page":1,"perPage":10,"totalItems":41,"totalPages":5}

Laurent Feuilloley

Followers