{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-02 02:22:34.670Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/chabulhwi/followers","following":"https://mathstodon.xyz/users/chabulhwi/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/296/715/728/325/412/original/e983c8eedc2c919c.jpg","id":"tz563ty67wvvvys","inbox":"https://mathstodon.xyz/users/chabulhwi/inbox","iri":"https://mathstodon.xyz/users/chabulhwi","isLocal":false,"last_fetched":"2025-08-10 23:13:07.267Z","outbox":"https://mathstodon.xyz/users/chabulhwi/outbox","preferred_username":"chabulhwi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsHbTo9kcxUBpQH5kB4+r\n9QzQhfj8mBb+N9VR0sJ3NWSJNww+XzgT/traMuCfNK0zJ45vPOG5B4XFOETXz1IK\nwJflMk52fyyUrOd++uBQXyMtXpl7qS3dppK73b41CH3DRyAlM6RXz3LY3u0k7b8w\nUPhrbmfVgu14D99glLEX5A1Nwmzmw4CEmXZkfgrsiW09BG6Wyn20RtSPPad0+1Hr\nahuaI5g5145oVTwFGDn4qeK2VlnytxrFrJaWhsRFdzT4WMhQQr2yPaWLqJSxbis2\ndy0Kxi/xzpVQG/LhmjyEG1wMijtaLg67ezXH1U22JJBDhUbCRahcJjtWNgX2lnLh\n0wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

I aim to create video games and other media for learning STEM disciplines. Pronouns: he/him/his.

","updated":"2025-08-10 23:13:07.269Z","user":"","username":"Bulhwi Cha"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-10 02:08:42.887Z","domain":"social.wub.site","followerCount":161,"followers":"https://social.wub.site/users/david/followers","following":"https://social.wub.site/users/david/following","followingCount":166,"icon":"https://files.socialwub.site/accounts/avatars/109/543/987/502/527/421/original/e74e14a4809540ab.png","id":"nqp9r3zt651kc8l","inbox":"https://social.wub.site/users/david/inbox","iri":"https://social.wub.site/users/david","isLocal":false,"last_fetched":"2025-08-10 23:13:07.709Z","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-08-10 23:13:07.710Z","user":"","username":"David Renshaw"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 16:15:24.666Z","domain":"mathstodon.xyz","followerCount":1372,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1038,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"uzp7idahf2153vu","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2025-08-10 23:13:07.768Z","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-10 23:13:07.768Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 19:35:13.333Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/e7_87/followers","following":"https://mathstodon.xyz/users/e7_87/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/263/852/950/511/745/original/17886742c11c4756.jpg","id":"347azr77f0nxj28","inbox":"https://mathstodon.xyz/users/e7_87/inbox","iri":"https://mathstodon.xyz/users/e7_87","isLocal":false,"last_fetched":"2025-08-10 23:13:07.811Z","outbox":"https://mathstodon.xyz/users/e7_87/outbox","preferred_username":"e7_87","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwNHgoTpSw5ccEy0kcjwr\nr7cEikSORFYZCqRLAq8tVQt7lJ+Qc9MbOAXW2x1XmSw8ypaRH6v6qWwZMIPZGvNy\nsSNf78sKF0cf/x2CtOYbw6HCrGsBwhknSm8dxsFABlTO2avBeo4aAFYUdvQ/Fc1m\noVap/HP625m6dYAu4wzEv03Ehc+99dpazE2qqJv1PonR8lI1qQPRmhaPPbcp5iu5\n/ChbCcdLGQqKvDLSVN9uFF5WEkiHQfKlaSY38P7u43++ajMcMpv3iAK6MEROuXul\ndiYJR0H9y2LXMLqPc20sR7kS9KIlyHvL+jI+azjw7hk3EnFRubld8BjDtpzLNKyE\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

UG degree in physics. Now work as a coder.

murmuring at https://g0v.social/@e78783

","updated":"2025-08-10 23:13:07.811Z","user":"","username":"e7_87"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 15:14:49.004Z","domain":"mathstodon.xyz","followerCount":101,"followers":"https://mathstodon.xyz/users/glocq/followers","following":"https://mathstodon.xyz/users/glocq/following","followingCount":190,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/695/381/421/683/293/original/c4b6233c79255a73.png","id":"60t108hr323hp24","inbox":"https://mathstodon.xyz/users/glocq/inbox","iri":"https://mathstodon.xyz/users/glocq","isLocal":false,"last_fetched":"2025-08-10 23:13:07.853Z","outbox":"https://mathstodon.xyz/users/glocq/outbox","preferred_username":"glocq","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1sZ3Q8MSOW9bcO1uZjrn\nmzVxYo0Hvu1RA1PkdRS74HC6w+bzSeslxvsZsUxrB7WFsHI5RDXwPe2oOya3qEv4\nt1az2BdbZF4yVdMyroLEbE+xSPDIi5AF50R+J/KEzOLiK8z53Aqyktj+mjkAALzL\nnAz/M2yJXxPh8GiWcK39qKJLkwXZpvOgAKPURTb+ECtUjrE8+orasN8UG4jWZaBE\nf6ZVp7GNokdjRToXIwqe8zkJCYa1gcbciOIjBwlUKoJ7L5gOFA0At7Lsi5B43Xqi\nbngpF0zBt6K+7IEGKGiU9V+97LK4W3pHFmOBS3DHsLc+4bUCdLOEZU0q1i9RzGCp\nsQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-11 00:00:00.000Z","summary":"

Hi, I'm Grégoire, a French person passionate about a bunch of things, including maths, software, music, voice, human and computer languages, and everything to do with communication in general.
Feel free to get in touch!
Private account: @glocq

","updated":"2025-08-10 23:13:07.854Z","user":"","username":"Grégoire Locqueville"}],"page":1,"perPage":10,"totalItems":5,"totalPages":1}

PhysLean

Followers