{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 17:12:22.157Z","domain":"mathstodon.xyz","followerCount":190,"followers":"https://mathstodon.xyz/users/jdw/followers","following":"https://mathstodon.xyz/users/jdw/following","followingCount":319,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/285/827/267/950/053/original/d2df4bf93b3df6dd.jpg","id":"mrt9ee8h0ax6f88","inbox":"https://mathstodon.xyz/users/jdw/inbox","iri":"https://mathstodon.xyz/users/jdw","isLocal":false,"last_fetched":"2026-04-19 12:09:52.831Z","outbox":"https://mathstodon.xyz/users/jdw/outbox","preferred_username":"jdw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA11q3KYjgldHFGI8JTJ9Z\nnLxtDx5Gm1XsPRxHBzJY0eYx8Fh4z5j6fJ4eL5jfvY9fgOwY5302eYdzwsyp8cSZ\nr5a72EF0oZ6PjEVlAy0jRtaZOKWMRFDJnrujrHVtA+8j4f3XDi3CGLJ7Ou+KZ6wn\n5YCXFtdPakNF7B1xlKq6q7ChUbrFs+DJ/SGsu8OBsf8vsv5RNk4kBU4JsqC+r8Zp\nwQvCT+kQUoTv9ASXsPHZf0JMl6CczHojmwO8p91lwFA7R4EnoO/sB+1GFMA3f3wW\nX8/ILb62grMev/K46PctZW74MAiLtWoNjSf09NZi0TA3ZT8zv2dekHeSrlHC27nw\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-05 00:00:00.000Z","summary":"

I’m a mathematician working as a #Rust programmer, based in #Regensburg, Germany. I enjoy fun and easy math questions, mostly within algebraic geometry. I like constructive mathematics, mainly for aesthetical reasons, and try to think and write constructively when possible.

I’m also interested in literature, history, sociology, economics and philosophy and I enjoy reading books from these fields.

I try to be friendly towards my fellow creatures, which of course has political implications.

","updated":"2026-04-19 12:09:52.831Z","user":"","username":"Jakob"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 15:59:10.930Z","domain":"mathstodon.xyz","followerCount":1530,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1044,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"yrtyk3n8xgokfro","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2026-04-19 10:23:49.389Z","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":"2026-04-19 10:23:49.389Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-17 00:13:51.458Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/ap/users/115679738107787443/followers","following":"https://mastodon.social/ap/users/115679738107787443/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/115/679/738/107/787/443/original/0d7ca8ce0c570bbf.jpeg","id":"g6vsauq7sx73wcj","inbox":"https://mastodon.social/ap/users/115679738107787443/inbox","iri":"https://mastodon.social/ap/users/115679738107787443","isLocal":false,"last_fetched":"2026-04-19 12:09:52.999Z","outbox":"https://mastodon.social/ap/users/115679738107787443/outbox","preferred_username":"carina1248","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuiSBotQcftwtzoSNrQVW\n9atyo3vSfuGHSBAzXZ2IvAeV6UAQbmPDFLtghiWLGqeNCyjmn/kIhxWZrj5GrPqC\n5zqSA+LxV4HbKp+p46/01imusS760BYHldFdRM+caw0b9rWkcgvmUyJyDFgWzvap\nor6skei/3GhdSbwUoTh4hPT8GlyS1xqKTZDMsqALB9o3FuF32GYOXDJ180kTLTtn\n6DSllLCvNDmz6MC5ZOyl8FUQC9qqW3an1E/xth0nHS/U3eZZu3yBaR1igcpSS1yG\n1hBYevpn2AIDNGlGHKnqG0GKk9eQJ8hDdU4QKNBuvbGYpx9R1PEgVc9BwoksnxoV\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-12-07 00:00:00.000Z","summary":"","updated":"2026-04-19 12:09:53.000Z","user":"","username":"carina"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 10:09:55.630Z","domain":"mathstodon.xyz","followerCount":1095,"followers":"https://mathstodon.xyz/users/johndcook/followers","following":"https://mathstodon.xyz/users/johndcook/following","followingCount":28,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/382/868/019/399/709/original/dec8ccd84b88f1da.jpg","id":"ljtojjkd0lw4smo","inbox":"https://mathstodon.xyz/users/johndcook/inbox","iri":"https://mathstodon.xyz/users/johndcook","isLocal":false,"last_fetched":"2026-04-19 11:29:16.129Z","outbox":"https://mathstodon.xyz/users/johndcook/outbox","preferred_username":"johndcook","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwF1VWqMNE27uMwu7/f+9\n2Su/tBOpsKCHWCxwEng1TOwKwlnE3iA5cpRDB+IEDMbZoiAhUVG8PKRoERzIR5bs\nEBRR64Wv5V6owk2FeTHlBApBqchnO1P8yneCv68Ld+sBi5o2h1RHeOulSVK8s84l\n6toWAq+9EWaeBYfeS/MdAsakdbK5XcGohzPmOfxpgl1zwflOXdofJafb1iQRVmwg\n090cgGtAly+mJQIBZLn2GNk+tpO6FU6zfO4hEetvlND7+IFz1e5oqU3LsB07i/57\nVjXVKcplVoGAuSPCqi+u1oDEtfRv+SjdtD7Oh22gKB3fnSCFNWgJmTDP8tj2WlYf\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"

Consultant in applied mathematics and data privacy

https://www.johndcook.com

","updated":"2026-04-19 11:29:16.130Z","user":"","username":"John D. Cook"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-27 22:06:15.363Z","domain":"mastodon.archive.org","followerCount":97431,"followers":"https://mastodon.archive.org/users/internetarchive/followers","following":"https://mastodon.archive.org/users/internetarchive/following","followingCount":16,"icon":"https://mastodon.archive.org/system/accounts/avatars/109/326/087/888/226/666/original/6fd012dbbfe83862.jpeg","id":"yksqyizv57uthqo","inbox":"https://mastodon.archive.org/users/internetarchive/inbox","iri":"https://mastodon.archive.org/users/internetarchive","isLocal":false,"last_fetched":"2026-04-19 11:44:39.795Z","outbox":"https://mastodon.archive.org/users/internetarchive/outbox","preferred_username":"internetarchive","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvyW/QGTRbY3x1CtDcggp\nFtSDSz+6byTs3h1KnKs7YodhCsFfuXJ2BfZOB1e7TMLwnqC/gOyjwM8anHQ8j1+c\nqe9cAFedIbtyfZ7u+X5HJr9C4lSDHW/H0jgeOdSWhmfhpAXSmW6l7mg9C3VFZ89s\nKFtMIZ3p3Hwsowmfqa0TwFQ6Q1qKz+z5gD30NOCjlo66DVkzw8sIk+GjxcVbPJY8\np3GLt4zC3y3eT08MjuRAz/z1uuwHe2Fx7MS2/NSktJFErfUDVqO5L6kCdc3CExPv\nOOgzAMwgerwGf6vFsgN0EUDAqyLBPFK8261pf8Sdv9Q2dnEqNQZTjdbTn2xjxhzD\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"

Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine.

","updated":"2026-04-19 11:44:39.796Z","user":"","username":"internetarchive"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-31 19:50:31.839Z","domain":"mathstodon.xyz","followerCount":726,"followers":"https://mathstodon.xyz/users/OscarCunningham/followers","following":"https://mathstodon.xyz/users/OscarCunningham/following","followingCount":533,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/883/431/982/211/762/original/ba139ab6efaf4f0c.png","id":"q2g927djommbh5u","inbox":"https://mathstodon.xyz/users/OscarCunningham/inbox","iri":"https://mathstodon.xyz/users/OscarCunningham","isLocal":false,"last_fetched":"2026-04-19 11:19:09.145Z","outbox":"https://mathstodon.xyz/users/OscarCunningham/outbox","preferred_username":"OscarCunningham","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4/OVtbyVckhZiUkmpEB9\n+bSxpY6lruMsONAwcECnmhTZToOUmfGOyHYzX80wZ20jrFlw7fvrbIjBMt7PIfpK\nel0qTUfTfomtCn2VvRbSKf2HNYSgnCA4eB1qehowRWmv1LevrLJH5hVk6hKZa829\n/4YAIKO9sjTI3NQZI7aRAUq4Z4MT5mKxRiqzlK5qeaN71As5P2oG+wVxBPbq+ReH\nSIaepFHxy2mouVxm7h75Tf5dyFcbUtmWJnq06WcPT36cjgnJsGOXC95gkWiUYhMa\nuDcYtNBnkqMxjOD31Ui4M6/arm/0OmpOyt9peqHx7JML4inHCc5nGc3Go/XddF84\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-08-25 00:00:00.000Z","summary":"","updated":"2026-04-19 11:19:09.146Z","user":"","username":"Oscar Cunningham"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 06:13:46.699Z","domain":"mathstodon.xyz","followerCount":11,"followers":"https://mathstodon.xyz/users/lf/followers","following":"https://mathstodon.xyz/users/lf/following","followingCount":137,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/212/649/184/558/487/original/8e711678a22ccda7.jpg","id":"2uea6gdkvsr0wcm","inbox":"https://mathstodon.xyz/users/lf/inbox","iri":"https://mathstodon.xyz/users/lf","isLocal":false,"last_fetched":"2026-04-19 12:09:53.053Z","outbox":"https://mathstodon.xyz/users/lf/outbox","preferred_username":"lf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA02VXzm2W9438nw/yWM+A\n8Cy+pO8vZPXdysoRRRSxSiADUdh5dZoOY0gHZ80yyvyNfkpjgwchN5l1AwrdVyy9\nyFoBt5hhlYjDgpXjOrqFosPkFy+sy3Fanvsm0Gwv91iQwHZemSi2UeVYHm9pz8Xo\nuw2Dk6Xtf9yaZJoehnvn1TA/9yZWH1eSRs3Oktoy4ZyuJSWmo5kN+d54oe+DjLVI\nN+cJjkZ4QvufMrzEJ1zGjviwTaUkGL+aWg1wHovStVA7bdeAlV2SpwwlsGD6jdgw\nctPd78fYs2ZJVHI5ey+BEL8lnChYzNqW4w/0sKZiFsApbJHdtrEEVEpjkOfQsfqt\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-03-23 00:00:00.000Z","summary":"

Symbolic Testing
Releasing and Documenting Software
Currently in Germany

","updated":"2026-04-19 12:09:53.053Z","user":"","username":"Lars Frantzen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-04-19 09:36:16.473Z","domain":"mathstodon.xyz","followerCount":3,"followers":"https://mathstodon.xyz/users/bayrondejesus/followers","following":"https://mathstodon.xyz/users/bayrondejesus/following","followingCount":53,"icon":"","id":"0p86bfcp1spz8b3","inbox":"https://mathstodon.xyz/users/bayrondejesus/inbox","iri":"https://mathstodon.xyz/users/bayrondejesus","isLocal":false,"last_fetched":"2026-04-19 11:36:03.917Z","outbox":"https://mathstodon.xyz/users/bayrondejesus/outbox","preferred_username":"bayrondejesus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtuZBmVvBKH1R3a38NRVb\n1khcXj3I25vD4Q45gbPuIsLgnl20IYENwg38WVQVn2CZLlHpNJrJC9RhA+QPCrlL\nlVkLB/Tf0FGZkh3povvQfW+2lldqduCglVvk6hDaiZxElzIUuGYQ5J5+Ean+Pgsf\ngk0DwTVNBvzo0m+5AacjwbJwDv21B3lIHSZvbvFhoDJWnXkl6tUAgt8Z4AIePJ8b\nwksXFqS5n6SXrHnuOebyIQRODs2emWesOLg6Vegdnr5l0/ZBT0OJ1GGmI4/joTgc\n3AAPk70rMQoYZlpcp0PLiPtULce/xq0bwUQBuPjSLVOJrgZUP12T6pIGpIPixkYO\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-11 00:00:00.000Z","summary":"

🇨🇴

","updated":"2026-04-19 11:36:03.917Z","user":"","username":"Bayron Gutierrez"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-14 10:00:34.642Z","domain":"mathstodon.xyz","followerCount":139,"followers":"https://mathstodon.xyz/users/taooftypes/followers","following":"https://mathstodon.xyz/users/taooftypes/following","followingCount":36,"icon":"","id":"i8qgatp44eu2v80","inbox":"https://mathstodon.xyz/users/taooftypes/inbox","iri":"https://mathstodon.xyz/users/taooftypes","isLocal":false,"last_fetched":"2026-04-19 12:09:53.108Z","outbox":"https://mathstodon.xyz/users/taooftypes/outbox","preferred_username":"taooftypes","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxDxqNE8LP3P6BmTY/O46\nib1FXKjoWtgaeqspO1tBtJ4hq4WkGkotLOgSLkUhVbyVFVcP5qQb3WMdFQHcUwyq\nfJBWIGeQY1H9KuBWym9RuU069ZjUxdrQDeG/kJtATTFagl3fF24Q7bsftAUWlZdu\nhc2Ugl8sNmtVmv3cVQaxM5xAy6SUFfZTzI5GE/aaC5JP+O36kIP0xeTz1GX0U9E5\nBSPBC9fqjNOYworMbV97QyIWCGmMUkyqX0+tT6gexhgtPCJT9JdWzf6i/im1G+J7\njKByaKfBb7soXPBUNUzNRA56LJGbH7bRL3VBkyDNQq/WS5Eh8iDtT+6q6C90f/sv\n8wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-04 00:00:00.000Z","summary":"","updated":"2026-04-19 12:09:53.108Z","user":"","username":"Thor"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-04 09:39:13.672Z","domain":"sigmoid.social","followerCount":4565,"followers":"https://sigmoid.social/users/melaniemitchell/followers","following":"https://sigmoid.social/users/melaniemitchell/following","followingCount":150,"icon":"https://cdn.masto.host/sigmoidsocial/accounts/avatars/109/298/140/163/718/180/original/6bec1d0a2b894f20.jpg","id":"imegdwdgghm0g8t","inbox":"https://sigmoid.social/users/melaniemitchell/inbox","iri":"https://sigmoid.social/users/melaniemitchell","isLocal":false,"last_fetched":"2026-04-19 11:44:53.464Z","outbox":"https://sigmoid.social/users/melaniemitchell/outbox","preferred_username":"melaniemitchell","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAstlHahi1seqPa2k66bjr\nnJRpjSMIlOhS1Oxg98LzUz+re1g/dneTlJqaxVzJ6gULa++t2hFqPz8KhK8yEBTP\nMn0+MPqgCJMxTyQEd+4PdwfALCodPNHvi4pI1/IgUgcqVL8knSfqpuPUU8PuWrJJ\n6F3IhOYLTtn++tfuBJYS7HZZIUj3bghiENr3aoEMnH1b1guPvGvVk3HlEKBaRw1N\n2WydeMBzial8j1hjNyKjcLf/CYnkeLtOduJAOWyx5zhjTZ8Z/yA0sC4rJYgzMcHl\n15yC3eNxKYY473NvTVzUhsoV2l4H0e/RDu5VAz8RK6XL+UutrxB48H0rBIfO4UKE\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Professor at the Santa Fe Institute. Interested in the nature of intelligence.

http://melaniemitchell.me

","updated":"2026-04-19 11:44:53.465Z","user":"","username":"Melanie Mitchell"}],"page":1,"perPage":10,"totalItems":15,"totalPages":2}

Pierre-Yves Gaillard

Following