{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 18:04:58.133Z","domain":"mathstodon.xyz","followerCount":23,"followers":"https://mathstodon.xyz/users/smimram/followers","following":"https://mathstodon.xyz/users/smimram/following","followingCount":51,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/005/477/original/56ad2ca474fd94c5.jpg","id":"2xl5j33v0398j75","inbox":"https://mathstodon.xyz/users/smimram/inbox","iri":"https://mathstodon.xyz/users/smimram","isLocal":false,"last_fetched":"2025-08-06 03:34:22.967Z","outbox":"https://mathstodon.xyz/users/smimram/outbox","preferred_username":"smimram","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzuLAIrDI0BW/DlXwQQyI\nFDrJVvxxGD2gUIai6h+wUWG5B93FV4RlxW58+PBN89V8rDDLcX9CDywZKJlOGgqX\nDUNBrlqD6AEaAUn86/ThtJyZKkcyG2jTWRz7cYjeOi0mijcQ+sj++41gms1jXYW3\nCO3YerIZPljCXSYSHEUnAieTKSO/qQ4A2pfVRb+J30FoA9U3cLjo5bQH7Ukgu3O5\niagB3w03pbZeCkQ7rH0yH/9uo9LzTGCD+YKdfNqH1ywAjQ832byTHLBbAInjsrKq\ngq3nBkCmGEK4eE2oVoyBVTADBWBg1oRpR1EnhClqg31fv+2AOtEluDfo00M1hTz8\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-16 00:00:00.000Z","summary":"","updated":"2025-08-06 03:34:22.967Z","user":"","username":"Samuel Mimram"},{"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-08-06 03:34:22.999Z","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-08-06 03:34:22.999Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-14 20:55:15.977Z","domain":"amok.recoil.org","followerCount":0,"followers":"https://amok.recoil.org/users/avsm/followers","following":"https://amok.recoil.org/users/avsm/following","followingCount":0,"icon":"https://amok.recoil.org/system/accounts/avatars/109/297/691/357/470/174/original/fb1a0ae1bc29cd8d.jpeg","id":"94qtof1wq9d25ri","inbox":"https://amok.recoil.org/users/avsm/inbox","iri":"https://amok.recoil.org/users/avsm","isLocal":false,"last_fetched":"2025-08-06 03:34:23.138Z","outbox":"https://amok.recoil.org/users/avsm/outbox","preferred_username":"avsm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvlhBB6bv0waF0ZcMWsGq\nbjmRcCPTIYtDT97CRjTilBFPgjffwBGy05SjrWO7v66P0ZKV0hvOjakh75OQuToQ\nkeQVEZiqKxIH9vSB2CubvoUnBsJGkc9RoGjrrclbn1WLqUU/N8WruRHow9AX3/RF\naQsFOX+pvpHKiw7QUnKXMlLJNVHXhjVBYqSV3/ac3lnUuUzwLxfRvGvwvc3PhamS\n6kiUBtlTFUZgxq/cs1sAEzKgPNg1ZD/w4kPaOeL7bdYMTgh3rypHfPKFcSC3ELZ7\n2vov9aKuqo/fV90JmGvjSo8NNGFywAoMpZWmanK+WSF5M/pXUrsQhFsgowEelzGL\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Professor of Planetary Computing, University of Cambridge

","updated":"2025-08-06 03:34:23.139Z","user":"","username":"Anil Madhavapeddy"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 05:37:00.664Z","domain":"mathstodon.xyz","followerCount":188,"followers":"https://mathstodon.xyz/users/gadmm/followers","following":"https://mathstodon.xyz/users/gadmm/following","followingCount":207,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/726/457/221/933/162/original/98bbe59427917432.jpg","id":"ev3g5ytk6223658","inbox":"https://mathstodon.xyz/users/gadmm/inbox","iri":"https://mathstodon.xyz/users/gadmm","isLocal":false,"last_fetched":"2025-08-06 03:34:23.194Z","outbox":"https://mathstodon.xyz/users/gadmm/outbox","preferred_username":"gadmm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq9zAosnhj41Uek6bTOiq\nWrlIcgdWY9mZLdbE9lqGhth7uZzsazp7b8or3q6nG6f/E2HhPTAvwoxYHcrw15No\nh0KAPWUa8iZ4KL+myWgpOX6ssJDr0mkBVdQUaS6mzSCUMeaCA0ojzV3QuYbkHL89\nZM6D4RXElkxsNBDfVGKx4S2WMlAm84IoX+a1qFxU40lwTUsZWCYMXFY6oPIvlSTV\nvFyCjAllmeC3e6QnWnwp+BuhecHGKjdL50sOGblG+mg4hA3I1avNupGssNGSIVrb\nGAdI8tob6v8ElwcrIo1WicCkqAcdkzJ712GKQnb1NIvbKVddVBozNz64WiPyKZR3\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-16 00:00:00.000Z","summary":"

Researcher with the Gallinette team at INRIA in Nantes. Interested in various scientific aspects of computing and reasoning, particularly those related to the Curry-Howard correspondence. I like lindy-hop dancing, running, and riding my e-bicycle.

Semi-professional account:
- professional opinion: posts on the topic of CS/maths unless stated otherwise
- personal (though mostly about science): boosts, memes, non-public posts, posts outside of CS/maths (rare)

","updated":"2025-08-06 03:34:23.194Z","user":"","username":"Guillaume Munch-Maccagnoni"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 14:08:34.331Z","domain":"mathstodon.xyz","followerCount":4120,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":198,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"2q6p52mlg37pk43","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-08-06 03:34:23.851Z","outbox":"https://mathstodon.xyz/users/TaliaRinger/outbox","preferred_username":"TaliaRinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtj6yFND0XEEC+RJLhRMK\nApROqVTcQD1upSPlu+rnfNriyKxsRCie7kOzy/tyoaAd1fVrzHzu2hOkvxhzSO0S\nRGg6EtA1h85S68RqLD03b0u/ZpLF5myhGrsVqvPiIVzL190wQQejbvkV2GR+YXyR\njgz1leYw/qq84ggemIO5TbTEB0/R+nvPfvrxooHK/gxbfzxkIGeu+dtmzsQivpl4\n8YMcNoe9pzeL4BRQX1+X2L5kiFoXDUjHwjl13I8qIIUOGnJzy3f3GYLa4xZYlU+t\nZtj+r0nbwzHFHbXu1/X3eADHf8j7GlsHwM65XOOOPN2uFEX6+Dd4js6elJ3zKFWv\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

","updated":"2025-08-06 03:34:23.851Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:06:55.094Z","domain":"mathstodon.xyz","followerCount":660,"followers":"https://mathstodon.xyz/users/noamzoam/followers","following":"https://mathstodon.xyz/users/noamzoam/following","followingCount":402,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/262/369/988/210/813/original/493bd444df424bae.jpg","id":"c2308xs3r83auhe","inbox":"https://mathstodon.xyz/users/noamzoam/inbox","iri":"https://mathstodon.xyz/users/noamzoam","isLocal":false,"last_fetched":"2025-08-06 03:34:23.879Z","outbox":"https://mathstodon.xyz/users/noamzoam/outbox","preferred_username":"noamzoam","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArsuLfrpJ9iJbRWR7DgtJ\n1EPK7kyslOFT26mUGK3c2UUCR5Rju1NW27N5HitNwNwNqFCLXCospNKdn4Ik1ZEN\nDmloODCahHuuyNrEQdrEkTPUHILmjWTXpWhrp0aSUL7QQNvXMfLEPDbmjHSdDXoH\n1RMS9eRgAnoLrEJJhUFmqCECY/1JB2nZIWhgSCPB9CngxWoh6wmscBC7g+JSfg3+\nRkt87xhXnqQmwMhuUT+SZaVOtdS04krp5PTJfuoIZp0cZJFslUHvHBhIOeUJEnb7\ni5LdRAoRNjMuU5D9VBCLhM2xWZGpDGToELxWuWhVWOFJ5ru6BiPYrVvP3fuvHyum\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.

","updated":"2025-08-06 03:34:23.879Z","user":"","username":"Noam Zeilberger"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:44:43.109Z","domain":"functional.cafe","followerCount":614,"followers":"https://functional.cafe/users/kha/followers","following":"https://functional.cafe/users/kha/following","followingCount":173,"icon":"https://files.functional.cafe/accounts/avatars/109/664/180/140/228/769/original/47bc0e69d6f0e5d6.png","id":"37es0e77951l391","inbox":"https://functional.cafe/users/kha/inbox","iri":"https://functional.cafe/users/kha","isLocal":false,"last_fetched":"2025-08-06 03:34:23.972Z","outbox":"https://functional.cafe/users/kha/outbox","preferred_username":"kha","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4JUUAZ0qgKQOXkSE4O0\nsV6QBaKlww6Sy/AotxRic5ys+s5dZ+k+1HJuKMHzhJcX0MgB2d9SvvTMyZU5kHjL\n728HFmx4JK/pK15epZrh0VC9nv/qHG+j5HZeeslBn9oQ5/6/I02RbaJVes9zLZ/v\nNhziBdCTqKGxOND15sCLOj1t4t5LB1yY7iylHcnWhkEB7Hwk9cLpr5vudaxVlgY0\n6Zp6nWMPJQpltl8gWRm/smt5O1Gi6cltwqU8Mvw2CWyzc42spbHc78cQvJX6AYjJ\nX4WIVzJbuOx/MvwX1LIFzmhfi402xaCOiicR4pDcoH72s19yewgdSzk+RPSaEEaX\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-10 00:00:00.000Z","summary":"

makes Lean at Lean FRO

Munich, Germany

","updated":"2025-08-06 03:34:23.972Z","user":"","username":"Sebastian Ullrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 10:44:56.901Z","domain":"mathstodon.xyz","followerCount":1717,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":467,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"r1866528xya1888","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-08-06 03:34:24.004Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-08-06 03:34:24.004Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 21:12:49.634Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/Blaisorblade/followers","following":"https://mathstodon.xyz/users/Blaisorblade/following","followingCount":0,"icon":"","id":"cmq17oji6n8390e","inbox":"https://mathstodon.xyz/users/Blaisorblade/inbox","iri":"https://mathstodon.xyz/users/Blaisorblade","isLocal":false,"last_fetched":"2025-08-06 03:34:24.038Z","outbox":"https://mathstodon.xyz/users/Blaisorblade/outbox","preferred_username":"Blaisorblade","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvK6lU9HmQzAR3CAGJmvF\n5ukQEWH6o++NiwJL7m+huLac6L+5AztnbLqsvlvimaBYqZY/JoBJq/R0ylJt3kjQ\n+0eiXvnAokJ+cjmTrVx+3iw/e6+RSjhqI51kJln3BLnPvVDLBFMVJgc4HoNgC14n\nQuGp7wlBFlbLkQNcsHUtCh4dHpfYMrO1+m1BTezG+EkAha0AV4bccccYIZ2yzKzT\nlRVzIYzDq/EbJnwK7DG+wHlBZe9veRzgL9UAOgg5y4NJlOLmUrbjQLta8SbkA4jW\nR37KqJ+AG0ipZdjwEyPWWZMPXRxlzrDxYSoJeO4B7w7gJfWOudg1uCvS89G1ijvv\nLQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-29 00:00:00.000Z","summary":"

Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

","updated":"2025-08-06 03:34:24.038Z","user":"","username":"Paolo G. Giarrusso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 01:43:35.988Z","domain":"lipn.info","followerCount":201,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":94,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"781j43qsyl8oil5","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2025-08-06 03:34:24.222Z","outbox":"https://lipn.info/users/mevenlennonbertrand/outbox","preferred_username":"mevenlennonbertrand","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlgF0/w8VsRnfACR0mhY9\nfxAQ8LpjL/r8DtwC4L8LXsPp3jj3Mphz1dU23xPxcIY/Ob0j97dDKRW7keUc6urx\nYULRfonchTRGcmC/4paJWX9/6DA4ezKgw3Q5bwJzGkCRQLpe3zUvlX8xXPJd4qyl\nOrxUMCXdYC1i+mOikY38TjSNQlzkQMOg4dIbLrtF70FHcFujS199XWsB9t79DyGo\n5Xmb+eDaBGAzxGjka4C/cPorfuEIO00C+Wmty9Y0hJZtTx17lyw+cYkfayqoZWSJ\n9ZNPMyb/nppVcCRDspk0eR0LJ1YPpq/+9tprElIhNuNDkwlwFXIHGv0/HI11T3Tu\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-22 00:00:00.000Z","summary":"

Post-doc at the University of Cambridge.

I mostly try to convince proof assistants that they are doing reasonable things. Sometimes this involves studying type theory. Sometimes this means understanding what our implementations do. All in all, it's not too bad.

Profile banner (from the Leonard comic by Turk & de Groot):
- I wanted to serve science because it it my joy and instead of that, what am I doing?...
- Yes, what is he doing?
- In my opinion, he's complaining!

","updated":"2025-08-06 03:34:24.222Z","user":"","username":"Meven Lennon-Bertrand"}],"page":1,"perPage":10,"totalItems":15,"totalPages":2}

Emilio J. Gallego Arias

Followers