{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 21:58:13.174Z","domain":"infosec.exchange","followerCount":2832,"followers":"https://infosec.exchange/users/david_chisnall/followers","following":"https://infosec.exchange/users/david_chisnall/following","followingCount":87,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/111/867/038/214/333/074/original/948015da7238758d.jpg","id":"s5u9vs8yk6p12i4","inbox":"https://infosec.exchange/users/david_chisnall/inbox","iri":"https://infosec.exchange/users/david_chisnall","isLocal":false,"last_fetched":"2025-08-09 14:43:15.762Z","outbox":"https://infosec.exchange/users/david_chisnall/outbox","preferred_username":"david_chisnall","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0HfAHqOUFnPfZgDVeCeC\nV20MwQZWzounwGkpeHjw8JSKep+YwK/JjEJlENFkoQsPL0OyTdZj3k9yNW5aVvOS\nhmLGuGLMLVqi0ll9RDpNeDwQWbEd13eBZhHX4yuDVPepQf1UfXu14KQrNESV5BI+\nURv9CjAbM1c9M2aEz6pKY3DdRWf070PmKdilYjrv2cM4TSi+MngVtje1o210/ACn\nXk6dc4WxPYXIhZidLrI/efGNtns42yY/9bs6U1O4Brh83tCTBS6pOLTi6zur3qVY\ndXOPtZ7NunLVGuYLdnRUx207YsuHOi2e34mQ1zoGOusqXYN1fZXFQGLzhN9ewrjR\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-02-03 00:00:00.000Z","summary":"

I am Director of System Architecture at SCI Semiconductor and a Visiting Researcher at the University of Cambridge Computer Laboratory. I remain actively involved in the #CHERI project, where I led the early language / compiler strand of the research, and am the maintainer of the #CHERIoT Platform.

I was on the FreeBSD Core Team for two terms, have been an LLVM developer since 2008, am the author of the GNUstep Objective-C runtime (libobjc2 and associated clang support), and am responsible for libcxxrt and the BSD-licensed device tree compiler.

Opinions expressed by me are not necessarily opinions. In all probability they are random ramblings and should be ignored. Failure to ignore may result in severe boredom and / or confusion. Shake well before opening. Keep refrigerated.

Warning: May contain greater than the recommended daily allowance of sarcasm.

No license, implied or explicit, is granted to use any of my posts for training AI models.

","updated":"2025-08-09 14:43:15.762Z","user":"","username":"David Chisnall (*Now with 50% more sarcasm!*)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 20:24:14.330Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mjb/followers","following":"https://mathstodon.xyz/users/mjb/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/257/942/409/807/418/original/1a8c0748354049ca.jpg","id":"4asc012833pf50w","inbox":"https://mathstodon.xyz/users/mjb/inbox","iri":"https://mathstodon.xyz/users/mjb","isLocal":false,"last_fetched":"2025-08-09 15:12:50.661Z","outbox":"https://mathstodon.xyz/users/mjb/outbox","preferred_username":"mjb","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3Zy3JiUloTf3YJ+d4zps\n7SEG2+MKWBHkd6knN6lLb2mXS3Fxf8D5364qEIZJqEp6pNIgpDk7pi6fAwdpVozc\nVhMXsvBHR4D9grz5pHDAVIWJR0AdXGO9HdKigiZkiBJX3viB0U/w+GWtQAWygnfJ\n0As0VbojZysdTqQa+4wdpnZPmd1v/PUvoI6rj6FqCXvK8A0r9R0n47IJlWovybnO\nZgNhrQq3wrxXHpSfvJOdsJdAF2pAz2smHsSjOlM/esGS1jer12U8gO1Zb7r9sl1u\n85DltDIAxpne1UoVuk4H6DCXq65U6mXXYtv2VTMZqusKMpnCDnVMQMcTKEvQXS5z\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-30 00:00:00.000Z","summary":"

you may know me from birdsite as mbarany or (no relation) mathhistfacts
moving my mathsiest posting from there to here

","updated":"2025-08-09 15:12:50.661Z","user":"","username":"Michael Barany"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:49:28.278Z","domain":"mastodon.gamedev.place","followerCount":527,"followers":"https://mastodon.gamedev.place/users/sol_hsa/followers","following":"https://mastodon.gamedev.place/users/sol_hsa/following","followingCount":203,"icon":"https://cdn.masto.host/mastodongamedevplace/accounts/avatars/114/540/299/225/966/374/original/53a6471679b65990.png","id":"evf2xrd81nkr6p4","inbox":"https://mastodon.gamedev.place/users/sol_hsa/inbox","iri":"https://mastodon.gamedev.place/users/sol_hsa","isLocal":false,"last_fetched":"2025-08-09 16:37:51.504Z","outbox":"https://mastodon.gamedev.place/users/sol_hsa/outbox","preferred_username":"sol_hsa","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtjTKMpgNsLt+pClgCRyF\nQGcMTbVENp3qKZOZqzEel63Z8tUMAb2oW/Y3ajt2jeCoybxoIjbdXI6w148MpUAS\n2M80JBkN6KR82RsihoG4C5W8ix5Gn8h7NzoUENn0FDoqMrizS7kA+NrVnOAlbZav\njxvN5ckni9u1L9NmSrNIbVDPVnW+jQT2PW81C3IAV/oyOH/rbQHIdwrU5d3QIWrd\nrzYU8S/SmIB7+XS1zc8toOIY9SGvTBkEeGHjVHp27nxrZjAMKZ6wLseBdqF+Ntaf\nmzpp6r1ucd2I6+OiWr9v1fFf06kJ9g0cagTBYDLbu4Yygs8VOAszDWFR7LlM89yK\nxwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-20 00:00:00.000Z","summary":"

Author of SoLoud, Galaxql, Atanua, Sassy audio spreadsheet, and tons of other projects. I like zx spectrum next. Any opinions I post are mine, not my employers. https://ko-fi.com/sol_hsa

","updated":"2025-08-09 16:37:51.504Z","user":"","username":"Jari Komppa 🇫🇮"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 18:49:12.472Z","domain":"mathstodon.xyz","followerCount":3436,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"5318u7674hh4848","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-08-09 16:37:51.687Z","outbox":"https://mathstodon.xyz/users/MartinEscardo/outbox","preferred_username":"MartinEscardo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2ac5rQZjJp6kxBwN3VY\nEWpZIkA7UCG9zUfkN0tW8eOLE3E2yy1p7eOkx7HhSMLc/RnERnimAS03ssGYh7oO\nwZtuajZ+Bwwt8ua538opKgfzsEgbco1G27LSdcSn/TeN6TvDpikLiP5zeQIOfqR1\n59m3ahULsm2ijD7g79uJwZb8x5PggqUc8BiGzBGk7SX75ISyngSG7vDwfKF/xF02\nIHnj4d+8hlJHTBpozcv/rHJdTnjr/NBauEjPwVM2KCtus5KJRCy686NO2RMvpxaT\nAYtLKSK/4/eqakkY3mkkUFl9DSErcgClfcC/a015pFQSs1uhY23mmA1bof2fU6gf\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

","updated":"2025-08-09 16:37:51.688Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 03:46:00.776Z","domain":"mastodon.online","followerCount":386,"followers":"https://mastodon.online/users/ezhes_/followers","following":"https://mastodon.online/users/ezhes_/following","followingCount":74,"icon":"https://files.mastodon.online/accounts/avatars/109/300/919/680/394/510/original/50cff32c3cb55bb0.png","id":"609fq9vr71q2zbv","inbox":"https://mastodon.online/users/ezhes_/inbox","iri":"https://mastodon.online/users/ezhes_","isLocal":false,"last_fetched":"2025-08-09 16:37:51.789Z","outbox":"https://mastodon.online/users/ezhes_/outbox","preferred_username":"ezhes_","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwjAhKRqVb8LLUSFB7n1h\no96OCl0dl3bYjnTfgRYKut8rS4Y43CXhIZrKkY3fmgprCY3IoPp3T3Udrbo0JkDV\nbswBh5pRun+XHz1sxbvqBrRUwcjwTr0LdY63bh5WKzJeM3H9ddWWcxeTHa4T2j2N\n8X9sDqyButfHKZgUT4Nmr/djk/lnTZTcvTeOSSd4Lckb2C/dzugmDPPMYLWV/mK6\niPaCaAbiUgB/UbhdBDXh1KGvxrHbiOUarLLLtC4pTR9qLVzB/URFTEAZeWfnMCov\n0znOlcVPj8i9Qvin+sZfnCBLhZauAH90g0kDNuZ86qdG3xCT9Kaj3ju8jb+klH59\nHQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

"if i had a nickel for every time i accidentally found a zero click RCE, i'd have two nickels, which isn't a lot but it's weird that it happened twice"  she/her

","updated":"2025-08-09 16:37:51.789Z","user":"","username":"Allison Husain"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:56:11.919Z","domain":"someone.elses.computer","followerCount":2334,"followers":"https://someone.elses.computer/users/riana/followers","following":"https://someone.elses.computer/users/riana/following","followingCount":473,"icon":"https://someone-elses-computer.nbg1.your-objectstorage.com/accounts/avatars/113/652/899/616/523/375/original/71879b6df5d353d6.png","id":"z472c67wq1y3vy4","inbox":"https://someone.elses.computer/users/riana/inbox","iri":"https://someone.elses.computer/users/riana","isLocal":false,"last_fetched":"2025-08-09 16:33:05.644Z","outbox":"https://someone.elses.computer/users/riana/outbox","preferred_username":"riana","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyELXTknaufFO+fLsPSJ3\n0UXgPJRbuUEqIrZr17tg5zUTp8/UPB3ZW/NemOtbNTpMWPgGHxYhK/YdnSUKoveI\ngUGCKDhh2EiwwFHsc+z3gerdDS0VKxWI0udyEwDlM+dzrtPYoTUpcgLVUAcQaO9r\nUKkGUgPFwPGsPwJkgouE83uvJap5DfPJGzkNBKICfXFaX/yUcjAo15Xnol207+ku\ntfYYkjFw/mQVWJxzc5zp6zH6fto12vxvZ15KwsI3vtVHuNardiyzIxcbGvuODtaT\nCDzQ+9KvG/klbU4POVk2SsoQQk2d3QJVq1nmVUIJx528hmd5Nj+5LF21j2YI+cZU\n+wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-14 00:00:00.000Z","summary":"

Tech policy researcher at Stanford. You can't be both pro-choice and anti-encryption.

","updated":"2025-08-09 16:33:05.644Z","user":"","username":"riana"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:41:36.285Z","domain":"mathstodon.xyz","followerCount":6386,"followers":"https://mathstodon.xyz/users/christianp/followers","following":"https://mathstodon.xyz/users/christianp/following","followingCount":3905,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/000/001/original/b81854b430500fd9.png","id":"dx4i3xv105yieq0","inbox":"https://mathstodon.xyz/users/christianp/inbox","iri":"https://mathstodon.xyz/users/christianp","isLocal":false,"last_fetched":"2025-08-09 16:37:52.769Z","outbox":"https://mathstodon.xyz/users/christianp/outbox","preferred_username":"christianp","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7styOSrv0MtxMtLfyGqy\niUhAkywIDZKHIeXwBaQoIEM33miw5NJDZIpYazlvi5K1pUsTsFbOXhHFwG39i3yW\nbz7KJeAMp1gqHssmRnkABf1kbVOoY5g2xzMwuIx/yVqmzoYBlgpUDKjwWfHSCwjN\nqWLbsHYUSCoRWKoRzAHBfm5rhXE5BIbB2eaKCCjsIlXLOuRfRPF4x7s7+v+El9d8\nuMFnIivF6H4xQthp6cdfTSEKtNgcbzEYOFmBro12f1Svx98ncylPIxmyG2em6I3m\nVMnoIQf4t/z1dW/vQV1dh+f3QJlx8AMWX4pk2G1C6lT5ji+NST8RY+jFKTIxu4ke\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-12 00:00:00.000Z","summary":"

Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him

","updated":"2025-08-09 16:37:52.769Z","user":"","username":"Christian Lawson-Perfect"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 18:56:58.472Z","domain":"mathstodon.xyz","followerCount":2011,"followers":"https://mathstodon.xyz/users/Danpiker/followers","following":"https://mathstodon.xyz/users/Danpiker/following","followingCount":308,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/287/245/original/9e120881fb595b52.gif","id":"fl3327r4r3k7k6t","inbox":"https://mathstodon.xyz/users/Danpiker/inbox","iri":"https://mathstodon.xyz/users/Danpiker","isLocal":false,"last_fetched":"2025-08-09 16:37:52.797Z","outbox":"https://mathstodon.xyz/users/Danpiker/outbox","preferred_username":"Danpiker","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnBRwH+SJ02fuEIdGiq1U\nY+xQa9LQ0eNdFv2nhtBG/OZB+eGxFaOnbLAqFyY9EgCKGzNS1gtUOkU1W5/5oooR\nV6q47x6A0kqQa2EfN5DmmjF2CWMkNxyDiowNZBULwSom4au4UPMIsVf+NOBoOtED\nKjMNSgpe6cCM6M6TNAsr6C3PPkfYX56P55/XA+3IJNJ7Kp0I9S0j1A+gnGPa9YSC\nz8/1K33wOU4if+hAuOAP3UNhESbQxIR+z2Hx1g28HUrTX/M/y5vRZUhZRm14bVLS\nsknAYRT8BFP+EGd5WqqQYuHodCFTK6JCwhC54EcLvWyqGCNdRDTRrOUMcLXBItps\nlwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-25 00:00:00.000Z","summary":"","updated":"2025-08-09 16:37:52.797Z","user":"","username":"Danpiker"}],"page":1,"perPage":10,"totalItems":330,"totalPages":33}

Mark Gritter

Following