{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 13:32:40.206Z","domain":"cosocial.ca","followerCount":30,"followers":"https://cosocial.ca/users/shon/followers","following":"https://cosocial.ca/users/shon/following","followingCount":168,"icon":"https://media.cosocial.ca/accounts/avatars/114/543/315/336/713/357/original/66f1dbd051abed38.jpg","id":"me559g92va9t146","inbox":"https://cosocial.ca/users/shon/inbox","iri":"https://cosocial.ca/users/shon","isLocal":false,"last_fetched":"2025-07-21 10:43:45.061Z","outbox":"https://cosocial.ca/users/shon/outbox","preferred_username":"shon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsJlo0m6o7iFQmSpwgXUx\nxoiDEHZtqMvCpHqVy21+ZBbCnWUDLjgx+F3CoKe0lLT0y4TctUBGsSJ/jvv6W2m+\nDfcCA3C6V5DBAW41ozfJtcJTXdXlza6AOy7TFnlHZdDgIe4JpQrZkRB6lKwL2bY2\n/4VS32X6sv/IzkCqBpPu7VG6KoThZubeIb8t4hmy63F4GTl048aEYLK5rGmV+31b\nTVoLIBH9SCwbvLXI0aELLdsHAQArMLae7nCDFE4a4NNgs4FhGtkPjUqXa19xF4bS\nV+BWq6rEc1ZJk3PecKzAqdu65jE0bvoErFy/2GxF/nrjqn1bDvV9ou7/qrx1nDha\nNwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-21 00:00:00.000Z","summary":"

I'm interested in {programing x language × eco-systems × theory}, broadly conceived.

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

","updated":"2025-07-21 10:43:45.062Z","user":"","username":"shon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 05:08:00.666Z","domain":"mastodon.green","followerCount":89,"followers":"https://mastodon.green/users/kranzi/followers","following":"https://mastodon.green/users/kranzi/following","followingCount":431,"icon":"https://files.mastodon.green/accounts/avatars/109/297/141/392/223/841/original/a8b2dafc5c646a86.png","id":"r9j1jn2ktwp8d34","inbox":"https://mastodon.green/users/kranzi/inbox","iri":"https://mastodon.green/users/kranzi","isLocal":false,"last_fetched":"2025-07-21 10:43:45.107Z","outbox":"https://mastodon.green/users/kranzi/outbox","preferred_username":"kranzi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwgP1L6qhmt6Kv9E623vZ\n9KyDhPYKN6Ek+KL4sfWdKbSko8fI+j2OcJRpnTtkhr4V+ISUDxGJyBKqI9Bu62Wv\niYyEPj7mLc4fSQI/6FnmvaPgmOQgrK7jEzVaKWbbqrW3oNjZNW7JRG+kkwUoBpTj\nFN7Tws2LBhjO8tnfOURopZ6J6pACqhHXr/wi/v62gIYiavulgwK7MxiIrAOOn4wI\noaFjcw2+z7VcQZMA2RFujY67x0nTFpkNRl8sPOAi5eYMgievUjzpOG8PgV4bruUv\nULYiphfK8eykxC2fIe3FfbxSsIkTWMevgqVRUSFgEdGW7xYXlul3N5YkFSsdFbzj\nMQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

he/him

","updated":"2025-07-21 10:43:45.107Z","user":"","username":"kranzi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 05:54:46.207Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/KamilPrzespolewski/followers","following":"https://mathstodon.xyz/users/KamilPrzespolewski/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/263/017/153/783/377/original/89c58773a0902ccb.png","id":"93m120b05m467z5","inbox":"https://mathstodon.xyz/users/KamilPrzespolewski/inbox","iri":"https://mathstodon.xyz/users/KamilPrzespolewski","isLocal":false,"last_fetched":"2025-07-21 10:43:45.142Z","outbox":"https://mathstodon.xyz/users/KamilPrzespolewski/outbox","preferred_username":"KamilPrzespolewski","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2nUa2KpeyCWVozAeqXng\nEIfziNH8q+huIYzAJDeBE9ImDKOKdDt1hw1+SXsI7pRPiLpSZvDjayG+UbqBNSuh\nE2NKIMi1UoZ34deHBoXeRv9Efj21AXexr3U/2DXZ58WtxjjbbAQgIh+r4L+InGw6\nmeC6i5nCBJuDYBTjyaTqU2sO9DdlF0aQVb7AgcTD3lBmGhHDNKFgHr3wV6CJELhD\nFvJx7iqYUMhQjqiMxHZxR1I3vu/03IJZzFgkhQEd7CKd4byCADJvHFinPSZ8sTQU\n0RvNPWVio69QMApwGdrPmMfjUWQghVHUSwJv0/V/s9uKKR66Ifd3CSnbAlnaBiQc\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

Quit high school to do movies. Quit movies to read sci-hub. Now, I'm studying math in Berlin.

","updated":"2025-07-21 10:43:45.143Z","user":"","username":"Kamil Przespolewski"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 16:10:27.475Z","domain":"mastodon.world","followerCount":511,"followers":"https://mastodon.world/users/PennamitePLR/followers","following":"https://mastodon.world/users/PennamitePLR/following","followingCount":1008,"icon":"https://s3.eu-central-2.wasabisys.com/mastodonworld/accounts/avatars/109/797/054/680/272/859/original/ac0ecbd1d096e19f.png","id":"2395rp2p5whl0r0","inbox":"https://mastodon.world/users/PennamitePLR/inbox","iri":"https://mastodon.world/users/PennamitePLR","isLocal":false,"last_fetched":"2025-07-21 10:07:21.037Z","outbox":"https://mastodon.world/users/PennamitePLR/outbox","preferred_username":"PennamitePLR","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx+Pzablm/WdGERkqZlT/\n0DmSTYaUkaMy8WHGZ16SOadM574ZJ2cY1dEwznGNwcTLmtq1X1uM0eH7dYXf4I5W\norNOWMmEKeucLGPNsWiKXmflUbHJqAMU4v+fbKzYH+8auUO+59o8Rau+iWU8NLM5\nNafzUxp6gAicWmtgPJPEUF/SU53xN3Rs20Bd5ZcMMw0UieM2Ss6xmgN8j2G0VaDB\n0q23gbmiZ002QSrce3UnYwftYIkz5NJ1CidHfnf9mClw9NmVZLa7pEtW2tWfjlW/\nmG0C22HNEconyXSimscjAMUuCGgJ2w/Q7XVzshy9HAwtpFOsldPwGmRBqQHKy04Y\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-02 00:00:00.000Z","summary":"

art, history, chalk art, books, disability, education, parenthood, foodtrucks, thriftshopping, crochet, Wikipedia, Los Angeles; she/her

Current header: from the cover of "The Story of the Typewriter" (1923)

Current avatar: Me, fifty-something white woman, wearing a black beanie, black framed eyeglasses, and a large white mask

What is a Pennamite? A person from Pennsylvania; usually seen in the phrase "Yankee-Pennamite Wars"

I'm also at pixelfed.social, same name, for photosharing.

","updated":"2025-07-21 10:07:21.037Z","user":"","username":"Penny Richards"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 15:40:27.438Z","domain":"sfba.social","followerCount":581,"followers":"https://sfba.social/users/soaproot/followers","following":"https://sfba.social/users/soaproot/following","followingCount":1377,"icon":"https://files.sfba.social/accounts/avatars/109/837/822/980/827/614/original/50e9144219a9ccba.jpeg","id":"ovfal3iu20iykep","inbox":"https://sfba.social/users/soaproot/inbox","iri":"https://sfba.social/users/soaproot","isLocal":false,"last_fetched":"2025-07-21 10:26:54.295Z","outbox":"https://sfba.social/users/soaproot/outbox","preferred_username":"soaproot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxl6hol1VxlVYNol1aKSA\nwAOIfKm/a/wjD5FlO9mpCg3Dey+bobF4RykmGeD4cWHQmQSGo/ksuIr1gPdtxqFe\nWvAWQcaZF/28uWpYWGYnix3xWoz231VaF7EQr/4kQoetG2+hdMTb/XHrjbp6NVGK\nWrEQa3y2yhUlESXTkx6CRyLMA1v8rXhYvLkPKdG0ZqlzWfuxl17CX7iZKeOqS97a\nEThRa2jWGe0jGTDVMlKgRIxKrJ+3Pz4V76wnj7YTX9kobdYpM3/IHN3quYQZgHHZ\nqoVuuogZCCMXLmdX+T7HB4xQSvQeCQUQ5qYZ8R32nsatlTYZjWoH9tEvmeCacVAp\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-10 00:00:00.000Z","summary":"

Also known.as: Jim Kingdon. Interested in: formal mathematics, software development, dance (especially country-western and #MorrisDancing, but many kinds), plants.

🏳️‍🌈 gay

Pronoun: he
San Francisco, CA, USA

I'm on Bookwyrm at @soaproot (disclaimer: I'm a pretty light user there).

","updated":"2025-07-21 10:26:54.295Z","user":"","username":"soaproot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-11 03:32:08.059Z","domain":"mathstodon.xyz","followerCount":94,"followers":"https://mathstodon.xyz/users/ivandiliberti/followers","following":"https://mathstodon.xyz/users/ivandiliberti/following","followingCount":67,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/325/545/131/664/831/original/afa89557a153c11b.jpeg","id":"08k02sxv046mxm0","inbox":"https://mathstodon.xyz/users/ivandiliberti/inbox","iri":"https://mathstodon.xyz/users/ivandiliberti","isLocal":false,"last_fetched":"2025-07-21 10:43:45.637Z","outbox":"https://mathstodon.xyz/users/ivandiliberti/outbox","preferred_username":"ivandiliberti","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2gc5efn9244KKAZin3by\nHC6GIWHdReHCrL4tDo4xJQMoxbKXabJptirSq7iUBGbN1h4d/zLkQLk3C+B6EtvT\nh9COL/FdGZ2XH0js6aL2WNdJvwG4iyqYC6yQmEZYytFmZ7JoEmr5Q4sCaWTq6L8C\nzmvnHLdeCr8F7K18kT2jXAKZ1PFx6rqU1D8R4lMuIXZRFSwrl/Yr4zmEKWSQfkN8\nx/A7fBe4TbV5UnMZ3NACkWSbzTzH5mayrRdQsvFPrhn2obQ8mzhSoKrAsRBZn+Vp\nLwQvb0adRt/bO+QMQpezgE2rCbbiTXRErwdr6ZDZezdA8K+vfu6fC4+ZhiMo996i\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-11 00:00:00.000Z","summary":"","updated":"2025-07-21 10:43:45.638Z","user":"","username":"Ivan Di Liberti"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 21:24:05.195Z","domain":"mathstodon.xyz","followerCount":125,"followers":"https://mathstodon.xyz/users/dw/followers","following":"https://mathstodon.xyz/users/dw/following","followingCount":78,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/393/318/274/683/457/original/7e3596161f710406.png","id":"bb59s0rc8pp2989","inbox":"https://mathstodon.xyz/users/dw/inbox","iri":"https://mathstodon.xyz/users/dw","isLocal":false,"last_fetched":"2025-07-21 10:43:45.671Z","outbox":"https://mathstodon.xyz/users/dw/outbox","preferred_username":"dw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw2D3+yGkljVYuCWbxsOD\nf873rQD6/VsZ59H3GWNcNeUzJTTEfUz1g0drROZhtS652GuPIRxhIc7T7ADrQiWR\nX41BbBz0sjl0w+0lAXStc543QbMqQNZkNGYT4KOvnvrbwi1sFWMldciXBtkHCBAK\nFZbkPn4SqkLJgciz7hvNoPRgRaRS5RLt8SvBNIKZUhkrzYMvoEplfRNpr0C+0skM\nJpGLEOLb8IcjhYka8xX54ZuaDgZ3WpLynCqTAaJczr8WewdNgSI8ufI+d53ZuL0Y\nmmDjve8h5cgGdqyebXIDyPJq4T8paFIZPjSw/jzhH0FQNbSOd9/my7UYpWxa2m8z\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-23 00:00:00.000Z","summary":"

I am a PhD student at the Logic group of the University of Gothenburg.

Currently working on cyclic proof theory but also interested in wider proof theory. Also fond of constructive mathematics and metamathematics more generally.

","updated":"2025-07-21 10:43:45.671Z","user":"","username":"Dominik Wehr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 10:43:45.711Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/beanstalk/followers","following":"https://mathstodon.xyz/users/beanstalk/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/406/163/000/765/831/original/038de97a0241bbef.jpg","id":"4uvefju7dk82a1f","inbox":"https://mathstodon.xyz/users/beanstalk/inbox","iri":"https://mathstodon.xyz/users/beanstalk","isLocal":false,"last_fetched":"2025-07-21 10:43:45.709Z","outbox":"https://mathstodon.xyz/users/beanstalk/outbox","preferred_username":"beanstalk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA114nIrYZwXBeXQVjAfdU\nnafLaVFzfxuQ+polNh5lSCmb5eGuPU7xxaLtISNxvYHR+BWi27xgXaQmYIDZCNm7\nzkXf1YWnDbQdeTgLRDlDiMGx1De8azlWYZcFhlHEmmVmCjoNPsbwzAd4Y7x6OKsq\nFtGsEAZiIJcB2JUiPEU7uRzMhbi51KIEM0I+BiiIpw+wtFIobeOfpIQYnfzZVPIH\naUKgR5FtBRaKVqZzJ9P1l+mZhsw+LIcVul8R5RtD9YIu2+kANixRNf9nzf6MDjH/\nUPV+UDRNmPwKp/IyW9X/qHVhT9uzUxfqbciC5gZMnrs8E8zGNnE2fr6kY/0bQFZn\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-25 00:00:00.000Z","summary":"

Math and computer science teacher and learner at Beloit College. Here for my students in one way or another. he/him

","updated":"2025-07-21 10:43:45.710Z","user":"","username":"Ben Stucky"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 10:43:45.751Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/Inquiry/followers","following":"https://mathstodon.xyz/users/Inquiry/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/287/642/732/199/813/original/a077848f74225002.jpg","id":"25z01kj08ar93ut","inbox":"https://mathstodon.xyz/users/Inquiry/inbox","iri":"https://mathstodon.xyz/users/Inquiry","isLocal":false,"last_fetched":"2025-07-21 10:43:45.750Z","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":"2025-07-21 10:43:45.751Z","user":"","username":"Jon Awbrey"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 10:43:45.788Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/hyperimmune/followers","following":"https://mathstodon.xyz/users/hyperimmune/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/383/053/783/373/714/original/970266d9fbbf931e.jpg","id":"d6727d09abkgzkh","inbox":"https://mathstodon.xyz/users/hyperimmune/inbox","iri":"https://mathstodon.xyz/users/hyperimmune","isLocal":false,"last_fetched":"2025-07-21 10:43:45.788Z","outbox":"https://mathstodon.xyz/users/hyperimmune/outbox","preferred_username":"hyperimmune","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtJok7br/bcrRplFw/1vR\n00mQPsBB62Nv6CrsMc1s6/uTLHT7IVk1GELS3l6YTcAJ5g9ALDzITS7Q68e8xd17\nGEbZW6HkW9W3i7h4Cq8yvw3yAX3v7RULBxq19hIFMGKs4/U8eGd68+kSYCUxWwbN\nbGys4Ob+cEfqJvgTko2jJqp8hBBOmUJddPI0aPiCXueEZEzXaTBE5mY/f0pL+6Wx\nHDzvIdDPeLlUBl1t/1/iYQ7a5IcFpOxTHCSEoUVGkeA3L0k9zuJbiO0mHMo1yv6a\nz6DATGCfEsRNpPXpekLeXZ71zmiUpI/o4Bem7c1c05jM39zaJ7fWmK4V7aYs3AiS\nkwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"

Mathematical logician, finance worker, amateur novelist

","updated":"2025-07-21 10:43:45.788Z","user":"","username":"Simon M. Yiyang"}],"page":1,"perPage":10,"totalItems":14,"totalPages":2}

OrvarLog

Followers