{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 11:30:30.255Z","domain":"mathstodon.xyz","followerCount":48,"followers":"https://mathstodon.xyz/users/jadkoleilat/followers","following":"https://mathstodon.xyz/users/jadkoleilat/following","followingCount":72,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/762/540/272/409/357/original/d5e1cf5f91ebe196.png","id":"w71r51xv97217tq","inbox":"https://mathstodon.xyz/users/jadkoleilat/inbox","iri":"https://mathstodon.xyz/users/jadkoleilat","isLocal":false,"last_fetched":"2025-12-18 02:00:41.381Z","outbox":"https://mathstodon.xyz/users/jadkoleilat/outbox","preferred_username":"jadkoleilat","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyyCycS7faI8Eg4IE7Tr0\n8QnVxc1QlW5gVDZAMQVWPBYRB5YXyJ0XmnB5D43KNbC65rRC6tr16ewral7J6XnV\nmS5f+zTTWZjJcZrzBk1Va/jqZaHiY4XaWSSr0lhOcGErTflvTANl/YNH+XdKgq7z\njpFeP715CxerfvOtD6WpDD+qHCCZyLvVRzgaMiv0FnbyLH5v2kkgMJmgT9KUpGfD\nYwTGSXI53SXXUPt33XAdtdlZ5kPAbhCkIAYbAoNEliEbro32e1EyZIhm6QN2mMG5\nFabd8aHfE7O9KF62ZKcIMCRWMuihO6dFA+Em5TuJXAlPFBo/XcjGbOs4wFM2zUva\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-27 00:00:00.000Z","summary":"

PhD student at LIPN lab in logic. I’m interested in: LL, DiLL, denotational semantics, category theory, type theory, functional analysis, differential geometry, cooking, homotopy theory, board games and choice axioms.

Currently working on understanding differentiation from a logical perspective.

I post in French and English

","updated":"2025-12-18 02:00:41.381Z","user":"","username":"Jad Koleilat"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 02:00:41.693Z","domain":"nixos.paris","followerCount":0,"followers":"https://nixos.paris/users/Labataxe/followers","following":"https://nixos.paris/users/Labataxe/following","followingCount":0,"icon":"https://nixos.paris/system/accounts/avatars/113/935/571/085/815/578/original/85fe0807b9c871b6.png","id":"g1qr1pbra018zmh","inbox":"https://nixos.paris/users/Labataxe/inbox","iri":"https://nixos.paris/users/Labataxe","isLocal":false,"last_fetched":"2025-12-18 02:00:41.692Z","outbox":"https://nixos.paris/users/Labataxe/outbox","preferred_username":"Labataxe","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs8GH98xavIlamg7YCyVZ\n1PEQuD7XylGkW8bLiG3fO2IWW5aaAU8shcBJe135sjEWj1Q+leuZpproIOZzfMF3\nmWN+iACj0rxjO7jaAxasOw5VF3VaPCs6rUwPV3e/CWlOMDoRAofC9/JRGHNXZmkh\nG95KmxA0V2qhysKsbjFd5N11Za5CGoRQANkCZAhrV5dXbIH5KEgJdpQr5pm4aGyz\nBPX4b5LOEqtIoSz2qn5Bs+fgoiUiN4O5EUrpnHauGn/VzT+t3Bp8hGFy4Ppo11aX\nQKfZtckTzajjQg1GCHgLwpdNbbggrQtky6Zmk9mrQnRW4dEIe5M+D3aMlp53Gn25\nTQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-02-02 00:00:00.000Z","summary":"

Cybersecurity enthusiast. Curious about #NixOS and #OSINT (Open-Source Intelligence). I enjoy #Python development and am currently learning #Rust and #Nix. I value facts above all else.

","updated":"2025-12-18 02:00:41.693Z","user":"","username":"Labataxe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 00:32:14.567Z","domain":"mathstodon.xyz","followerCount":65,"followers":"https://mathstodon.xyz/users/vc/followers","following":"https://mathstodon.xyz/users/vc/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/633/282/595/123/680/original/f019321e8523496c.png","id":"2rxz524f822r260","inbox":"https://mathstodon.xyz/users/vc/inbox","iri":"https://mathstodon.xyz/users/vc","isLocal":false,"last_fetched":"2025-12-18 02:00:41.734Z","outbox":"https://mathstodon.xyz/users/vc/outbox","preferred_username":"vc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwCfLKaPMCOm9tush2Nnm\n9HI8DNrx7x1hvDEYArYzs9lv3MH1lAs+7ZnK7mBQZLi7894KLdtXTq0nqJBNP0RT\nBBO/FA+AnqvR7P6eG3yygDIpvAkPw5fz8uLWc7UlYtv+m1a1R3anmlcnMrHIgwGq\nHbHEz8bZsvjrCzUIoX55gsoQJIYNI++kOzpqwMyPeRtz2/AWzs0u+1UwR33O07mf\nCyH3IJuVLFxu89zxvzjk/Qr8yhWaFYz+X+x4sa2Qo0e8GURmTOj/xA8DMo3a9gDr\nP7awNzLoUsZMnSbjJZyuwSM4x3PPcX/FZXM6l+am76q21/+Ff/oKBka+VDoJeLAP\nSwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-04 00:00:00.000Z","summary":"

Chancellor's Fellow (Lecturer) in MSP Strathclyde. I like category theory, type theory, logic and semantics.

","updated":"2025-12-18 02:00:41.735Z","user":"","username":"vikraman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-01 14:45:44.976Z","domain":"universites.social","followerCount":212,"followers":"https://universites.social/users/pierre/followers","following":"https://universites.social/users/pierre/following","followingCount":326,"icon":"https://universites.social/system/accounts/avatars/113/838/770/703/305/677/original/6ac602926e6adc8a.jpg","id":"q1d0x168af86ckc","inbox":"https://universites.social/users/pierre/inbox","iri":"https://universites.social/users/pierre","isLocal":false,"last_fetched":"2025-12-18 02:00:41.967Z","outbox":"https://universites.social/users/pierre/outbox","preferred_username":"pierre","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoOd0RpB6AMkayxuiT+ly\npiNWCFfyPiyalflF3PsK7WRAXmHYcl9OxtPoXQnJdm+6cbca7FpPSQV1uiP4dtED\noxzj+Hj3ImxdlPODctZzMB3A63vOEbaRxgiYkqdfgG/DNjlrS1EYX/UMQaTOVcuR\nT39xshQ/QKvWkn5Z3CUGc1LdS6jOYW+l5qIebmVBgFX/MDYr2tRuiDaYHU55CxNJ\n1S4CyapeYj0GbB4s/ze8tNMvRzL0nbJBNmPHYzfeNUXVPx+VhjVMcLpi6yyIYn0a\nOOSt9FDb+ktfVjTpFePaiPqqmCEhFX8MhpJ6c7QjWjIjANheqW3cmGpAfSEIERBQ\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-16 00:00:00.000Z","summary":"

Perdu sur Internet depuis 1995.
Crédit photo : profil Pierre Boulet, bannière : Joséphine.

","updated":"2025-12-18 02:00:41.967Z","user":"","username":"Pierre Boudes"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 10:28:04.803Z","domain":"mathstodon.xyz","followerCount":141,"followers":"https://mathstodon.xyz/users/jacobneu/followers","following":"https://mathstodon.xyz/users/jacobneu/following","followingCount":79,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/953/800/739/556/319/original/09203b74c7711cad.jpeg","id":"e593uh0838j47iu","inbox":"https://mathstodon.xyz/users/jacobneu/inbox","iri":"https://mathstodon.xyz/users/jacobneu","isLocal":false,"last_fetched":"2025-12-18 02:00:42.017Z","outbox":"https://mathstodon.xyz/users/jacobneu/outbox","preferred_username":"jacobneu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApNZVtuclurHmTVKQGWco\ngaT8krPZ40HIcmfdcjKu5Je4ioiTuReor2JVroqJGoq1TpSblUAMb/ht3wx2eG3a\nkXj7y2XnYsf4QCVG3d6dvY0TqQ48zSu+2mVDwzuC6m97xCLLpetXO15CRlsA1xxf\nO3tgr/C9Q52Q6MArx3MHpuCEe6cvOYcXm894DoVBUZDkAPuCsYZXEjp8ijlcXbdG\n/gDEsXdpNQh5EseURpImcOeypeZnP6xDWLEYk2oI30tX4hB5Q44yHEktVNwXqbPq\nhvgg4lZfhXXtvu66MNyeuvEGDzqKXXaTgSo8k3fFHT+02jTqNietVDFa8jK7W5wu\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-18 00:00:00.000Z","summary":"

Ríkjafræðingur og gerðafræðingur at Reykjavik University
Previously a PhD student at Uni of Nottingham
Lover of bright colors and spicy foods
Has been known to sporadically create content

","updated":"2025-12-18 02:00:42.018Z","user":"","username":"Jacob Neumann"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-03 03:17:27.799Z","domain":"mathstodon.xyz","followerCount":134,"followers":"https://mathstodon.xyz/users/jaycech3n/followers","following":"https://mathstodon.xyz/users/jaycech3n/following","followingCount":125,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/331/282/956/573/481/original/f7f214fd86200529.jpg","id":"c58qof05eywe177","inbox":"https://mathstodon.xyz/users/jaycech3n/inbox","iri":"https://mathstodon.xyz/users/jaycech3n","isLocal":false,"last_fetched":"2025-12-18 02:00:42.242Z","outbox":"https://mathstodon.xyz/users/jaycech3n/outbox","preferred_username":"jaycech3n","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxWvucV+bLdqNbrNzTdxP\n5TFkuUqSNolSfg3+O0x4XJ65StDbmTnRv6ABeH+eiqfFiApoPjbCoGBVxwQ53J7i\njVCalmNsaAh+CLKLr4vg9U4KYcvBHUW6NESTRWLB57h35hWB8ocndGSs/t91nstQ\n//iWtHM7gwjtauN4A8HtmKUn5CUB1w6occFuUxn4MUQQdMOxETbYdKZjf+Td3dH8\nL6meuF6MN+zH8GikaSm5867nqiB3Bl80m0sCui6gpIjWFW7qrEeH5Sjt+SHo3+9B\nnIwzbzs0S7QFOjwCznTookyOwWPJrWbi9Q5IP5KMGgIIF2XWMFi0dgMVSMxbjGaF\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-12 00:00:00.000Z","summary":"

Mathematician in a computer science department · Postdoc @ Theory of Computation, University of Birmingham · ex FP Lab, University of Nottingham

","updated":"2025-12-18 02:00:42.242Z","user":"","username":"Josh Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-02 20:32:48.853Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/edlyr/followers","following":"https://mastodon.social/users/edlyr/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/001/138/833/original/64d94cf0bc021fc5.png","id":"z9otc0om5m333bs","inbox":"https://mastodon.social/users/edlyr/inbox","iri":"https://mastodon.social/users/edlyr","isLocal":false,"last_fetched":"2025-12-18 02:00:42.392Z","outbox":"https://mastodon.social/users/edlyr/outbox","preferred_username":"edlyr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx4vpBpHrGWORNDFcrhQa\nwTfynBracoWPFntghTSy3YtvZdteVm6hUGdqEpZTS8YeVt478M+PuzVSIbyb/MSw\nTCjI0Va0XYl4w2PhB/zatfPITDNkP8P/kSJoifBgIgkvKucdyR6tfP9pcQxNvBGO\nIJQxPhZsA4QaLVtuKUe251uDusBG6eXQp9w51aPwy3GVFKWV85bOK9u2MPjGU+qC\ngatNUD26/HMWpYuODhHxammXOIHs1KWcJBfQ3dCfgFYVXM5hiYtzYQII7Yj1zO03\nTk6W0nEqpFnJFI9O7xvk9SuoFMsKWduYpd6C2EORnhkyTAlMD4Yw3m/snunc7oKm\nkwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-03-06 00:00:00.000Z","summary":"","updated":"2025-12-18 02:00:42.392Z","user":"","username":"edlyr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 02:00:42.514Z","domain":"piaille.fr","followerCount":0,"followers":"https://piaille.fr/users/leous/followers","following":"https://piaille.fr/users/leous/following","followingCount":0,"icon":"","id":"gvfulkxrqb0480m","inbox":"https://piaille.fr/users/leous/inbox","iri":"https://piaille.fr/users/leous","isLocal":false,"last_fetched":"2025-12-18 02:00:42.513Z","outbox":"https://piaille.fr/users/leous/outbox","preferred_username":"leous","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwxMFVdkR6DvJAef2qq+X\nX3eYjbZmVdGyP1AuT/Rki/8XHy5Ifr6AHyggN5ULJR+hsTn4qJzLeQLB7ng8mIsQ\nbRAqwuA7Buwc2wByowqjzFGOGtqKzSCcRg2b/FTijoqCxFxtfTVkDRrywHSZrWwA\nZZ/iIjF1+4YYyrFUG2wZ4MhHJ20QDifrotgtLM9VuTP5KbwqaMlTuyYEXbHcLfFt\nu+o3U85sY5LCFMxmIf6A6rIpHfgBSM2T3Qu3+6XUQG56uNZFO3rWN1Rf+wchaeX9\nhMSqEfCzfeceynVwcvniXyq00Ub8sEKppIcnzzRZRTlEa5uFXl7W4NtMj6VgbfLs\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-07 00:00:00.000Z","summary":"

Étudiant en informatique

","updated":"2025-12-18 02:00:42.514Z","user":"","username":"Léopold"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-05 19:58:30.798Z","domain":"mathstodon.xyz","followerCount":5,"followers":"https://mathstodon.xyz/users/paulsej/followers","following":"https://mathstodon.xyz/users/paulsej/following","followingCount":40,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/967/339/034/321/872/original/e3aeef6563a72d1b.gif","id":"83jg294e7nm96e3","inbox":"https://mathstodon.xyz/users/paulsej/inbox","iri":"https://mathstodon.xyz/users/paulsej","isLocal":false,"last_fetched":"2025-12-18 02:00:42.559Z","outbox":"https://mathstodon.xyz/users/paulsej/outbox","preferred_username":"paulsej","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu/DVYHlGxG4d06MiCJOO\nBtAaWS3j1TLVjSiPKlPRfXku1xConh58Ej3FGlFQZb31mKjK14KIRfjCDPbilICV\nd44YW62lfCvEi4PSdfUMjJj8Cj80FtbfiHVXbZS5IeF/ulxuNIQEwi1/Ni9AshCD\nXRNKYzRgPgyD4KqffeK7RbchpBDrUlAhGNiaKPglVhk68lB6I13DFh64bgfQ20LN\nusYQgmDBoEy/perfATscqVE13tCA+f2Jid2e5+leiqAOFJiDDUNqAGPhUwx9pMCW\n5AjbaTx1GkJJMVS0NOVOPd/nGssjN/UmPiGwjcawMTALqE1h65SqnwPfWHRlZHDa\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-28 00:00:00.000Z","summary":"

Living in a highly stratified crystal
Mining coscience data
Assembling eco·homology
⊢ Girard's transcendantale syntaxe fanboy

","updated":"2025-12-18 02:00:42.560Z","user":"","username":"Paul Séjourné"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 03:01:08.814Z","domain":"mathstodon.xyz","followerCount":426,"followers":"https://mathstodon.xyz/users/buchholtz/followers","following":"https://mathstodon.xyz/users/buchholtz/following","followingCount":212,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg","id":"53t3rfx4a1z1s80","inbox":"https://mathstodon.xyz/users/buchholtz/inbox","iri":"https://mathstodon.xyz/users/buchholtz","isLocal":false,"last_fetched":"2025-12-18 02:00:42.602Z","outbox":"https://mathstodon.xyz/users/buchholtz/outbox","preferred_username":"buchholtz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3PFH7hzHo7WthZQahsZr\nRzyxwy1ZI5crjWCgZqF6IOHUX3qisEIoI5ycjXWpUGlMH7UZl7GXnk3qw/nzh3L5\n+QkIvrj9eoifIvHFDxwgmu9oPHT4IqdmYG48bq5wBCEBisHcSVuuHs+JB0iV4I4r\nDHFwmJ3Mvo0gHWjmfex/E5n/FF7o0t6Ja9j5d5V1fwqFO0BunP55SdRcBKeVjmto\ncUb7Sm1+0OVIl5x4uZPTyIblSwm4/BpGy7aexy7GH5Uww3qzDCI6t8U3jsNoW4tE\nAYpPtSjHpMaaejbJQyGzdXErmxWUgaomnKjzof/IuoPD33BSZGWkXQ57Wy6zesy8\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-17 00:00:00.000Z","summary":"

I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.

","updated":"2025-12-18 02:00:42.602Z","user":"","username":"Ulrik Buchholtz"}],"page":1,"perPage":10,"totalItems":63,"totalPages":7}

Valentin 'Richie' Maestracci

Followers