{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 02:26:03.737Z","domain":"mathstodon.xyz","followerCount":438,"followers":"https://mathstodon.xyz/users/MarisOzols/followers","following":"https://mathstodon.xyz/users/MarisOzols/following","followingCount":248,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/296/591/439/933/914/original/c89f3fc93ec11b72.jpg","id":"ybn07chod0ql1o1","inbox":"https://mathstodon.xyz/users/MarisOzols/inbox","iri":"https://mathstodon.xyz/users/MarisOzols","isLocal":false,"last_fetched":"2025-08-23 08:15:54.948Z","outbox":"https://mathstodon.xyz/users/MarisOzols/outbox","preferred_username":"MarisOzols","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuqtGXNbIoalMdQx1s7RS\n3pEBls5C4tuG0ln2NV0X9JZrkygxlwXR1HrTYXYN5Dem0l8RRaFsLJLa8tv/yATf\nBBrhOCOTmDBofivrIHgDYck3WPfvR73LQ/0AVucjqTEH69LDrcwpx4lM7gCTt3/I\n+teKLM/84IQeQlEaiih0Fan4r2eJ168qFcvSo1D8SupEkH5AvYRp8Y+e2TgOhM6V\n1EZShtKYwI8HjjNMRhVqHn+peIVgD8hfoFLUrxvEuH4LywYKzOeO7ubupSnuA+8C\nNoaKa9SiEGVuqF223n38otYr3vYlUfyQfgd8Iwu5wlWyLvg4zJQEicL74Kx1uxp5\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

Quantum computing researcher at the University of Amsterdam and QuSoft

","updated":"2025-08-23 08:15:54.948Z","user":"","username":"Māris Ozols"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 08:15:55.104Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/4Jz/followers","following":"https://mathstodon.xyz/users/4Jz/following","followingCount":0,"icon":"","id":"j2hc087d0s7186s","inbox":"https://mathstodon.xyz/users/4Jz/inbox","iri":"https://mathstodon.xyz/users/4Jz","isLocal":false,"last_fetched":"2025-08-23 08:15:55.104Z","outbox":"https://mathstodon.xyz/users/4Jz/outbox","preferred_username":"4Jz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA64SJodG0ushy3IYWwwgN\n3PJhYCPl/PgzG7roWFcTGTEIF4Ft1xT+O0ZI+ChMj3O+r9WDUuuYCwU7hOLHaX8Z\ndMJRwBJbLjS0pWPH1T3jBOCaCGsAYhQg3eOWepfJJ2DBx0+9Kz/ZPhWnvxmsYlPl\nrSZIKF4zcEX3ABGU5tOBU4H9Xuyiy/Erncidkf6c3rzWTK8bQlBoQ03SUQ+NBeAJ\nlzCWTQip/2Cdr+pBkuQn+sgPZbVS6MCgfHKPTdHKb2/IAgTrwIKaD9p1Sa1fugd/\nwhSjbwC1HpWz2zHf64WigqIuZh4c8N3Kug4ZkvxHFl/fc6Bz4oXRA+d/42EoU/Xu\nLQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-12 00:00:00.000Z","summary":"","updated":"2025-08-23 08:15:55.104Z","user":"","username":"4Jz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 14:10:32.603Z","domain":"mathstodon.xyz","followerCount":59,"followers":"https://mathstodon.xyz/users/MoritzFirsching/followers","following":"https://mathstodon.xyz/users/MoritzFirsching/following","followingCount":94,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/287/481/486/482/948/original/554632bbce324318.png","id":"70z55319w5hbqm6","inbox":"https://mathstodon.xyz/users/MoritzFirsching/inbox","iri":"https://mathstodon.xyz/users/MoritzFirsching","isLocal":false,"last_fetched":"2025-08-23 08:15:55.259Z","outbox":"https://mathstodon.xyz/users/MoritzFirsching/outbox","preferred_username":"MoritzFirsching","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6RF65EnusMj3zU1qavYB\nE+4cZk0vlMJLlgt0nZ2wpusdWBqq+XD9pnP7vQcKGAHVBiMU5QPBd1DYxugfQ+ri\nm8zAdMSTutlIISpgVMErf8uYBihBKilpsKCloxGktGort/tsMWPAGWqn/RrI2X4e\nQmGzX4N8Fr0ttemr46g6LcvveWuL/dkbJhRHwmD8L+f7typBnuS7zK4kTq1hQId8\nNQPg32fsq74qoNdPDsKSpFCXRokNbGcMj/B+YsSDTorhPYgj2hdI/Jzj1Hp9FIW+\ni4IZ10Z+q1XprG45Ux9+tN/69rjJdiILtriwGMEYA3ygAeXui/PgqoCIgwKt4H/V\nswIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"","updated":"2025-08-23 08:15:55.259Z","user":"","username":"Moritz Firsching"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 01:59:54.302Z","domain":"mathstodon.xyz","followerCount":249,"followers":"https://mathstodon.xyz/users/decompwlj/followers","following":"https://mathstodon.xyz/users/decompwlj/following","followingCount":778,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/314/312/736/223/178/original/b81422ae28459dc4.jpg","id":"0s3147saw0cobet","inbox":"https://mathstodon.xyz/users/decompwlj/inbox","iri":"https://mathstodon.xyz/users/decompwlj","isLocal":false,"last_fetched":"2025-08-23 08:15:55.416Z","outbox":"https://mathstodon.xyz/users/decompwlj/outbox","preferred_username":"decompwlj","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAquWADbxgWsoDZ35iUUM8\n1yQlW8iMfzfmViPsquUCkjoHdAmfkCFcycczfbpjsSXDUIm7ZARLCxMgYnDAXrnM\n4z8KJCYgKTTjuJ4xg+0Ifa/rn3Zrh+teIDb4OXr+x8BGoq/sPBZkWfS5GrVMM58V\n6DiDVXVoVwR4hW14JEFSzfrd71dtiUndJ8wTLQ0aY9N0hoHGqdyAnnxyFY37H9fJ\nxA9oSaKbH+9D+zUsaAPmhT/OyidWgMzu+oKkGZzrzhkX8OSkQH+eRVeZ9pI/6xtb\n5pe13PMICWfKw/ZQLa6bnWr9UhU7YbO67vYWOUTHONyLBRw8j7RjxkAlf2udnECc\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

I have invented the decomposition into weight × level + jump, an extension to the fundamental theorem of arithmetic and a new way to see the numbers. #decompwlj

","updated":"2025-08-23 08:15:55.416Z","user":"","username":"Rémi Eismann"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 17:29:58.206Z","domain":"mathstodon.xyz","followerCount":1396,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1039,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"5ys69qy3luj810x","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2025-08-23 08:15:55.571Z","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-23 08:15:55.572Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 08:15:55.728Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/oneofvalts/followers","following":"https://mathstodon.xyz/users/oneofvalts/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/833/887/063/355/228/original/98b4626490bf14c7.jpeg","id":"8lms2ccd5z46337","inbox":"https://mathstodon.xyz/users/oneofvalts/inbox","iri":"https://mathstodon.xyz/users/oneofvalts","isLocal":false,"last_fetched":"2025-08-23 08:15:55.728Z","outbox":"https://mathstodon.xyz/users/oneofvalts/outbox","preferred_username":"oneofvalts","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArQdbKfLDGDVDfaN3WX8t\nWzAdx7UYUtFIpeK1EMB5yp72vSUfVVsGuASWWUBeYD4nBy8Pbho+sCIhAkHTpiIW\nTXjGUURnfKOw6X1m/NAuLhVzrZyrtgv0HE8sdxR/McbJtXYT0s3/WCqthEyMp1lP\noFJaCQmzAeuJ8GnoS/vgerQm1TDP31i0FrSmLb1hTC67kW7ZokUUnDPwVCm+CwMP\nmT3mOX9WCABzrzi1Wn56MS6LiVCxtEhjGYTIH7JPAbcmSPuRrIzL+WZP6+grIe3j\nJX2vblbuqnKsEC8NpNNZ0dBjapaE1WCn60stIjf3Qz0VwKhl+MooJDBYdTznkl6q\n7QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-09 00:00:00.000Z","summary":"

Mathematics graduate from Galatasaray University. I am interested in type theory and proof assistants. Currently formalizing Desargues's Theorem in Lean.

","updated":"2025-08-23 08:15:55.728Z","user":"","username":"Abdullah Uyu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 08:15:55.887Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/buster/followers","following":"https://mathstodon.xyz/users/buster/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/265/728/714/289/253/original/51040c8136b9fc8c.png","id":"a78epj4iv5e8w2k","inbox":"https://mathstodon.xyz/users/buster/inbox","iri":"https://mathstodon.xyz/users/buster","isLocal":false,"last_fetched":"2025-08-23 08:15:55.887Z","outbox":"https://mathstodon.xyz/users/buster/outbox","preferred_username":"buster","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwP84JKjDP6tM8cw4ma0o\nSCBfevCmcqdeKslADQcpNVS+XLkbnrVE/rQq+ovndwCVuQeV3XjLJ3NfPEtT2B+V\nZvwZ1jVVRdGmp7Qhg9IIy5Mw8ZC0vfY3tyIKa4uy47GdbeWNSJm8tWlhth+zB+gt\nv4O4zSrL3sCEN+hdWVRgEXfZ4JqmeIJYZH/RZteEOBPgFcXQ3zCsUcJrUwLOpFhv\nXnXmq092xdw052WcJwSIPaervf4cnhpGAGQfJFbzpfOz8EFx3QX/u/FM9xX0bAfM\nis0/QKeWn+xiuXpFiigTZT+ElaYz5f0UgbWzXN4uF2X4wUBSoMe+Y1KqZuiocTY4\nMQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-01 00:00:00.000Z","summary":"

Programming (C++, graphics), maths, mathematical physics, comics, sci-fi (ST:DISCO)

Came for @johncarlosbaez, stayed for [TBD]

","updated":"2025-08-23 08:15:55.887Z","user":"","username":"buster"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 08:15:56.044Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/riccardobrasca/followers","following":"https://mathstodon.xyz/users/riccardobrasca/following","followingCount":0,"icon":"","id":"mbjzml68g580409","inbox":"https://mathstodon.xyz/users/riccardobrasca/inbox","iri":"https://mathstodon.xyz/users/riccardobrasca","isLocal":false,"last_fetched":"2025-08-23 08:15:56.044Z","outbox":"https://mathstodon.xyz/users/riccardobrasca/outbox","preferred_username":"riccardobrasca","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuwmtrrdNBvcrTu7eRUYA\n0JQx9QpULg80OmjRJIa4taYOM1mxOAvsRgkOg814+c52XVw6LCsCXPJioAkShcWg\niN6VnVWb/473c/dObpELfqIoYiDLmO5P6W7y/O7Bhp4V84Lg22KozBAt+6ZS/2X1\n2l9m9eHL5T8YWDYkSQzrSZT/QSY+GNVxa9eaV8sEwtWD4Zgh0njQ3pdskcoVliHs\n6LqOvHxRvpQgoTcn7JY881EnKIuoWYGwoBtQiJxB3pxGVRcHFcXxzj2fV17tgMlW\n4kT3MmNvAulTLG5gVyhmzKLfTQ/lw4fG+FLOsGjOc77i0jlfxReSTbN/eM3zv4dd\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-13 00:00:00.000Z","summary":"","updated":"2025-08-23 08:15:56.044Z","user":"","username":"riccardobrasca"}],"page":1,"perPage":10,"totalItems":8,"totalPages":1}

Eric Wieser

Followers