{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-24 02:41:59.900Z","domain":"mathstodon.xyz","followerCount":320,"followers":"https://mathstodon.xyz/users/Inquiry/followers","following":"https://mathstodon.xyz/users/Inquiry/following","followingCount":969,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/287/642/732/199/813/original/a077848f74225002.jpg","id":"holjkg6oy8nh1si","inbox":"https://mathstodon.xyz/users/Inquiry/inbox","iri":"https://mathstodon.xyz/users/Inquiry","isLocal":false,"last_fetched":"2026-04-19 12:11:32.091Z","outbox":"https://mathstodon.xyz/users/Inquiry/outbox","preferred_username":"Inquiry","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArUaqq8aEN2p8Hie7wgv2\n0x8mqW60IuVLUekBSTfHHmCl/AguCg6Et4QXjLnWGXEufTJ13LqXdqm+cXWGtZfn\nyo5nY0/4iOXEwV/oj/PzIVTz1qeaCt3Hz604GmACQZNJbCrxDugieZMXKD9Ex6SA\n9GlQwTcJF07XzU/2QwI+mjo/3EASHHiPACnuxuF7eS1TAr7LqEbASdAQE8A8jgIU\neiRGLXtL4X8UTHkn56NC/i/MfgczGeCRfSM0xGuYjNAvPjQLgfIgHlw0xwzzETjY\npPBbgKoiR/QANgQQAOIqOqpqaK36AG1joTr4Pu2qJG0bxiBhn0KP0xdpMKIhWxBR\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Education —
• 1993–2003. Graduate Study, Systems Engineering, Oakland University.
• 1989. M.A. Psychology, Michigan State University.
• 1985–1986. Graduate Study, Mathematics, University of Michigan.
• 1985. Graduate Study, Mathematics, University of Illinois at Urbana–Champaign.
• 1984. Graduate Study, Psychology, University of Illinois at Champaign–Urbana.
• 1980. M.A. Mathematics, Michigan State University.
• 1976. B.A. Mathematical and Philosophical Method, Justin Morrill College, MSU.

","updated":"2026-04-19 12:11:32.092Z","user":"","username":"Jon Awbrey"},{"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 12:32:37.261Z","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 12:32:37.261Z","user":"","username":"José A. Alonso"},{"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"}],"page":1,"perPage":10,"totalItems":3,"totalPages":1}

mdmisch

Followers