{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 16:05:48.706Z","domain":"mathstodon.xyz","followerCount":218,"followers":"https://mathstodon.xyz/users/mortberg/followers","following":"https://mathstodon.xyz/users/mortberg/following","followingCount":93,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/243/289/583/681/637/original/9a704c7061812fb0.jpg","id":"0sw212990844z37","inbox":"https://mathstodon.xyz/users/mortberg/inbox","iri":"https://mathstodon.xyz/users/mortberg","isLocal":false,"last_fetched":"2025-11-10 03:23:28.606Z","outbox":"https://mathstodon.xyz/users/mortberg/outbox","preferred_username":"mortberg","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp3fBKDd/Y+/viDMsTZ+k\nkM8DRWkohyTUlgznclEW+xzL7UcNMt4TtRpJUb/G0yLAS6Cy+v4rA9RiK4oF13Z5\n9qrjij4+rumfwRg5ybZfY5nTHHhEDd+TzMrUmzS6blKyo1bv8HTNxBJwRpCvpxP5\ncaCCnfo1ZwR2maG5k2KiAihteLdnsfdYC4Defod+F6BYHGHYg70VbUjJVjos5t/q\ndW3gQRQEH1ftHlVkY97RBwLLr8XGuOBOHuJEXG6lT6z0BvBtGInJrhodkn6xzkWd\n56FFnIgwE2me65gCV7/KkxWaWJnIQSsTL4GeoX2F4sf1tLlTL6phBllncO/iU+mi\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-16 00:00:00.000Z","summary":"

Associate professor (docent) in computational mathematics at Stockholm University.

I'm interested in HoTT/UF, cubical stuff, constructive mathematics, logic and type theory, category theoretical foundations, functional programming, computer formalization of mathematics and computer science, and much more.

Webpage: https://staff.math.su.se/anders.mortberg/

","updated":"2025-11-10 03:23:28.606Z","user":"","username":"Anders Mörtberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-21 00:04:32.328Z","domain":"mathstodon.xyz","followerCount":91,"followers":"https://mathstodon.xyz/users/oisdk/followers","following":"https://mathstodon.xyz/users/oisdk/following","followingCount":187,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/216/714/840/030/134/original/e267ef6bb8bd3f88.jpeg","id":"2w2i70q430n97v2","inbox":"https://mathstodon.xyz/users/oisdk/inbox","iri":"https://mathstodon.xyz/users/oisdk","isLocal":false,"last_fetched":"2025-11-10 03:23:29.152Z","outbox":"https://mathstodon.xyz/users/oisdk/outbox","preferred_username":"oisdk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvxkURmaDcehz374MuYoS\nePGTIv0V6/ltt/2t63m8rOddtEXh2ncMGL2JLD58EEPxVbYj3QLI4xYv7z2v8V2V\niDPZEHJqIJeuYMUb7yPV2dvzMyL1ssd0Wt35ePvPgXX+4WwgOZDDNRNxcxeZ4Rfe\nJz4T3SUQVYNDrfekcBQ/jtwBV5eoDcRop+GrCb03E6Wtl+hLyqZ77B21n+eoGya4\nqRvhXl3iDSbQvbZCDWlPL19tKOxIuvA5JEYR6QtpIDUG7PdOiZuXw/qMziowsAEb\nnt7okx/E6Bjh/WiRFP+ERWlkYjrraDqxBzw/vmu9GyE0dr5mHIg2Ud5PmcGRkAxD\nVQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-11 00:00:00.000Z","summary":"

PhD Student in functional programming

","updated":"2025-11-10 03:23:29.153Z","user":"","username":"Donnacha Oisín Kidney"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 00:46:52.301Z","domain":"mathstodon.xyz","followerCount":69,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":141,"icon":"","id":"v1xodrx3bc9wr27","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2025-11-10 03:23:30.272Z","outbox":"https://mathstodon.xyz/users/nmvdw/outbox","preferred_username":"nmvdw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5X4P6dHNX6+/moc3YOsc\npMCylVK7d2vXH8jCxCBpFUVpsTjVa3CFgqbrbqEEFD1t10vrnwAo6rsbQVj3nEQb\nJ1gSNMuDJ+sXKwy1Z2HIiCNu2E7YW5w0fowqltcknUEbqAkoStHOFfaPG93lquw0\nKZiW2m4nVA1lAOMU/jWvg09upRmXNxO1vJd3aWtf7UC4d2lRfsmWLhwm+cpBiZR+\na3WOhXXr3enkMgjzpWtDbcf4AIlbTqjbXNAwztRTq3LT2YAWHkDXDnfYfAOU7omR\nIPx5ciC1qovu0UHbl2iYMHq8PC7uCdjYzKt6/LPCnsp6IwtT0RPv+n+NpbX+lB05\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-12 00:00:00.000Z","summary":"","updated":"2025-11-10 03:23:30.272Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 08:04:12.985Z","domain":"mastodon.sprawl.club","followerCount":4621,"followers":"https://mastodon.sprawl.club/users/ludicity/followers","following":"https://mastodon.sprawl.club/users/ludicity/following","followingCount":102,"icon":"https://cdn.masto.host/mastodonsprawlclub/accounts/avatars/110/068/971/629/468/400/original/97de6a377a0f831b.jpg","id":"yp7vk7ha71u47tn","inbox":"https://mastodon.sprawl.club/users/ludicity/inbox","iri":"https://mastodon.sprawl.club/users/ludicity","isLocal":false,"last_fetched":"2025-11-10 03:23:30.501Z","outbox":"https://mastodon.sprawl.club/users/ludicity/outbox","preferred_username":"ludicity","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyjrn/3hcdX6rR2dcQz+D\ngjjzbazocGiHJKUikHUu7IUCEZEsZ8mUz9W9x/3wahU1UFksGOBUa2Y4p+XWkAg9\nOdVcslcJK6aAq5zl8LhBrX1cBWTE3G1zqP7Y3rxoFC6gnOxjLTJT4YRqU9KOu0+9\nXOI04+W4H1rMLf7VP6xzzedYzJmy8sNcGtA9n/L2o+lXDKO9xnf7yXU7AXfx/eBW\nTWMd7GSDbrHpTWKX+lCJ/GBmL3Qnln1Adujg+aNyliwKlSkyhPYEyNpWwwb8Jhoz\nd8X9A6v5DaMWermGBg/UJ5JfV6cODAMCgN6jT+7puvhuybj7kJ2n0NGLAxNUfDb8\nSwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-22 00:00:00.000Z","summary":"

Don't talk to me about spreadsheets.

","updated":"2025-11-10 03:23:30.502Z","user":"","username":"Ludic 🧛"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 04:54:07.708Z","domain":"piaille.fr","followerCount":9314,"followers":"https://piaille.fr/users/bisonrimant/followers","following":"https://piaille.fr/users/bisonrimant/following","followingCount":437,"icon":"https://static.piaille.fr/accounts/avatars/109/281/171/961/906/017/original/8e9b10c7d80fc183.png","id":"71fb613ay619105","inbox":"https://piaille.fr/users/bisonrimant/inbox","iri":"https://piaille.fr/users/bisonrimant","isLocal":false,"last_fetched":"2025-11-10 03:23:30.605Z","outbox":"https://piaille.fr/users/bisonrimant/outbox","preferred_username":"bisonrimant","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsdoyK6QBRsA9PJFpy2EU\nN9Fn+5rS8a15ghCYtf9sFMoH9M+xVI7sH4KcpPIBpne8VhZtxkWkuWWaALpjY5WG\njfB4udd6RDpX5dpL3JQHrcNSQBuxPraywYWdJabQJ0AsEFAxLA/MJ+0t1UvPBo5y\nI4PeTr8n0pB/u7lEcj0Zr7Kuain3Ee1SdLMd2y+teUL8Uu08Anv9I7w5NHd9Owvl\nmQHsVlIcPSnp1mdlgOXfG+1Y5pNbwm3yQsGbcXcPrMmomPyqSyCT4KDDCgphfKGu\nVnD3FlYLtUXlxyIGLej3t0CgyhPsqPfUV6XjuJWrXTx/rB1ZBgchrslGFSQ8aH4b\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Sculpteur sur bois
https://bisonrimant.fr/

","updated":"2025-11-10 03:23:30.606Z","user":"","username":"Bison"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-16 00:38:20.921Z","domain":"mathstodon.xyz","followerCount":251,"followers":"https://mathstodon.xyz/users/markusde/followers","following":"https://mathstodon.xyz/users/markusde/following","followingCount":88,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/e0235aa94d9ed680.jpg","id":"r5b5fs60h3334ip","inbox":"https://mathstodon.xyz/users/markusde/inbox","iri":"https://mathstodon.xyz/users/markusde","isLocal":false,"last_fetched":"2025-11-10 03:23:30.644Z","outbox":"https://mathstodon.xyz/users/markusde/outbox","preferred_username":"markusde","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtJdfdMDAJSrulV3EPolX\nGdJVrtUgWNpIWQf+ITO633we+LN+i69o6PaJJ4KLYRRGybAO11ss80JJMlgU8bjH\nonuY1jWxuuHH92eoOXPbBmMHO+q2Zp/ev2LJd0HNOODKh50bi783n5L7SeEVDolz\nZ2HL7TogjDHNnMGMyoJEsjtV+UQ1YA43yvzZh8/GJ7e1n9FOknxHNEsVsNSpcVTj\nvk598a5/DDJdtVLbOwpK20vZTvyfS79LXO8pt+aJNUtV8lCRwgKVhp7goePqaEd8\nCnOQF/Bnqh8Gl6V9NnCsmi5wvWPHnByIk+upTG39jRSY2uAvU5oZ2Rgqg6g+/LHy\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-15 00:00:00.000Z","summary":"

I'm addicted to posting and being annoying

"Eat Sleep Seethe Eat Quiche Repeat"

","updated":"2025-11-10 03:23:30.645Z","user":"","username":"markusde"}],"page":1,"perPage":10,"totalItems":81,"totalPages":9}

VojtechStep

Following