{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-30 02:55:44.664Z","domain":"mastodon.social","followerCount":1208,"followers":"https://mastodon.social/users/AndreasZeller/followers","following":"https://mastodon.social/users/AndreasZeller/following","followingCount":105,"icon":"https://files.mastodon.social/accounts/avatars/108/221/617/111/857/796/original/1d73abf30d8d88c9.png","id":"5yivc63z93f2161","inbox":"https://mastodon.social/users/AndreasZeller/inbox","iri":"https://mastodon.social/users/AndreasZeller","isLocal":false,"last_fetched":"2026-01-01 03:42:58.890Z","outbox":"https://mastodon.social/users/AndreasZeller/outbox","preferred_username":"AndreasZeller","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1NwVROlB5zoQ4L2j8w7x\nVn+6o7xa2N8ylNruGv7ApuLzydkX3bnxGu/xqHN0mPEglmxJPA73ujraMOK8IoCX\ns99YeHmbVTVJVgqyZT1WrD+iC3RELzEYExmH187Z7+s1B2BsNnz6ovG62Gu1Ik8F\n20kYwm6dfSrYLvdwE2bASO0LAEjvTb9P43VbEzsc+K+hrE0TuSvKMSWeQZdd859K\nwtM2oNd5f/69RwF8qVW670e3n+uqpO2Ibx0L0itXL2xvlHpq1KZnwhRdRO2Kns03\nFeIBetXMYsSnlhk0VWYjNKUl43kPYgvhxUbHcW3+x8W/k1jjN0YxeYRUA/mjCOg/\n6wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-30 00:00:00.000Z","summary":"

Software researcher at https://cispa.de., working on https://fandango-fuzzer.github.io, https://www.cispa.de/s3, @TheFuzzingBook, @TheDebuggingBook, and more. Testing, debugging, analyzing, and protecting software for a better world.

","updated":"2026-01-01 03:42:58.890Z","user":"","username":"Andreas Zeller"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 02:59:57.544Z","domain":"fosstodon.org","followerCount":1241,"followers":"https://fosstodon.org/users/fullyabstract/followers","following":"https://fosstodon.org/users/fullyabstract/following","followingCount":387,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/298/021/470/440/610/original/b2df41123c39680d.jpg","id":"fzz8km8d13d7lf5","inbox":"https://fosstodon.org/users/fullyabstract/inbox","iri":"https://fosstodon.org/users/fullyabstract","isLocal":false,"last_fetched":"2026-01-01 03:42:58.963Z","outbox":"https://fosstodon.org/users/fullyabstract/outbox","preferred_username":"fullyabstract","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm2I+HdMrzk765UBfx4VZ\nbCsb0exQT4mw78jdBfCsV35evNauQmRpJfI6uF9FETLduBlVBzfzQ2Y4S5fQmqFx\nMcNdsg6qTgfiMGDdpPs6X9B710mhD6xEGe/K+W4Wr+TrAuYknmv2cGzsKjKRYMUV\nIZEKIBgpRszk29OJNsF79jwzK6gXyX3jg5KL2HhPFjdyE6fAXHFZlJpocYhVXV7d\n1Yv0MavwFPtgKyqvv6iuAYIbTadhTL2Bg7AOk8gGIC/43D6qodaJJHlY9AD1uk5K\nTuyKOD2kuDF+xOehitYok5gqmYXN5ttZG6nW/Zfzq8B61TEZ4M1EtVBQTkZx5Dom\neQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

host/producer of Not Brahms and Liszt on WMBR Cambridge ● research professor at Boston University Computer Science ● #Radio #NewMusic #ModernClassical #ContemporaryClassical #Music #Boston @wmbr #FormalMethods #Vegan #Trans

","updated":"2026-01-01 03:42:58.963Z","user":"","username":"Alley Stoughton"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 07:25:19.546Z","domain":"mastodon.social","followerCount":3256,"followers":"https://mastodon.social/users/Felienne/followers","following":"https://mastodon.social/users/Felienne/following","followingCount":474,"icon":"https://files.mastodon.social/accounts/avatars/108/198/902/380/196/876/original/8fc0209ca01b2119.jpg","id":"2zm46pst06nz7it","inbox":"https://mastodon.social/users/Felienne/inbox","iri":"https://mastodon.social/users/Felienne","isLocal":false,"last_fetched":"2026-01-01 03:42:59.277Z","outbox":"https://mastodon.social/users/Felienne/outbox","preferred_username":"Felienne","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3V0p8olx6K6jeNjvTtgV\nAZJFAeozqk/DiylbXuC4lMoFpclBiP3ptNCEzOc3Z5BxzQyOAVTvJ/+yyer9sGt/\n7Tq2oDW4OYfwadgIL7gxF/8osw+7F9MnW8VpCkpHKhruHsblghaKIIqg/V5DfSTP\neMTc1OUqL7WY6EbH0OSjdzrvPdt5rTqjRcZXh90SFHxM0CSWLaus/neDAdM545Cz\nh8/HCy3BZW4jSnwVlmwbABi5ABJFseqotgBoxU/AbQGgNHC1jj7A1iOXBO3XHDwd\n6KIGd4Is1am6Oi/wp7TMIBOHi1LvqipG1yyEGBBpAGV+CdasVUV1zh6m0LiIQ4hK\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-26 00:00:00.000Z","summary":"

"What I had not realized is that extremely short exposure to a relatively simple computer program could induce powerful delusional thinking in quite normal people" - Weizenbaum 1976

Weekly newsletter on AI and teaching and more(nl/en): www.felienne.nl

","updated":"2026-01-01 03:42:59.278Z","user":"","username":"Felienne Hermans"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 04:45:57.110Z","domain":"mastodon.social","followerCount":2641,"followers":"https://mastodon.social/users/typst/followers","following":"https://mastodon.social/users/typst/following","followingCount":41,"icon":"https://files.mastodon.social/accounts/avatars/110/779/279/045/653/789/original/e8a02e2766930a5e.png","id":"qfgc6sma6okc13r","inbox":"https://mastodon.social/users/typst/inbox","iri":"https://mastodon.social/users/typst","isLocal":false,"last_fetched":"2026-01-01 03:42:59.439Z","outbox":"https://mastodon.social/users/typst/outbox","preferred_username":"typst","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArPiHdTp25eBxVM1SUSnd\neenRZSL73BB+7cNQCu+skbO0/6FKH7EBXdojlNxjeDxcjwq6uZFIHMaZ4TcyTotA\nuXZqBkgluv5Eb6FuwZZv3FFjwa4RcnxemaT6uK2YOdLGNPVRzQBW1AhHdSVKRDnK\nMCXE4EKqApMyeyhiwt3vWdTdqdYUreWhEEkYY6SuvikVs3qkT0IIIdSohpF5YEkZ\nW3StZpbkBiV61QWlJw/LMTdo3XIPOjJnHqjjUPeZlcDFSoh5f0/AppKaNGQvt5al\n6d6WsCEGMwvzVhqHp9Qq0g4V8mOjpVXAFGt/R1MaRxC+LDQTNHaC9pygPUNkkz38\nQwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-26 00:00:00.000Z","summary":"

The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.

","updated":"2026-01-01 03:42:59.440Z","user":"","username":"Typst"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 01:27:35.775Z","domain":"discuss.systems","followerCount":219,"followers":"https://discuss.systems/users/burakemir/followers","following":"https://discuss.systems/users/burakemir/following","followingCount":72,"icon":"https://fd.discuss.systems/accounts/avatars/110/851/006/782/538/571/original/ecb98311e9188a3b.jpg","id":"95ep999m7t90tj0","inbox":"https://discuss.systems/users/burakemir/inbox","iri":"https://discuss.systems/users/burakemir","isLocal":false,"last_fetched":"2026-01-01 03:43:00.154Z","outbox":"https://discuss.systems/users/burakemir/outbox","preferred_username":"burakemir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0TPDPF1RGNuF1MOONy7g\nqoAhbWjDqUWfedNJdTr1ohceCuEdydSIsnGYjOGl2WdRh2InIXxXFCCtGRWqna4a\nB0OQUQ6gR83Sh1KRkSr39r/lutQy8nk6NFvnYLt3CgYKLh7+Uu7EGpXd0usxnuZe\nc2vVLys7P0N1SIZsUvlgdYg2UAllwCSZZgdj5nw/zSUjKyPbXQD43B7BlXDTPnfi\nc8YH5CU+5wq4c2dZTYSu/HIKCZpyCAbuqdU/kXI1DB/yLXUKa2PNrO0UGYb/fVY/\nicE2bBpt4I4Xcrs7vWN/i3zOrsz9ZC64gC34ESaI3AMlDB3T8oV9cTwycpszTHdV\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust.

Check out Mangle Datalog, a typed, datalog-based logic programming language and deductive database: https://github.com/google/mangle

#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems

","updated":"2026-01-01 03:43:00.154Z","user":"","username":"burakemir"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 18:55:09.066Z","domain":"mastodon.social","followerCount":12624,"followers":"https://mastodon.social/users/elementary/followers","following":"https://mastodon.social/users/elementary/following","followingCount":94,"icon":"https://files.mastodon.social/accounts/avatars/000/321/397/original/324adfd8aa8ea8dc.png","id":"cv551po476sylx7","inbox":"https://mastodon.social/users/elementary/inbox","iri":"https://mastodon.social/users/elementary","isLocal":false,"last_fetched":"2026-01-01 03:43:00.503Z","outbox":"https://mastodon.social/users/elementary/outbox","preferred_username":"elementary","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAs+mpO9Nk8C78t0/ru74t\nBXksw5oZIJ20fFkDQNRrpo2p2TLR6GkbY/S5AWQdwgRqmpflyO5RhwOiIHvkDlEL\ngUatH/w30TJ+q5yV+U9tUTU+KJ+jIQQDlMOz6gu3lxBKfONFarE9+RMXKT49tBO0\ndC+rVp5AnPslXUcK6hMHSjz2yU4HnwZcokAOmqZVdTfe6Dq415pLf7LdUA4pi5HV\nvigHBOFnsgKr14irkiytBOe2aglhat6YXyDZhxFaUcIjSAopgLpJlfxFSV7Wg/8c\nJwdcWxqdADV0fIPOEc3R8ux/bBvtkFFtI62K//CrF0ho0e4RuQdRwJk67lax4oeQ\nOwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-04-08 00:00:00.000Z","summary":"

Thoughtful, capable, and ethical computing—plus AppCenter, the pay-what-you-can app store

","updated":"2026-01-01 03:43:00.503Z","user":"","username":"elementary"}],"page":1,"perPage":10,"totalItems":4,"totalPages":1}

João Pereira

Following