{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-20 14:06:05.659Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/tarides/followers","following":"https://mastodon.social/users/tarides/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/113/090/775/387/346/169/original/9193df43dee006fb.png","id":"9jnce71rn693nv9","inbox":"https://mastodon.social/users/tarides/inbox","iri":"https://mastodon.social/users/tarides","isLocal":false,"last_fetched":"2025-12-20 14:06:05.657Z","outbox":"https://mastodon.social/users/tarides/outbox","preferred_username":"tarides","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnwSBIJ+HE8Uuzn948QeR\nl8Jt0gfEVDdwS7W8LXWd1UtkTfdQVAoPMax0gvD2UVIpFnQA3upJawAw5o6907Xq\nUeVTsLDYzsADI8uhcwyXeDoijqr3mKwivODlFUAXoppWR613gtOdHtY68BUdEFUT\nhIfjh8acl9dtuBqDyd2M/YY71VSROCmGb9Gl4inDuigpY9W9ihrp7jTetT9+Gck/\nJyH4cduPGYFaKSivB/eIHnfcEYkMUcFL60+XZ7xB27yiFDtsZm6PiIMgLwi+VJnL\nv16/2HGsvdaxgIU9RfkPWbrFGZLf1pNzz6sMm29Kp7cht+3Y8gITsuhTBQ6dSDxi\nCQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-09-06 00:00:00.000Z","summary":"","updated":"2025-12-20 14:06:05.659Z","user":"","username":"Tarides"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-08 00:33:07.657Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/lutzhuehnken/followers","following":"https://mastodon.social/users/lutzhuehnken/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/359/069/241/134/844/original/a68642db983be3f5.jpg","id":"6kyiasy8089a041","inbox":"https://mastodon.social/users/lutzhuehnken/inbox","iri":"https://mastodon.social/users/lutzhuehnken","isLocal":false,"last_fetched":"2025-12-20 14:06:06.165Z","outbox":"https://mastodon.social/users/lutzhuehnken/outbox","preferred_username":"lutzhuehnken","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2BHOFSVZ5tqbbM9loIJr\nJxODtnR/1QT7j6ONGKfeQ6iMyjPruUOLeYR19HumGtxftudN07LeaEmywlH/R04Z\nl0e1QMcMFGuz1TlO6W4BdzhkTq+FHOen4FKCN2QxaP/5tIecw3lb/aTIueRNmMHu\nXu82o0HEzUFtDlQ0p8rbgJVl0q0JN42HDL7Sgcciqe/eY9mpl2x5MM3ZiYgQCHuI\nq2xBuGYZJKyb7/I3Ye7keYc7a32KDyrvR0RQDig2aGY5KPkcnH5XEPmB0HN6dA7i\no0iF3TsbQ7M516vFHc32qnlJkMlLqki+VmI10cOOefjU0J+dGvTGK+vclrh4dG1A\nwwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-17 00:00:00.000Z","summary":"

Interested in building excellent software engineering organizations. Also in event-driven architecture, highly available and scalable systems, domain-driven design, and the intersection of architecture and organization.

","updated":"2025-12-20 14:06:06.166Z","user":"","username":"Lutz Hühnken"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 23:44:15.535Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/kosmikus/followers","following":"https://functional.cafe/users/kosmikus/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/109/530/269/230/340/074/original/67952e91f909d230.jpg","id":"nyt7k83h4b36432","inbox":"https://functional.cafe/users/kosmikus/inbox","iri":"https://functional.cafe/users/kosmikus","isLocal":false,"last_fetched":"2025-12-20 14:06:06.216Z","outbox":"https://functional.cafe/users/kosmikus/outbox","preferred_username":"kosmikus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2Pdxyw8Vl0a7kGWPn0/L\n8E1BB8tIEFViXBV31v0/NHWlTEKairDK425CdNuU8mVM2vKsAU3DUwQRRbZkGNyW\nGkkztV345H83lmsZ3MMD1lvmhc9QPrqzdysL79F2pDgmEO6dKUysaNBV5tNE63pz\nZlT94R7EA4RANd+ZiKsxH97OOgAD9z7w+mS8SmY7gcb6H9aLuzoQ1tDRpw41Pa1+\nXN6xkj/PFnzY5z9/t+7K50aR7ISMkoAr+EZ9ditXISxYAoCZTrU4upLMrqmtqU5v\n0JlDgvmMAJNgvRqF6kvu3g07BnQabHF5lhsMsEGqRr7RLfl0q4m5GyXPxBYptBqJ\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-17 00:00:00.000Z","summary":"

I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.

Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.

","updated":"2025-12-20 14:06:06.216Z","user":"","username":"Andres Löh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 01:05:50.489Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/oantolin/followers","following":"https://mathstodon.xyz/users/oantolin/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/721/438/100/207/085/original/06c706aeaf1a6098.jpg","id":"97854jx3xwx8a6c","inbox":"https://mathstodon.xyz/users/oantolin/inbox","iri":"https://mathstodon.xyz/users/oantolin","isLocal":false,"last_fetched":"2025-12-20 14:06:06.387Z","outbox":"https://mathstodon.xyz/users/oantolin/outbox","preferred_username":"oantolin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3yty/vukPrT9pUGjBfo/\n/QcL2Wwj3r2tHSft4FaDbsvrEe+PJ7M6oOvM2fk/iFYQQ/TLyiabDS5BJBp2HYi4\nCYTV6T1CsfZqATt0R+mpZKyTD+QpZSEp8ngzhVY9PCLADSrxXKUlwsU/CeW3i5Ba\nGrCPtC9kZ/otepRpMGpvblo4nU+wqCxobQ3RlE1uooP91uR2gEwfhVRbeGKjJHqM\n98LZDQdOmY5Q0JFfuXPKnEbqZGeaxG9IUNkifWZnzMYPzF8L5lB4iWb3gMe6kXcS\n8WWovgaZXDWjEy0uRiaYsIMXlwIH5rA/ietNoI0l2dcz5z4Gb0j3IcgJyFPCaqsG\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-16 00:00:00.000Z","summary":"

I'm a mathematician at UNAM in Mexico City. I work in algebraic topology, homotopy theory and higher category theory, but am interested in all sorts of math.

I also enjoy computer programming as a hobby and am a big fan of the text editor Emacs.

","updated":"2025-12-20 14:06:06.388Z","user":"","username":"Omar Antolín"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-08 22:43:15.888Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/ltchen/followers","following":"https://mathstodon.xyz/users/ltchen/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/290/750/881/240/038/original/0e48c0d475d4adff.jpeg","id":"k1im3820fl814i2","inbox":"https://mathstodon.xyz/users/ltchen/inbox","iri":"https://mathstodon.xyz/users/ltchen","isLocal":false,"last_fetched":"2025-12-20 14:06:06.962Z","outbox":"https://mathstodon.xyz/users/ltchen/outbox","preferred_username":"ltchen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9IdnG1AOuYGq3Us+LDhV\nTXJHx7y+EwOuYDbCLIKiPjACWOBS/8qBj1QgiwyEYu2wlsqS+6zhUn4Z5I6TqMdd\nU9k2OFOUIn1IKEsDAj4HCv9fH4ZF5nMEUm6whTvGFe85UIiQ28IJH/B/Dua6pCKq\nLijQsuJM49QICpN343K4iuyTmkWPOv3xPaBosof+cQpYupP5tmUTzXy9SmgriO9h\nYQGxt3RBqixjS65kMOjhfRS8fAX7wywSxngRZ1+j4ZeQeFO6/Tb3wUeh1662b/XW\nkUyrFw4cN51+FQp2owrvdkhctUK61OoQT42HFMLUPpkFhikzBtSUeQ7fk1vOiUmG\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"","updated":"2025-12-20 14:06:06.963Z","user":"","username":"Liang-Ting Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-09 23:38:27.019Z","domain":"mathstodon.xyz","followerCount":137,"followers":"https://mathstodon.xyz/users/jaycech3n/followers","following":"https://mathstodon.xyz/users/jaycech3n/following","followingCount":128,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/331/282/956/573/481/original/f7f214fd86200529.jpg","id":"ry4p7s12688r77l","inbox":"https://mathstodon.xyz/users/jaycech3n/inbox","iri":"https://mathstodon.xyz/users/jaycech3n","isLocal":false,"last_fetched":"2025-12-20 14:06:07.499Z","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-20 14:06:07.500Z","user":"","username":"Josh Chen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-13 02:41:09.424Z","domain":"mathstodon.xyz","followerCount":144,"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":"jf579ay8481z216","inbox":"https://mathstodon.xyz/users/jacobneu/inbox","iri":"https://mathstodon.xyz/users/jacobneu","isLocal":false,"last_fetched":"2025-12-20 14:06:07.551Z","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-20 14:06:07.552Z","user":"","username":"Jacob Neumann"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-07 18:53:03.205Z","domain":"social.wub.site","followerCount":204,"followers":"https://social.wub.site/users/david/followers","following":"https://social.wub.site/users/david/following","followingCount":171,"icon":"https://files.socialwub.site/accounts/avatars/109/543/987/502/527/421/original/e74e14a4809540ab.png","id":"5e1186ywb43410b","inbox":"https://social.wub.site/users/david/inbox","iri":"https://social.wub.site/users/david","isLocal":false,"last_fetched":"2025-12-20 14:06:07.892Z","outbox":"https://social.wub.site/users/david/outbox","preferred_username":"david","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq3LgnQ8DtQRBBIBwP4xT\nhCcVQr5EVdOeRRdWsi8hNP1JZ0v2w20e3kIjcjMfokms98xXkXmp91OPc3BbIyYu\nK25ynJyWDJZfLykQP6FFTKOlAKvm6kDU8mP/ZUC+8HUdmAFL2ISndp6thZYNMr4A\nF7ruyxXsv57SuYuL/bN67JkDLnl/FgrIE2oyPZE2HPO/Fwt5Z3Q0VUJk4FSzEuq4\nO4HnLQY82EBbqx7z+TfzgeZ4bWjtM8cC2jsqNFny6TpaGRr/ZCQ3e8dFqiX82gVy\n40jxXZWF7ypQJvxTPAql8XX4gIb6H140nXQIMKsGYZxaEGIdm3c5G9iq354kw8Ku\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Pittsburgh, PA, USA

• Formalizing math problems in Lean: https://dwrensha.github.io/compfiles/
• Defining every word as an acronym: https://acronymy.net/
• Maintaining capnproto-rust: https://github.com/capnproto/capnproto-rust

","updated":"2025-12-20 14:06:07.893Z","user":"","username":"David Renshaw"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

Maximiliano Onofre Martínez

Following