{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 12:11:47.261Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/EasyStarPilot/followers","following":"https://mastodon.social/users/EasyStarPilot/following","followingCount":0,"icon":"","id":"05020327k920y8w","inbox":"https://mastodon.social/users/EasyStarPilot/inbox","iri":"https://mastodon.social/users/EasyStarPilot","isLocal":false,"last_fetched":"2025-07-25 12:11:47.261Z","outbox":"https://mastodon.social/users/EasyStarPilot/outbox","preferred_username":"EasyStarPilot","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArNvjULSDUvWY2NR5h1ZE\nuweQ0yjyiO2Ul5h1WPmkbcP8RQX21fnZk7AlWDO883yMUyKXm0+YhCNProOUh5rK\nzHbyQ4RMChLbs3yNXMKiUbShrMuOEo1j/TnPPbBPAvOUj73mH2AfMIEp2R2GIDdN\nDYkFl55IHicYpa8tH5kCJevdWSFNxQ9q9Dg8/JO6pVbIOWFvIADDQ4NyjRbN14XK\nueBzuhH1eDF/lH506+q4SiJrm742MWM3dftc1v9bSpIF09jNtfXFh6aRxhiBofy+\n996Gt7i/8qSqFse/FbGMd8h7qfVmOLSjRqdzrgWUHIUGS02AdCUWcAfbd7RFMdHg\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-24 00:00:00.000Z","summary":"","updated":"2025-07-25 12:11:47.261Z","user":"","username":"EasyStarPilot"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 01:14:29.138Z","domain":"rheinneckar.social","followerCount":0,"followers":"https://rheinneckar.social/users/URWALD15/followers","following":"https://rheinneckar.social/users/URWALD15/following","followingCount":0,"icon":"https://rheinneckar.social/system/accounts/avatars/109/522/815/836/034/800/original/d73a4310ae158779.jpg","id":"4hn2fnvwq3u5az8","inbox":"https://rheinneckar.social/users/URWALD15/inbox","iri":"https://rheinneckar.social/users/URWALD15","isLocal":false,"last_fetched":"2025-07-25 12:11:47.349Z","outbox":"https://rheinneckar.social/users/URWALD15/outbox","preferred_username":"URWALD15","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzRcu4ni7K7SMgOqLYMyK\negq41VXZTY1T+pJd08CeGFSW6wmQ5S7HTzoSrSuldl2cHxTFzXRIdvuTy3tSSfk7\nDVwvliR1a1kFvATJJ/LOKso0jQPWYshlHG7vdF6hDLD2FRfLk7CpVKi2DM6sLTrh\nN2jxJV8+hn9YZKRs30B2JC0pUS682iTJ6l2uW34ygLOlMzQEXNpXUPqrjkJVBEiH\njTekf+dSXw0V9upvpk0rpDwiwQrGCG/OUgWhwHeQF2wS7dYmN5FwerqukfTnMoIG\nOpSZFhq8Efs65aRvSwh+6Ixg2c6OKO3ukADF142/YigncoVI9H5+JhJGFAzoqPWc\n5QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-16 00:00:00.000Z","summary":"

#fedi22 #Hambach1832
hambacherfest1832.blog@hambacherfest1832.blog

","updated":"2025-07-25 12:11:47.350Z","user":"","username":"URWALD15"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 05:13:26.671Z","domain":"hci.social","followerCount":92,"followers":"https://hci.social/users/harrisongoldstein/followers","following":"https://hci.social/users/harrisongoldstein/following","followingCount":79,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/111/805/647/066/217/362/original/fc634f0b2bba336b.jpeg","id":"9to389bo50ue301","inbox":"https://hci.social/users/harrisongoldstein/inbox","iri":"https://hci.social/users/harrisongoldstein","isLocal":false,"last_fetched":"2025-07-25 12:11:47.753Z","outbox":"https://hci.social/users/harrisongoldstein/outbox","preferred_username":"harrisongoldstein","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjkrasx62SArBGiDAHgY5\n2PqDqJPIuDQqxm/bp0RGGEEPThc/8Abt1EqzI3Z4OQCwJZPqxZPZ6cQpX3HFxHYj\nvnhWW5CfjPPC8EY7/F7kipGYGUfFueAr9s6eqcYKJg3i3kDu0epRAtAeYm80vtce\nOvcxeZyTdee1HWZy+hcahrj8+BLO9RRJaEqaG+CoSjb2GqNfxtBnOtLO6ghhtU8z\nt93hBXuc4sHfLlfy83inCnG7KK7D6HGVItLkEUIGnz/QT5cE84v/dNm6G21XSkUW\nYBj/U4ais0QVuA9H2/DauIdgapRd/LWD0OXhZjBfz6y+hU+DktkyD3U73jCGXO+x\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-23 00:00:00.000Z","summary":"

My work combines techniques from PL and HCI to solve software engineering problems. I currently work on property-based testing with Professor Benjamin Pierce.

","updated":"2025-07-25 12:11:47.754Z","user":"","username":"Harry Goldstein"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 07:05:34.907Z","domain":"functional.cafe","followerCount":6,"followers":"https://functional.cafe/users/HaskellInterlude/followers","following":"https://functional.cafe/users/HaskellInterlude/following","followingCount":8,"icon":"https://files.functional.cafe/accounts/avatars/114/613/008/739/498/821/original/fca33ce9f94aa284.png","id":"3fk8z7gaor669h0","inbox":"https://functional.cafe/users/HaskellInterlude/inbox","iri":"https://functional.cafe/users/HaskellInterlude","isLocal":false,"last_fetched":"2025-07-25 12:11:48.266Z","outbox":"https://functional.cafe/users/HaskellInterlude/outbox","preferred_username":"HaskellInterlude","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqLFjDWOAk1vr04LHloPm\nr8p8K4RlCONmhNN47ZsrWWlb8heH78wILs/aSjGARy9XPfNj9osDpH+L2iESdwZD\nLgeH97TPbizNWW8gAXhvXEuy72HjB45jJOg73v3gPA5DoUJROb+sdXwHGir1XDkG\nG74jXZZv8o9aUUFMghUalh4BdauU0GChHmvHwPTCCxCFR3R6skfi0BVcYSWSgetd\nI2+mjpDs79YuvavQpsQX2Tvr0eLJRhS1lfPaKAgUO/hqr688FaIrT+6kcM85sZHU\nd0q6c4LpHe0k86sVEVtMoh91J7m9DzzJJQ08dKI92TkjeeDhQkq8n5NotBGN7bEa\nawIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-02 00:00:00.000Z","summary":"

The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.

","updated":"2025-07-25 12:11:48.266Z","user":"","username":"Haskell Interlude"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-12 06:07:08.743Z","domain":"mastodon.social","followerCount":69,"followers":"https://mastodon.social/users/bgamari/followers","following":"https://mastodon.social/users/bgamari/following","followingCount":51,"icon":"https://files.mastodon.social/accounts/avatars/000/305/568/original/817ad60ab9ff2790.jpeg","id":"wan975pgdwfge8h","inbox":"https://mastodon.social/users/bgamari/inbox","iri":"https://mastodon.social/users/bgamari","isLocal":false,"last_fetched":"2025-07-25 12:11:48.365Z","outbox":"https://mastodon.social/users/bgamari/outbox","preferred_username":"bgamari","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzCtJWEZ8BQg7FZAoiwwS\nd91IxSSwtDb6dy6h6LRf59LOkcaeAZQdkBpA/i5bXN9e4rV4XTz5iOFqrAmvEvXI\nD5pLTB2ncO0fwE/2rM8hKZv84R+0QXkTAQ/ImMnaWdTH5AGAYY2ipeapRnjaV0pL\nov6EzjR5d+qXUl3bV0aHCnJvSGu72uUcE/28pZY9JUlIFS4bIhWMWOj0NB3Nd09i\ngv5tr+KKIvqaC8b4oxDIni6aYm3KGgZkP1Mn2oVri6Zx5mKahJH6tZaS2D/JcIYy\ndGK9zpubiR6pbBCQoijQI9OKfiN4cRR8eesO7sNPFjVBEdpclskV6qdJZ6+LluoX\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-03-25 00:00:00.000Z","summary":"

I work on the Glasgow Haskell Compiler among other things as a partner and Haskell consultant at Well-Typed.

I love my turtle, hiking, sailing, and making things.

","updated":"2025-07-25 12:11:48.366Z","user":"","username":"Ben Gamari"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 04:27:24.362Z","domain":"functional.cafe","followerCount":9,"followers":"https://functional.cafe/users/ashandoak/followers","following":"https://functional.cafe/users/ashandoak/following","followingCount":88,"icon":"https://files.functional.cafe/accounts/avatars/111/069/970/002/302/481/original/f485b3e6a1a5924d.jpg","id":"89q4a155sgi971h","inbox":"https://functional.cafe/users/ashandoak/inbox","iri":"https://functional.cafe/users/ashandoak","isLocal":false,"last_fetched":"2025-07-25 12:11:48.799Z","outbox":"https://functional.cafe/users/ashandoak/outbox","preferred_username":"ashandoak","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzbT3SVpis6QzmrutzYS4\nLosnaBteV17BMQsNZ2RuvOvR6/nq8VV+VuQNkUjK0I5X2VBGjG0hxR8OvHg35ZUt\nhUFWwLKejZBmvMJzEm7Fj85AVcYwHcmhRjsSBNb0LyfhCDdoT3zEWYKngGilqQFG\ne1ARo6QDP/jyWvBVzY3OO/FsicBYrCEae3gKNLOVnq+Viozqqp+hjel4XUUVqpYJ\nlOGSnFnxlPPQQuwrJiRjDGpeBMYZALtKT0YWgwS8A3mWA/o7SOFlzFCvVsbEg7J5\nHMd+JHHKh9MxTQusoZgCos0mcJESZ8vfuKEL/bNL6FJRTZrVWqYyBcuXQch9rx3P\nGQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-15 00:00:00.000Z","summary":"","updated":"2025-07-25 12:11:48.800Z","user":"","username":"Ashley Blacquiere"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 12:11:49.177Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/markusde/followers","following":"https://mathstodon.xyz/users/markusde/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/e0235aa94d9ed680.jpg","id":"d69r72rtd2okfoc","inbox":"https://mathstodon.xyz/users/markusde/inbox","iri":"https://mathstodon.xyz/users/markusde","isLocal":false,"last_fetched":"2025-07-25 12:11:49.176Z","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":"

Human in the loop automated formal verifier

All opinions are my own

Not a professional account

","updated":"2025-07-25 12:11:49.177Z","user":"","username":"|==> (P∗Q) ⊢ |==> P ∗ |==> Q ?"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 05:36:01.719Z","domain":"mathstodon.xyz","followerCount":1929,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":110,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"rvf47s8ll68e3fv","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-07-25 12:11:49.206Z","outbox":"https://mathstodon.xyz/users/andrejbauer/outbox","preferred_username":"andrejbauer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxIFr/0sftehAweJM7ONu\nrg+QY95/clSKXZSXLXEP5TNVFUMrwp9/zA0gjSj2OOM3f2Hpn2Vow4yV19gplJb1\nEACa/KBA4MX8cPA8a8ze8cPmoyFBSXpwRKHcyFXAjr6kUVM+aWu66qav7GhgquCQ\nboR/gEEoja+2Js/1f4CNDcKETdA0lmuTtAyLUIeUH/sCq8EexsDve6mm0BFfffV8\nIJSx8bEEE67W3IbS349DDVWcFhl7bZ28hfb/UzdtyEZxpoeNWp4R/gfRpK4MY4w2\nu8jy4aruh4zZGuvroTz1ehLV5fxhbNW0njuSaT3jqa4tpD+/SJl/VXKakUzMgXGU\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Professor of computational mathematics at University of Ljubljana, Slovenia.

","updated":"2025-07-25 12:11:49.206Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 12:11:49.291Z","domain":"freiburg.social","followerCount":0,"followers":"https://freiburg.social/users/MathiasFleury/followers","following":"https://freiburg.social/users/MathiasFleury/following","followingCount":0,"icon":"https://freiburg.social/system/accounts/avatars/109/309/813/555/435/105/original/8a14ee6e3a00c4a6.jpg","id":"9k864w3jsgt85i1","inbox":"https://freiburg.social/users/MathiasFleury/inbox","iri":"https://freiburg.social/users/MathiasFleury","isLocal":false,"last_fetched":"2025-07-25 12:11:49.291Z","outbox":"https://freiburg.social/users/MathiasFleury/outbox","preferred_username":"MathiasFleury","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyWkt1abD/NiV/MTd28KJ\n3gLXcjF7IatqgIkAnktI8xO+y6bek0uXMvmVR444HL19v0i4nRwdqm/aJNPjfuej\n4tOryf3mj4OLpgEKa36rTvD6GUeLLrX1VkBfU7EoOKF/n1xzFPNfAlWERUiH/8Yy\nUjpvnbpLnzA/bZ5SUDdnja5SSeEF0j+P5ccNVzEgI6jvzWDp3+Ky7RTW/sZ4o1G2\nYK8jDEWUWhPf718ZNtQ06Q9uQ2AhrUclXBj4fBAxoNQLnNtKeIaWv41INenXDMzE\nDgH0qvF3ZiTns47ns3WiTJuf7FJP0O7Ry2frBll2Xk+KISjqqa77fxqa4q1MeWEA\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

SAT solving in Isabelle/HOL. Working on isabelle-emacs in my free time. Opinions are mine.

Working at @unifreiburg@bawü.social

","updated":"2025-07-25 12:11:49.291Z","user":"","username":"Mathias Fleury"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 04:01:59.614Z","domain":"mamot.fr","followerCount":66553,"followers":"https://mamot.fr/users/pluralistic/followers","following":"https://mamot.fr/users/pluralistic/following","followingCount":942,"icon":"https://static.mamot.fr/accounts/avatars/000/303/320/original/63f3378b651f373f.png","id":"f3i8oqxfilj33ql","inbox":"https://mamot.fr/users/pluralistic/inbox","iri":"https://mamot.fr/users/pluralistic","isLocal":false,"last_fetched":"2025-07-25 10:35:32.706Z","outbox":"https://mamot.fr/users/pluralistic/outbox","preferred_username":"pluralistic","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0wdTN+/tBHSmS9DjJuLl\nlcQWbtIb7i6wduhw6xx217q0AB2AM1uqPRqNZuPTNdp97Pzsd0lf3+jaYiuJBCwW\naaDKL1k2WwrIC09z7ryOcQ9kwHkYDztinC6ZWYTMiynuZqX0COru2wyUVJkd1Oq6\nceAKD6SGt3l8y1/uCSBMdr9sZPZ5pZ5MRuJBo+anSNPFNS2M9MZzOQ5d9sGo0sjn\nyA31D3s/h38aCRNtwm+sDystOmZoxRV0pmQJ6+aBl2FBGRb5Pj2DeBSs21d3R18C\nAvVXULqSbI0KyJ7Damg7mb2ezRM2FVQXSVi2c4LUco/kOwGeDJyo0VvM6Ma8xYbQ\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-03-12 00:00:00.000Z","summary":"

By Cory Doctorow (GPG 0xBF3D9110957E5F4C)
@doctorow.

Archived at pluralistic.net

I post long threads. If you don't like these in your timeline but want to read them, I suggest unfollowing me here and subscribing to my RSS, or my newsletter, or any of my various long-form feeds. Links at https://pluralistic.net.

","updated":"2025-07-25 10:35:32.706Z","user":"","username":"Cory Doctorow"}],"page":1,"perPage":10,"totalItems":615,"totalPages":62}

Joachim Breitner

Following