{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-10 03:29:33.385Z","domain":"fosstodon.org","followerCount":527,"followers":"https://fosstodon.org/users/ioccc/followers","following":"https://fosstodon.org/users/ioccc/following","followingCount":89,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/425/371/098/929/222/original/976ed7f45821cebd.png","id":"hvw6jp56xuy6177","inbox":"https://fosstodon.org/users/ioccc/inbox","iri":"https://fosstodon.org/users/ioccc","isLocal":false,"last_fetched":"2025-09-07 23:35:41.698Z","outbox":"https://fosstodon.org/users/ioccc/outbox","preferred_username":"ioccc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArrSfz9oE6MF9JJXtccW+\nnVo6tyMEUUt0OrYtTtonwrbTkqSifV/yi/2R/h6yNPxjifVIC4lIJH5D0W2L5st5\nuLgGtLa+PWmtfBoqnW5DVTt04ujKOliU6mHQA/5QRI9ha2bZ5mMd0SvZiT1EMRer\nMSAZTxBBsbWDwU9BYi1CAYDY+iUIs1FuUr8Sk50KUrf/emNNivH55js/qEwUkmcI\ndGVhx8LtEYd/nzQEf8WU1DXykxKTW/J/duJbT9xMsXyhDwk67EAs/D/KOFYrNTVb\ndEheW0qywFaLjyTZppdoFyiSuEMUvcdMclV8Ids9sKiL0zaK1bZAGNR9sCuQxmHN\nlwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-29 00:00:00.000Z","summary":"

The International Obfuscated C Code Contest (IOCCC) is the Internet's oldest contest that started in 1984.

IOCCC purpose:

* To write the most Obscure/Obfuscated C program within the rules.

* To show the importance of programming style, in an ironic way.

* To stress C compilers with unusual code.

* To illustrate some of the subtleties of the C language.

* To provide a safe forum for poor C code. :-)

","updated":"2025-09-07 23:35:41.699Z","user":"","username":"IOCCC"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-18 10:31:03.552Z","domain":"mathstodon.xyz","followerCount":147,"followers":"https://mathstodon.xyz/users/HarrisonGrodin/followers","following":"https://mathstodon.xyz/users/HarrisonGrodin/following","followingCount":178,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/264/622/363/673/731/original/f1cb84f180df763f.jpg","id":"m243us60zm2w7zk","inbox":"https://mathstodon.xyz/users/HarrisonGrodin/inbox","iri":"https://mathstodon.xyz/users/HarrisonGrodin","isLocal":false,"last_fetched":"2025-09-07 23:35:41.905Z","outbox":"https://mathstodon.xyz/users/HarrisonGrodin/outbox","preferred_username":"HarrisonGrodin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvblujHjZEWIgsP0RzGHP\nJf6nteF1WIhn5PpC0jIITqcN/VBbHg+3RR+7E4DZNLI/atCCjkY0STlVa7TAPCu8\nNkwcEZM0FGwrZA9dRsx9+j9NGV2mIP1LUDO3W9HxBJwu1R0jZ7vB9Js/D90w9ifz\nCi9qggN9Q4gwy+SNlmv+VP5TIaFo/S2D3h9N0ZdyShm2PCtnMNljchULpCTd2Gg8\nO87rUUN5ebiQ6oQsBOWLS8rf0/3DvjcCB7T7kXmRUNaSQQMsuDJrVB9HS4h+24+m\nuLobrc2CsAeaIbQrxnCkPanazHM0uir6/PG/KvXb2CD0MtKJqBeRm4+Vby8AMFs0\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-31 00:00:00.000Z","summary":"

PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory

","updated":"2025-09-07 23:35:41.906Z","user":"","username":"HarrisonGrodin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 18:39:25.759Z","domain":"mathstodon.xyz","followerCount":61,"followers":"https://mathstodon.xyz/users/nmvdw/followers","following":"https://mathstodon.xyz/users/nmvdw/following","followingCount":126,"icon":"","id":"w8klb07z1t4cz2r","inbox":"https://mathstodon.xyz/users/nmvdw/inbox","iri":"https://mathstodon.xyz/users/nmvdw","isLocal":false,"last_fetched":"2025-09-07 23:35:41.948Z","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-09-07 23:35:41.949Z","user":"","username":"Niels van der Weide"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-19 23:47:20.009Z","domain":"mathstodon.xyz","followerCount":189,"followers":"https://mathstodon.xyz/users/counting_is_hard/followers","following":"https://mathstodon.xyz/users/counting_is_hard/following","followingCount":134,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/383/922/808/770/225/original/2cdd68e49c78fc86.png","id":"5f027w0d7rq9qqn","inbox":"https://mathstodon.xyz/users/counting_is_hard/inbox","iri":"https://mathstodon.xyz/users/counting_is_hard","isLocal":false,"last_fetched":"2025-09-07 23:35:42.583Z","outbox":"https://mathstodon.xyz/users/counting_is_hard/outbox","preferred_username":"counting_is_hard","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuO6KbT4prXOCBid4Knyn\nVahzc7P0HMlkqCetsRLnIVIvO+X+SqZXxVER4ZFGE2TIirVQUTTffyemt33seFbt\n6j+lyID6tNkNnZO8tny98eCg9OL+j3s9MxVmqcAr4GnBeQjlSf4gjIkotLDSuxRp\nhAIVvD7EzILlMB6MUXTMzMXLJv2Qkh3lT3i0s4UxsiGQ4PMe+ZL0ucLJ4Et0yYCF\n5Gmi1c1OWRK40SieA+QHCRKWKP1gikWejjv6tciy8eJVfO1ndouX6kCmKLZ0XZ5w\n//awpncmgJDS7v5sni3nWFJJNRfYUfYSOt19WbO0YauqA16DDj59UI9Puh1GIngU\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"

Formerly @counting_hard on twitter. YT coming eventually. Pedant & Co-Pedant.
I don't check here every day
Dodecahedron Fan
Combinatorics / Category Theory / Type Theory

Non-Maths stuff: @shift_reset

","updated":"2025-09-07 23:35:42.583Z","user":"","username":"Counting Is Hard"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-17 07:47:46.277Z","domain":"mathstodon.xyz","followerCount":62,"followers":"https://mathstodon.xyz/users/clemens/followers","following":"https://mathstodon.xyz/users/clemens/following","followingCount":110,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/287/050/196/501/528/original/1720cfcd36773059.jpg","id":"222b3vglv465607","inbox":"https://mathstodon.xyz/users/clemens/inbox","iri":"https://mathstodon.xyz/users/clemens","isLocal":false,"last_fetched":"2025-09-07 21:36:52.621Z","outbox":"https://mathstodon.xyz/users/clemens/outbox","preferred_username":"clemens","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAo7c5ldnikO4Tb3pLKwmE\n+GB8p26b+NtAy2nZInjCKTnD7yXOsS2XYmBtcVPVrGUNx3lZgiLRkGbF7J5bFTIK\nokL7Ly1v/3bfSuApCEq3XHArgta1PgJLvWgZWREKZ5UiUbLHDtB8ixZtcPCbOkh4\nck9QyrBvrGqp73PjU0DHxnX1aufwLADOVHGszMoamxOLfy+H+4NM21K6Ak22VHtL\nNbrxd3P4pXFDSkX2UdhB4cQhr6d4xNYTGGTdbtGlpSgJXFoaPfAouRlqxzP0vn5m\nHhXhg2nDoOgDa6olF5+vzct8TcmzJ1xMs3gDfjz94EPPDtNImtmKpGXcoCblbTxx\nmQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Logician/computer scientist living and working in Scotland.

","updated":"2025-09-07 21:36:52.621Z","user":"","username":"Clemens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-15 00:59:35.793Z","domain":"mathstodon.xyz","followerCount":27,"followers":"https://mathstodon.xyz/users/matematiflo/followers","following":"https://mathstodon.xyz/users/matematiflo/following","followingCount":85,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/685/598/128/444/419/original/fb55138140c33137.jpeg","id":"4phb54z098a353s","inbox":"https://mathstodon.xyz/users/matematiflo/inbox","iri":"https://mathstodon.xyz/users/matematiflo","isLocal":false,"last_fetched":"2025-09-07 23:35:42.627Z","outbox":"https://mathstodon.xyz/users/matematiflo/outbox","preferred_username":"matematiflo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAkw9XAyKMLYcfWUzGpQM5\nPnSZD3f7ugEVCTiuvQFN5kYb+oH8vEwAnnQ61lF7slnBEw4LEQnRTaD5p11Yjx8J\n1ABpQQMd0AbTIcbfFHBz0Y7WXtkJ/QKMxTjq3Ymi74RQH43Pg7/eN7dUIxj6cknR\nhfoCfvWlYOPFGJCjWTQVktod0H+lJxDxGUXtSyAKu+SwknNDkvBshM12Jxkh4cPq\n0BAqPLnoPi+TIb3YbpN/e30JTgDyOUJB/M69ELVqYyoTMVP/4zQ6XPXECCVes7bv\nGrV3BfgxM44vtl4Pv2+OCqbKTQjbBUJWPjN+MujCp9P+6baezTpEIXIFwBX4gG+Y\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-20 00:00:00.000Z","summary":"

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

","updated":"2025-09-07 23:35:42.628Z","user":"","username":"matematiflo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 12:16:42.539Z","domain":"mathstodon.xyz","followerCount":40,"followers":"https://mathstodon.xyz/users/omelkonian/followers","following":"https://mathstodon.xyz/users/omelkonian/following","followingCount":52,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/285/072/197/876/866/original/daf18f7c21784711.jpeg","id":"55jzy94anl6i33k","inbox":"https://mathstodon.xyz/users/omelkonian/inbox","iri":"https://mathstodon.xyz/users/omelkonian","isLocal":false,"last_fetched":"2025-09-07 23:35:42.669Z","outbox":"https://mathstodon.xyz/users/omelkonian/outbox","preferred_username":"omelkonian","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnjKO8LekVhMhWk7lBITk\nd9FG5o5Oq2hVCmAPdHKFkhR1C7syBne2R8Hm7PtVXMncQ5z+yh5T9cDo0J/2dqYH\n4jqdoEVz+RqURFRw3Mme0EcUuB0TLVjf7/NXjTwMYy2qvQ2FHHwjXXWQYHhjr3PV\nwsPpDSHUhNvO+ZPXSnmtSlbzLYnNBSkn80UQhl1m7aWEKLpDnF6GX+BVmzom8Uq9\ncAJDhfJo7FT1SeR2n8Ih4piSveCfar2MRsHxb90Ti09D9ObNoieTsE4dA+2SWAhq\nQF7uBy/0IMFwY79rThnN90TENuY8taXzJKJuW2tizrjqL0tY2KABIWeXWi2V6oLJ\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

PhD student @ Uni of Edinburgh.
Previous coq'aine addict, now seizing the means of production (code) with Agda & formalizing consensus / UTxO blockchains / smart contracts.

","updated":"2025-09-07 23:35:42.669Z","user":"","username":"Orestis Melkonian"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-16 19:57:33.402Z","domain":"mathstodon.xyz","followerCount":314,"followers":"https://mathstodon.xyz/users/czhang03/followers","following":"https://mathstodon.xyz/users/czhang03/following","followingCount":1131,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/351/081/350/510/459/original/e8510960ad837989.jpg","id":"o91t326h6zn22w7","inbox":"https://mathstodon.xyz/users/czhang03/inbox","iri":"https://mathstodon.xyz/users/czhang03","isLocal":false,"last_fetched":"2025-09-07 23:35:42.867Z","outbox":"https://mathstodon.xyz/users/czhang03/outbox","preferred_username":"czhang03","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw+7Z86RWLBlWfiCEUoJ4\nQVkAPG/9Iz9f4iuauVzWGUUumV37mB3jCQk6vLweQD8oFt7qOcHX8JY1h9EJlxrQ\neC1u9dBZeA5mwe9FLlBjjPRvviAxpuejEWm6onFU1UBDmR8OuRrPJxgtoc/l6vGh\njv8a+Hn/lV4QRcPdgG1TGDxTqrR/4+f0Y1MYpUuvOtTQ8/CgqVXiwSJeKV8VJClY\nQ2DK6QCdWu01+GZiQ51FsR5xAO22VQPSqYv6gcw11LG2Rj3DDVylqgMRzj2N6kf6\nAjT8CuV+fixSdMP53d+VZ+Hvn+gmvO2UbbOuhybEYlaDpCLr7NVohIhLcd27pS+G\n2QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-16 00:00:00.000Z","summary":"

Vibing good vibes; mathing bad math.

non-associative, non-commutative, non-symmetric, non-idempotient, and non-continuous.
Do not lift, extend, or generalize.
A fixpoint that is not least, a functor without adjoint, and a directed-incomplete partial order.

Generally co-menacing co-categorical co-object.

"I cannot Grothendick construction under these conditions."

","updated":"2025-09-07 23:35:42.867Z","user":"","username":"Cheng Zhang"}],"page":1,"perPage":10,"totalItems":136,"totalPages":14}

Fredrik Nordvall Forsberg

Following