{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-08 13:12:44.608Z","domain":"discuss.systems","followerCount":338,"followers":"https://discuss.systems/users/jfdm/followers","following":"https://discuss.systems/users/jfdm/following","followingCount":236,"icon":"https://fd.discuss.systems/accounts/avatars/109/604/343/824/886/175/original/f2d879eddbbc9d21.jpeg","id":"e4o01p5crq6j3fy","inbox":"https://discuss.systems/users/jfdm/inbox","iri":"https://discuss.systems/users/jfdm","isLocal":false,"last_fetched":"2026-01-06 09:31:11.131Z","outbox":"https://discuss.systems/users/jfdm/outbox","preferred_username":"jfdm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0K7PCuyuCqgq4oeobhzQ\nCIDl/OtNP5JUY/PSOAm1SUeJka67Us5NWWooPNhhPWfdCIWE92TW+8uImglQKnpb\nVI0Bdiw8jUeYfR3fOZPF1DIkemxT3QAWQ2hN4It+AwzHJTUYnxb+oxWRNIbSIq72\n00N0vscH3QItsQMHQ2yRBNT7Go+f1T2ig71o4h+LhbQlTqHenSg/cWr1gZSC86aw\na70QbXT6YgWJirCD5pGNybgPxdUkkJJ48etGxapdArWzoxRjPgcMOSZBRGukC/ev\ne3JII7BKZDayI3ut2j6KSN9RvJL98KI1ZhJCnUKthoWSf4u6GjLkSuVX6tFKv76L\nKwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-30 00:00:00.000Z","summary":"

Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in coffee, politics, music, the outdoors, sci-fi, high fantasy, & much much more! My work doesn’t define me; it is not my identity.

","updated":"2026-01-06 09:31:11.131Z","user":"","username":"Jan de Muijnck-Hughes"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 02:27:25.828Z","domain":"mastodon.acm.org","followerCount":242,"followers":"https://mastodon.acm.org/users/mspstrath/followers","following":"https://mastodon.acm.org/users/mspstrath/following","followingCount":30,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/782/162/022/965/509/original/7a2ffbad571da7fb.png","id":"0irzzpd4xnlytz7","inbox":"https://mastodon.acm.org/users/mspstrath/inbox","iri":"https://mastodon.acm.org/users/mspstrath","isLocal":false,"last_fetched":"2026-01-06 09:31:11.774Z","outbox":"https://mastodon.acm.org/users/mspstrath/outbox","preferred_username":"mspstrath","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxW3bZtFytNcG82/y6UFH\nX7Wg/Z3FUUyMY+PuxMxQ/QPknW2w/pCoixYdn/KkswXLqOaLAyzo5Eu4I3Tn/ede\nx6lPirJOCFeYA98O6QJfLQxah2PXziGf7kNTuXFFuQWyGzVdmvwVSd5yClBMGQcW\ngzCxHNhWaqSxmeHDRQLlflsSkDRp72WpZedz9iSRx4SLWAEwBvtSP2fbrfqxutCU\n2JkaNv0zpWgBwWswJN6lkCOeW4zcX19lh2SlVnKZTUG+rQd7tigmzEwZQXZav3my\nd1OhbVLUuhPrfHaFA3dmuBT7DfjLfWganFIN36GnupcVIh4sw/UoWnSOtOQYaka8\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-19 00:00:00.000Z","summary":"

Mathematically Structured Programming group @ The University of Strathclyde

We are interested in type theory, category theory, and how to stop seeing them as different things.

Toots by @jfdm && @dylan &&
@dilsatby

","updated":"2026-01-06 09:31:11.774Z","user":"","username":"MSP Group"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 07:54:45.582Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/dilsatby/followers","following":"https://mathstodon.xyz/users/dilsatby/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/389/063/089/626/323/original/f8882b0102d6dd8e.jpg","id":"tyy3crfybowjd3b","inbox":"https://mathstodon.xyz/users/dilsatby/inbox","iri":"https://mathstodon.xyz/users/dilsatby","isLocal":false,"last_fetched":"2026-01-06 09:31:12.258Z","outbox":"https://mathstodon.xyz/users/dilsatby/outbox","preferred_username":"dilsatby","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwfHICVHHbEdRizgA3TGp\n2SgrX+Oqa6XVR4iwmX0KodreE/PS3gcFuVuBTgvo7toa6tJd2JHz0FAzbU5alvZD\nETbCmccUa2lAo8MpA6nBw/GuIHnOEKjnUWL7mI/nGGtuAtHoMwG+Bhq3G73d3rbr\nJDVchxi3j+46qI4ViWxvRQXD8sfKCKPxedCTjm8J0YnZjl5jAWqe1O2fdTi9WZxs\nBlkZnJAFq/OFEorCnhf9K1uwOyCdZUO27vwvcndc9fwUtwgHF55KUAMCOpH7Tudi\nrfPat6zGf/FZvwF9JhTXrz9MzWuif72qF2BpW6iRuPbJk8XZfsLN4qoKIjEJupMf\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-22 00:00:00.000Z","summary":"

PhD student

","updated":"2026-01-06 09:31:12.258Z","user":"","username":"Dilsat"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 07:54:45.672Z","domain":"mathstodon.xyz","followerCount":42,"followers":"https://mathstodon.xyz/users/seanw/followers","following":"https://mathstodon.xyz/users/seanw/following","followingCount":40,"icon":"https://media.mathstodon.xyz/accounts/avatars/112/519/352/057/374/908/original/1ec7cef8bee9a4a3.jpg","id":"233og1bwezx4jg6","inbox":"https://mathstodon.xyz/users/seanw/inbox","iri":"https://mathstodon.xyz/users/seanw","isLocal":false,"last_fetched":"2026-01-06 09:31:12.310Z","outbox":"https://mathstodon.xyz/users/seanw/outbox","preferred_username":"seanw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAts3kk0EN9so0aEPxprbF\nkoo1AfWVBYeNUdfnZYE6s7v/WSwj1A/8UqkrEhqEmvx5uKw+ibbeo+CYRLnuICIV\nLSIraUopsbjQSutxDvDsxrGsWLBMcuN7dk33041MRrOv/mQioRzSI3O/a8VNuEpD\noTSsC9PziC+VR+vwIOBV1K0WhxwVtyhXtBD1sBzPgS5jliphT1j99uilBz+vkFbg\nTgbNDUzy0CVqsuy2iTa9NSOKTuuR+1K21hoqKmTs305Mw5u+AnmqaS+Pgz5SdKLn\nHPd6neNwxBSh2z3fxddqscIkkYU4BHWU3YwQlyg3ucdyNwYKtnDHfeHT/M4eQqlM\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-05-28 00:00:00.000Z","summary":"

PhD student @mspstrath, University of Strathclyde, UK.

","updated":"2026-01-06 09:31:12.310Z","user":"","username":"Sean Watters"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 06:46:18.596Z","domain":"mathstodon.xyz","followerCount":160,"followers":"https://mathstodon.xyz/users/hegeliantaco/followers","following":"https://mathstodon.xyz/users/hegeliantaco/following","followingCount":107,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/116/526/393/968/081/original/9346dd336b51a637.png","id":"vfobyoabcetmx3a","inbox":"https://mathstodon.xyz/users/hegeliantaco/inbox","iri":"https://mathstodon.xyz/users/hegeliantaco","isLocal":false,"last_fetched":"2026-01-06 09:31:12.359Z","outbox":"https://mathstodon.xyz/users/hegeliantaco/outbox","preferred_username":"hegeliantaco","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxFbJIEh1kzxVGv2Xpall\nhAq0fVkpnIzVebPjlOiPubhQdRaW4FNG6sAF+lJV/EmboT5VMLV+xCo/XnAeHCOk\n/mpQlrldaDian4qB95N/tzxxFc8CXAFT8EnCnODoeiXujB3dY1DOyYGH5Rm2UbDK\nb7vq5eAUgWnfDfCDcXOaxdv+bb1u36ALo6orl2vnxVO01VtY0y/zo8Iqse1EQvP1\n4t104Rl1gpxCRNDBODr2Eom9w+KC+Q4sGeCOVhQ3dDZiy3UOMmzen5Kk7S6tQXCu\nG0Bdp+LfGHiSSmMvqwWIyH3c4DCCTNOuqNZsY0mJv99gp4auDBa8htu5IDwaCuV/\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-23 00:00:00.000Z","summary":"

Interested in mathematics, philosophy, computer science, and the real movement to abolish the present state of things I am not Jules Hedges, you can find them at https://mathstodon.xyz/@julesh For my non-computer science/math related thoughts checkout @dialecticalrussell.bsky.social @analytichegel on Twitter

","updated":"2026-01-06 09:31:12.360Z","user":"","username":"jules"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-20 03:47:07.144Z","domain":"mathstodon.xyz","followerCount":4199,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":211,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"zjkgzbzbhv8n5sv","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2026-01-06 09:31:12.403Z","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":"2026-01-06 09:31:12.404Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-25 00:27:16.632Z","domain":"functional.cafe","followerCount":837,"followers":"https://functional.cafe/users/jer_gib/followers","following":"https://functional.cafe/users/jer_gib/following","followingCount":133,"icon":"https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg","id":"aemzk1x33vcnsui","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2026-01-06 09:31:12.588Z","outbox":"https://functional.cafe/users/jer_gib/outbox","preferred_username":"jer_gib","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvevzTX5awHhGepuzfX/n\n6dUxD6mMQ9yFoXyF8LHa0iALWeBJ7eO3XIm7ozcW3zZp7CwvJTr/cOi9NoHMz5sl\nYWR/W+1ZAoQX4BP1u9Ll0q/teASGAcc45VR7rSCRsNhm1yibD7qEe/U+7brgGcIx\njmCRMtlsJIvD7kPFYmj4x0NxG+iji22QQYknhHCU6JQdDvwt0VR7sv/tqLzaX7Ca\nM0amVZ1TYwzYXOXdURtVEn2LpCekRxYV2rBDvkOalMOVBSobkNAPX6SLx82ErR5e\nRUqEBDY/5lN+aj63WO8DghRLSNyMctqmAp8RCarkbnX7RUCbO9J8U1kUEY7Pa6y2\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.

","updated":"2026-01-06 09:31:12.588Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 06:46:18.552Z","domain":"mathstodon.xyz","followerCount":712,"followers":"https://mathstodon.xyz/users/zanzi/followers","following":"https://mathstodon.xyz/users/zanzi/following","followingCount":194,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/849/155/887/622/527/original/780575cab98b0ce9.jpeg","id":"d8tjm7tfvwwcqiy","inbox":"https://mathstodon.xyz/users/zanzi/inbox","iri":"https://mathstodon.xyz/users/zanzi","isLocal":false,"last_fetched":"2026-01-06 09:31:12.631Z","outbox":"https://mathstodon.xyz/users/zanzi/outbox","preferred_username":"zanzi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7n/96xPDTD378z1I2rMn\ns+5qfyLupYGDa3rJKRLThIfbMwPC8I1bqBIE+LvDGjuHvGTnpYAHjN1vX45HNh7Y\nZbyhr5mLzXPK2xtjrAdf7wlKpO7N5X1DMqUYJbWE5xhj67tXU9eZJ4XmUMmdtTBf\nN3WKkxqfOlHRrHECotJv6LUysr3fN3a8gGifzGgwr5UjKP7FBTowt+d8WHDyYsGg\nPud075Ky/ryKi5DO7mTebKpWQg1dRXNDEMs0fTKmq7E4fesbv4+Osu+ziNkbjPH7\nSJU2e4JzBLCzL4MWycXWmoEX7oeTda7HciDZ45rgU+hkUtNnSe6xFnayUPgZuAtM\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Applied category theorist, working on merging category theory and functional programming.
https://zanzix.github.io/

","updated":"2026-01-06 09:31:12.632Z","user":"","username":"Zanzi @ Monoidal Cafe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-19 21:42:08.401Z","domain":"gamedev.lgbt","followerCount":1030,"followers":"https://gamedev.lgbt/users/typeswitch/followers","following":"https://gamedev.lgbt/users/typeswitch/following","followingCount":388,"icon":"https://193eb646-6077-4968-9f13-271a9b475591.svc.edge.scw.cloud/accounts/avatars/109/840/745/523/444/375/original/8ea18ae9c709d259.png","id":"i8f3pchxrxxev1p","inbox":"https://gamedev.lgbt/users/typeswitch/inbox","iri":"https://gamedev.lgbt/users/typeswitch","isLocal":false,"last_fetched":"2026-01-06 09:31:12.922Z","outbox":"https://gamedev.lgbt/users/typeswitch/outbox","preferred_username":"typeswitch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlp8UPRncZAlD37Om+XPN\nF6WHImjuHUwQJD5EfsGweJqMGhtzCInT/ihSohIqtn5UdvAQ+A7CYkZmJfnAPl/u\n+/rbqhb+6aXuHRFsClXn/IVyN4rwAArczG5TDOf2gIb3Oc3Zycy/41SYDCFgCn5Y\n8eFJZYPvfYwRYs+OzYe3Vzni18QmqoVyYuOTqqiQIr7q8imtWdwMRKkD+4V66uzv\nlb7fvStf03g4zmKumyNCfxOqs6r7afSAeSsiQcLv4rdHgRUB0v3BAvEoU35Y1+T0\nNp6utWrBQWMRa+gUfBOfFIks/kSf2OK8Yy11hTmNcZxMT5aWBvUdKJ0Nw0irRjoR\n4wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-10 00:00:00.000Z","summary":"

they/them 🏳️‍🌈🏳️‍⚧️:nb_flag:♾️ #pluralgang
we make games and compilers sometimes

","updated":"2026-01-06 09:31:12.923Z","user":"","username":"azul"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-26 19:21:56.803Z","domain":"mathstodon.xyz","followerCount":572,"followers":"https://mathstodon.xyz/users/sp_monte_carlo/followers","following":"https://mathstodon.xyz/users/sp_monte_carlo/following","followingCount":780,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/536/571/660/663/121/original/1e1d16149b7a93dc.jpg","id":"zil6sbsgfwc02x6","inbox":"https://mathstodon.xyz/users/sp_monte_carlo/inbox","iri":"https://mathstodon.xyz/users/sp_monte_carlo","isLocal":false,"last_fetched":"2026-01-06 09:31:12.968Z","outbox":"https://mathstodon.xyz/users/sp_monte_carlo/outbox","preferred_username":"sp_monte_carlo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArFLfmPUVlL/03IrjHuj7\no6cSDbIZq5ZOI86dylZH8zZ0ZFQepMzzcyiGupdRvvoyysQ7GP8mUkhUf2u6NtTQ\nFa3o129sBbwFdpg3XHiRbNTGQxqT9hkgBFMH946I5WnkNwxqNJsCUiFQ4anDqJWj\nXv5NCLjioP5p65t0yr49h/WgMU8OJ1XcMPpxo89+9sqfttMjzfoJyil6NtE+YwWk\n6jP7Q9ftp1CFbEXVAYsdrjV0SNPuXdMQGxmCDrH6Png05ba5i8TW4l+NSuXVR9BR\nUt8Zz51PYIgsys2ePcXdwRFvU1+XEHC3dpX+6ml3CMvu+FJNOg/pETJZT+/dPChw\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-18 00:00:00.000Z","summary":"

Postdoc in Maths & Stats at Bristol. Interested in probabilistic + numerical computation, statistical modelling + inference. (he / him)

","updated":"2026-01-06 09:31:12.968Z","user":"","username":"Sam Power"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 00:14:54.471Z","domain":"mathstodon.xyz","followerCount":721,"followers":"https://mathstodon.xyz/users/noamzoam/followers","following":"https://mathstodon.xyz/users/noamzoam/following","followingCount":430,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/262/369/988/210/813/original/493bd444df424bae.jpg","id":"vwecs9zbw22q69h","inbox":"https://mathstodon.xyz/users/noamzoam/inbox","iri":"https://mathstodon.xyz/users/noamzoam","isLocal":false,"last_fetched":"2026-01-06 07:50:05.039Z","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":"2026-01-06 07:50:05.039Z","user":"","username":"Noam Zeilberger"}],"page":1,"perPage":10,"totalItems":34,"totalPages":4}

Riu Rodríguez Sakamoto

Following