{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-18 01:34:55.398Z","domain":"mastodon.social","followerCount":737,"followers":"https://mastodon.social/users/olemoritz/followers","following":"https://mastodon.social/users/olemoritz/following","followingCount":188,"icon":"https://files.mastodon.social/accounts/avatars/109/982/550/065/145/055/original/dde3a46c947b6222.jpeg","id":"2c2h8yg15j4u61w","inbox":"https://mastodon.social/users/olemoritz/inbox","iri":"https://mastodon.social/users/olemoritz","isLocal":false,"last_fetched":"2025-10-22 17:17:00.544Z","outbox":"https://mastodon.social/users/olemoritz/outbox","preferred_username":"olemoritz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA21bwFpC6/vigAVdfo9Ch\nTAqTcc9UCWDTm2qGQ7yngkNlpv2lLI0zV0pFvfIIxD7VGvLy4PRQ+Qsi7GMi+xs1\nKG8x4XMBALR5/GfBneO9HeiQbhMKnrSwBg6OMvauTz1iT1sCDVmDTbgP23a13c91\nmfhaA8XEEOs+akN6Cmovbb8S1s2daFU+o1wGChppunfAoaJBeghpJYQaPEeF4yr9\nV5FrnZNyvoO4p03HfSa4mIUnBvHmgTEAUZH6M89TWFmwcTI4jgGPy4xKxyQrNB4H\nypiz6aMe2E5cWsH9rReHJaOwTWNqfTFQWu0wlgl7OpREwp4n0Y69A/lowZFjmPpU\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-07 00:00:00.000Z","summary":"","updated":"2025-10-22 17:17:00.545Z","user":"","username":"olemoritz"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 06:31:13.854Z","domain":"infosec.exchange","followerCount":3492,"followers":"https://infosec.exchange/users/david_chisnall/followers","following":"https://infosec.exchange/users/david_chisnall/following","followingCount":92,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/111/867/038/214/333/074/original/948015da7238758d.jpg","id":"dl6oja98g8p4cit","inbox":"https://infosec.exchange/users/david_chisnall/inbox","iri":"https://infosec.exchange/users/david_chisnall","isLocal":false,"last_fetched":"2025-10-22 17:17:00.601Z","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-10-22 17:17:00.602Z","user":"","username":"David Chisnall (*Now with 50% more sarcasm!*)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-14 05:26:49.114Z","domain":"mastodon.social","followerCount":2763,"followers":"https://mastodon.social/users/munificent/followers","following":"https://mastodon.social/users/munificent/following","followingCount":519,"icon":"https://files.mastodon.social/accounts/avatars/110/147/406/665/714/826/original/e34316daa89857ae.jpg","id":"zh6il2q2v8174ga","inbox":"https://mastodon.social/users/munificent/inbox","iri":"https://mastodon.social/users/munificent","isLocal":false,"last_fetched":"2025-10-22 15:42:29.509Z","outbox":"https://mastodon.social/users/munificent/outbox","preferred_username":"munificent","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArF3nLJszbCSpZLst7YHH\na0ZCbOB5U8ero86WTylcSyRkYy9A/dIH3hRQV4z4VMqqsGjrdqoOPNuTtdx7ZeLp\n/wMj1/nP5isDFjecwEGzl1tCrpTWJBJNNEFvCLDOHEo4oILjLsn9SIGATuYZv4Qf\nUZAVsOVL7MTqw9cLdKpopQrbux2PvGndofHpWT9m7/5OeVpExSoeibnGqvuUUsRE\n636grgWF/dQAc6rthGUZlRBt/dlrRtSExzlw2Kd+Ez0N+GKOcdmVJ2s/gqajlDl0\n4hRD0WMKb+A0I8pL1te5LEeL04fmJNL/1vNWNVr6lkTW9uBtydM1DQvVUMzO/W65\nxwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-05 00:00:00.000Z","summary":"

Dad, husband, brother, son. Programming language developer at Google working on Dart, ex-game developer at EA, UI nerd, author of "Game Programming Patterns" and "Crafting Interpreters". Into electronic music, hardware synthesizers, cooking, procedural generation, fishing, knitting, and too many other things.

","updated":"2025-10-22 15:42:29.510Z","user":"","username":"Bob Nystrom"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-01 18:55:48.841Z","domain":"fosstodon.org","followerCount":8216,"followers":"https://fosstodon.org/users/adafruit/followers","following":"https://fosstodon.org/users/adafruit/following","followingCount":5,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/098/984/original/5c2363f06d4cf18c.png","id":"203l2h83h6bsh14","inbox":"https://fosstodon.org/users/adafruit/inbox","iri":"https://fosstodon.org/users/adafruit","isLocal":false,"last_fetched":"2025-10-22 16:23:06.768Z","outbox":"https://fosstodon.org/users/adafruit/outbox","preferred_username":"adafruit","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnTnAfS3TsXxRgICAyS8N\nvO0whL2yuEGmmYTolyXwKg1FlD9AYUHWsa0uQi8+5www9LeAdR267cudehii3Sqe\ntXXQf7IE3fHlhZgicndxBIJKcfuQvnEuYmO8cWJUo+Wdi0bZzOa39aoz2mfsCX1Y\ngStfVOL0TB0r5ptkF5U3G6RGgMrnIBb15KekmCgR3s1XYaXQhMLq3RyWVnt2JD3E\n4h1557qq1t2zu/HfT7nBJfOqavdcd7Nfk1FUMzSgeV5bkpq7bMRdycK+TYbNxJWq\n5ie29VvJbbX6wIhWBpqEZBVM67YujdQp/gnAwNIbMQzOxvg2EjXVwu7hsl7H4blu\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-02-13 00:00:00.000Z","summary":"

Brooklyn, NY USA - Manufacturer, open-source hardware, certified Minority and Woman-owned Business Enterprise (M/WBE) Teaching, sharing, #engineering #DIY #electronics #opensource #opensourcehardware #hardware #python #circuitpython #arduino, #raspberrypi #art #hacking... account is managed by @ladyada @ptorrone no bots, all toots are from either ladyada or pt, blame them :)

","updated":"2025-10-22 16:23:06.769Z","user":"","username":"adafruit"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-14 23:08:26.095Z","domain":"spacey.space","followerCount":1804,"followers":"https://spacey.space/users/nyrath/followers","following":"https://spacey.space/users/nyrath/following","followingCount":334,"icon":"https://cdn.masto.host/spaceyspace/accounts/avatars/109/372/570/859/752/996/original/aace43a48e109fd7.jpg","id":"h94e9l83dpz1550","inbox":"https://spacey.space/users/nyrath/inbox","iri":"https://spacey.space/users/nyrath","isLocal":false,"last_fetched":"2025-10-22 17:17:00.912Z","outbox":"https://spacey.space/users/nyrath/outbox","preferred_username":"nyrath","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4JLHZ/kydlSVxo87n4RE\n+8qOeHDoCiiP8Ot27Wihw/hg+0fysNHhfQd6xxGdSADourXa05886ofNSW+AqOa/\ng4oQa4dMSTNkQLNmakRgnP4OaGRjpMH2Zu1kTptpCarCy/CVOmZAfu4NsxumgKhp\nG+Ke/sXXrqp9DuFOwP+IhiVzX04yaMG1PSsqCIioSzElORcs8bEvRAgkHWvgiwuq\nDgRUk7hYPQqXheBPwsHxxz/kM1cCHDeWgpMx8DcWDytjE7Dp+ma5trFqbqG86hNW\nlGvZwCHBzGFPD36SD6chUanF1eUGYW0/ak9TMHfpiAVlRxuSA6TGwIJvH0lK/ggG\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

Star map and Atomic Rocket geek. The hard-science SF writer's tech support. The website is at
http://www.projectrho.com/public_html/rocket/

Refugee from the decline and fall of Google Plus.

In my long and misspent youth I did the artwork for various TTWG such as Ogre, WarpWar, GEV and such.

","updated":"2025-10-22 17:17:00.912Z","user":"","username":"Winchell Chung ⚛🚀"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-10 22:57:10.593Z","domain":"ioc.exchange","followerCount":3006,"followers":"https://ioc.exchange/users/azonenberg/followers","following":"https://ioc.exchange/users/azonenberg/following","followingCount":418,"icon":"https://files.ioc.exchange/accounts/avatars/109/320/697/263/826/535/original/452045644aa6671b.jpg","id":"p151jai0b796q30","inbox":"https://ioc.exchange/users/azonenberg/inbox","iri":"https://ioc.exchange/users/azonenberg","isLocal":false,"last_fetched":"2025-10-22 17:17:01.481Z","outbox":"https://ioc.exchange/users/azonenberg/outbox","preferred_username":"azonenberg","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+4ALS6KcT2RBtufxWgkk\nc5tglgWRogY+ti1Z0CEpkMieH/1cl7/N5MZQtwuvLycXYLsIXLN6iTTubn35FBbO\ngVSm3NgcUz5GFwJgvEKOGT3M4qEhK9mUZJR+LGwUt1cj+ypaSdc3e+yyPYFlZZTB\nGCLvSHZPhGmEwNCHMr8c4d4170X7dKsifNNwEDa7HFgNmEuP6hPsvhS6S3Hibo/h\ncd5RimWxN04OoABNqSJ0x+uUJqoD2ywV5XAcuO6Ah1HSVOg8sl3Lne4g61JkCyLr\nW67Wh3Fnz+emQ3Ce9pN0IW1uUZzFXe4cuYJYRcN+C+vhpn4zMow3R31LxjC4lRzG\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-10 00:00:00.000Z","summary":"

Security and open source at the hardware/software interface. Embedded sec @ IOActive. Lead dev of ngscopeclient/libscopehal. GHz probe designer. Open source networking hardware. "So others may live"

Toots searchable on tootfinder.

","updated":"2025-10-22 17:17:01.482Z","user":"","username":"Andrew Zonenberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 23:56:50.600Z","domain":"mastodon.social","followerCount":1303,"followers":"https://mastodon.social/users/startswithabang/followers","following":"https://mastodon.social/users/startswithabang/following","followingCount":76,"icon":"https://files.mastodon.social/accounts/avatars/114/773/086/662/167/133/original/a61ab028abb6aa35.jpg","id":"9935x05142v865d","inbox":"https://mastodon.social/users/startswithabang/inbox","iri":"https://mastodon.social/users/startswithabang","isLocal":false,"last_fetched":"2025-10-22 17:17:01.634Z","outbox":"https://mastodon.social/users/startswithabang/outbox","preferred_username":"startswithabang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt6HfjxVyAgTCyP0SUf0/\nB7rshNz/GkXXcNGmWRGJQiI1Wq+9DvRqmkeSivJeCyYWcnotT6JedOnmZ4YX4mF+\nb65bmYxtVAbynj4npbl1fJ8uJt8P5O3ZVYYyprVqfcshQjfCOjzyUkqPNmwOB+mc\nb0aYgdgLhhnVWjVOgy6ILxEWayijVRFeeG6XHDbsRSDvfrl6vPtAz4h8EKOoybtt\nfVY353GvBf9yaVt1qfxQBRkWGPmaHXD4wykGXxDAk8pnZMld/OmKqJyr1WX+h9e1\n49Ppl114tkqaH0ZNZDNEla/7xw9YSxh2Ybi+c1ydiwuMZGYEAGcGDpMhgBZ9mHsy\n1wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-30 00:00:00.000Z","summary":"

The Universe is expanding, cooling, and dark. It started with a bang, and I'm here to bring it all to you!

","updated":"2025-10-22 17:17:01.634Z","user":"","username":"StartsWithABang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 04:00:49.826Z","domain":"mathstodon.xyz","followerCount":341,"followers":"https://mathstodon.xyz/users/shonk/followers","following":"https://mathstodon.xyz/users/shonk/following","followingCount":49,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/002/650/original/c42602315496ead3.gif","id":"403875a155h1i83","inbox":"https://mathstodon.xyz/users/shonk/inbox","iri":"https://mathstodon.xyz/users/shonk","isLocal":false,"last_fetched":"2025-10-22 17:17:01.678Z","outbox":"https://mathstodon.xyz/users/shonk/outbox","preferred_username":"shonk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0q3dGsfhkgLhN4U8fRWG\n7bkfe9YqySivcojztKdvRYKGZycAB1Y4gh4SvzbKiGmdess3y08t96C09aF/4cUv\nmQQD7iuJhsEyuJF9D1KMYlFYZbVkBC6Tc8oEKoNiTZ362Is3420ayT/xnVDXm017\naXjQAKZ1g+bkeDLxs996wHOSlCDtH66LyZ7c8SCE9k6evEoN6l54beuWqIzVk8nU\nTF78f7sikyxD6G/lk6/d85tOJtT6Uq2ZEspjSc9T15/0+5dSLB/4rts9VNmscvjY\n77R1usmCTU1GsGen0qdPZbMtPf1A3uJTD+VUgg26q4o7qYp8qDpPYGtcw0tSGRJ2\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-08 00:00:00.000Z","summary":"

Math and art https://math.graphics

","updated":"2025-10-22 17:17:01.678Z","user":"","username":"Clayton Shonkwiler"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-21 14:30:33.811Z","domain":"mastodon.acm.org","followerCount":118,"followers":"https://mastodon.acm.org/users/RocqProver/followers","following":"https://mastodon.acm.org/users/RocqProver/following","followingCount":1,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/793/938/089/664/962/original/40a97cf3f2f663dc.png","id":"qszu2txei7ojeo5","inbox":"https://mastodon.acm.org/users/RocqProver/inbox","iri":"https://mastodon.acm.org/users/RocqProver","isLocal":false,"last_fetched":"2025-10-22 17:17:02.755Z","outbox":"https://mastodon.acm.org/users/RocqProver/outbox","preferred_username":"RocqProver","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArFd0MqbQt/j58L380sLv\n29VHRYyVqk7FV0PQMUlphydOdwotTKPmj98j0K8EIHsW46uzv6Yp9LxMU7IOid6g\ne6bj3kjugVTGnFxHYqV6MepFJEakwUR01ADMLTWxiYtKHI4YFdUiZcsC+kTf2zEh\nhh/+8wI+hY5E6vJMbNRtWvBsbmqQ+tJT/CI9yhZ5H/G0r9HKed+2JnQImVMfnLQq\nZ7lNhVTTL+WIchbBeSfctYnOdTAU8/2u/Uq/f9gdFyTORewqehCZ/TZsojG9W5Nf\npil/88B2VeR/CtCYuTE8JkstyVPKCu4YoEtTUzJtTBQfjbj5yyFLzl6IDNQ618t5\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-08 00:00:00.000Z","summary":"

Interactive Theorem Prover and Dependently-Typed Programming Language.

","updated":"2025-10-22 17:17:02.755Z","user":"","username":"The Rocq Prover"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 09:27:13.112Z","domain":"functional.cafe","followerCount":829,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"jr50be27nom3a9i","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2025-10-22 17:17:02.894Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2025-10-22 17:17:02.894Z","user":"","username":"Lean"}],"page":1,"perPage":10,"totalItems":77,"totalPages":8}

Christophe Favergeon

Following