{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:05:20.800Z","domain":"mas.to","followerCount":124,"followers":"https://mas.to/users/codefrau/followers","following":"https://mas.to/users/codefrau/following","followingCount":8,"icon":"https://media.mas.to/accounts/avatars/109/357/201/395/824/077/original/f9601e52191b780d.jpeg","id":"99ap16pbgkh7sg2","inbox":"https://mas.to/users/codefrau/inbox","iri":"https://mas.to/users/codefrau","isLocal":false,"last_fetched":"2025-07-22 19:46:42.360Z","outbox":"https://mas.to/users/codefrau/outbox","preferred_username":"codefrau","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqQUzK4Z99hSPaTm5++8Y\nOqJO+SMriPVDrJWBAkmwW2AcovffrBcFtieLvvSd8F4QKKJQYQif16fa3OOLHFAq\nOyx9q7BLxw5YNDzdkw7AiM7wj/RqBscGsGfAtEX3sHb76n2bKJAAVPs0lcNBJezL\nj0ni3tUpuldYgI/bMncUaiRAJs1WqVG1c63FWy9oe2U1NzWNDddFmdyUrOeSPfgf\nMB81HFNEIPHFmjP+leJP9SIHaDJoCnCMfcvdEhbnuocWpgIAmNiLDui6WSr/IC7o\nOWKFrj8uFwOfP4Xqy9JInQDomIkN/O35X+qWShnIStWIaoRR5b3tDdzSw7Xd9p2V\newIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-17 00:00:00.000Z","summary":"

Giving this a try ...

","updated":"2025-07-22 19:46:42.361Z","user":"","username":"Vanessa Freudenberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:12:18.160Z","domain":"discuss.systems","followerCount":409,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1385,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"dekw93l56l6q46z","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-07-22 19:46:43.054Z","outbox":"https://discuss.systems/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqu75zd4WxhZbgnxr3D0x\nqdQennO5/JNC7TYuEXAAb5u2abevS8QvmACbGbtXZh3r/MKDfuUjq6PY8b6iMa4E\n+pG+DtKsdWgXbz6y08YhYqNe8CEGLS4/EowBLC6goMyLKj0sQ8OUGo0VawRaR/Ox\nWB4LAhqmdIP/2OAE3rzgJk+sU5rs6Q+p9eQj9W68JG7PwTY5ebHmksEhaU2lrdPq\nkE5l+j9e/ZBmbsGnGynZernCeRc2MdXn90avbROl/+5kSK870hyBww0xuOhgc099\nRCyiiAEQ3WAOVnRX9X49JhUS9ODmCdcHpp3awFKo0RGtMPxK1HOO4WPa0Pmakccm\nZQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Programming languages professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.

:freebsd_logo: :debian: :openbsd: :clang: :csharp: :racket: :rust:

","updated":"2025-07-22 19:46:43.055Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 22:47:47.316Z","domain":"mastodon.social","followerCount":101,"followers":"https://mastodon.social/users/caizixian/followers","following":"https://mastodon.social/users/caizixian/following","followingCount":184,"icon":"https://files.mastodon.social/accounts/avatars/109/515/762/845/234/847/original/a67ab7cd52e72e68.png","id":"r2626680e44eq9v","inbox":"https://mastodon.social/users/caizixian/inbox","iri":"https://mastodon.social/users/caizixian","isLocal":false,"last_fetched":"2025-07-22 19:46:43.684Z","outbox":"https://mastodon.social/users/caizixian/outbox","preferred_username":"caizixian","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtuwMR8SldhgRPrlec5Yi\ngdtSa/IRf1knF191BMctG2RBwoZR349TH+ufIm+Bh8U80smf9b7saGkLFmHyPjrd\nzI5zenpYJHumEr4K8V9wcmhV39Dg0hbkkw30zr4GVXWO46O65T8aGXUILZ7mO/TB\nXH2j+0xufNAg022Li605RtwMl27rXFAvc7d7cKYXIfReSrQzxkzdALe9JK5v6doS\naihU7CCTZJblJRotAlCORWof98usAZC1DlJmjbwc/BTyEVNEkG61CCk7MHsVRf5J\n04hqM3wpw1NVbtMsq7OyJBWlAxIlATYplr0EtSYnpYwLicxEbJGHiQTBJmqBUycJ\nXQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-15 00:00:00.000Z","summary":"

PhD student. Programming languages, computer architecture, and performance analysis/optimization.

","updated":"2025-07-22 19:46:43.684Z","user":"","username":"Zixian Cai"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 09:34:12.742Z","domain":"fosstodon.org","followerCount":81,"followers":"https://fosstodon.org/users/artificialmind/followers","following":"https://fosstodon.org/users/artificialmind/following","followingCount":195,"icon":"https://cdn.fosstodon.org/accounts/avatars/110/807/871/330/436/187/original/54c772dc41d5e581.jpeg","id":"zfr2oh875lq82g2","inbox":"https://fosstodon.org/users/artificialmind/inbox","iri":"https://fosstodon.org/users/artificialmind","isLocal":false,"last_fetched":"2025-07-22 19:46:43.741Z","outbox":"https://fosstodon.org/users/artificialmind/outbox","preferred_username":"artificialmind","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwADBDm+AlMh8VkzIXUg3\nG3hlCAFiI5ULaFeuF8zTOXTmBlMEMrVh9c5vSIw3OTPNFLSt5KQnia1FJWOh5OY3\nLm9RtHqKmkh/7EHRpFfdRBs+R93KrdbQ7LnJcFlDXNnvG9DZNgPHrKDusfz734g5\ngVJuL24xjXP3a8jDMKp8K7rowwKnMUyPmJi1qDEq0HwKApf1AsfUJYnVRAgPqmX5\nrGdLcjYVvhzuc7hWf5hwsRCUUI72JY4mexgBhjdg7Y6uF2VAbhKu2C3mGfItAPiA\nlqS7vT3LHp/j0asElRWO9ezczKghOhhNfOoo9PCvtgFyLatd1CliOBcqRNT6t0RD\nLQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-31 00:00:00.000Z","summary":"

High-performance exact geomety processing, C++ library author, hobbyist programming language architect, obsessive optimizer

","updated":"2025-07-22 19:46:43.742Z","user":"","username":"Philip Trettner"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 19:46:43.837Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/mflatt/followers","following":"https://mastodon.social/users/mflatt/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/792/889/576/228/218/original/87801e979fba3079.png","id":"51x678v02o56a6w","inbox":"https://mastodon.social/users/mflatt/inbox","iri":"https://mastodon.social/users/mflatt","isLocal":false,"last_fetched":"2025-07-22 19:46:43.836Z","outbox":"https://mastodon.social/users/mflatt/outbox","preferred_username":"mflatt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzbL92YBJS8XQR+8v3rJT\ncnBMsQuXU0DVDbXPNIRbhTb0h3VFEG5wXF39XNJOlp2UUblS749GnfkyioNoJcPI\nFvo67f5urKq9fu0216/1DOHB4VwMaYUcPVSQIhRC/LDRy3WCddxmoKZSq17l2aGb\nqXqZbm2PSSpWFwZeFL0z71MA8Sxi5HGOKrxeFl7/JHADmoqK7bN8FjA31p8WCihb\nF8qU4nl/pTP3FDKKuCWiF4FqaMGFslUJ3laS9ktAHQkJVRzPYxUnnCE5oacx2jWC\nZucBGZx6UBMa2FmSfFAyuXqhvD/w0TJ5mpN3mi0zyJCb+NuygGD/YUOfN+L7Ewsc\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-02 00:00:00.000Z","summary":"","updated":"2025-07-22 19:46:43.837Z","user":"","username":"Matthew Flatt"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 19:16:30.422Z","domain":"social.smallworks.eu","followerCount":76,"followers":"https://social.smallworks.eu/users/estebanlm/followers","following":"https://social.smallworks.eu/users/estebanlm/following","followingCount":151,"icon":"https://social.smallworks.eu/media/61/dc/e8/61dce8e38b6beb84e37a3daa0dcbec56877a25f62fceb05612354baad2612d15.jpg","id":"9p3fq0xv7fizti2","inbox":"https://social.smallworks.eu/users/estebanlm/inbox","iri":"https://social.smallworks.eu/users/estebanlm","isLocal":false,"last_fetched":"2025-07-22 19:46:43.925Z","outbox":"https://social.smallworks.eu/users/estebanlm/outbox","preferred_username":"estebanlm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvTmZJkSU3cJh4aPJojwK\nLQZm3rz6R8OIhyHhK7GUf64vAnZ7f83atKYUwy3XMwzkKNlTmJBjL32TG8X8kv22\nhpCnIo6W3yXadg+cJFdd75DzfAiQN/u/3NVpkoeL/vbkOKV0Y1sMgPwYlNoKdCMC\nfbrx6PkMti4zjXOy8XHSDbpExSvuiLFk40reav5KtYMEEbULCSFUnDyIUueUbvP3\nkUNys8EKReWG5+3YlIxZhj3StYBPUfS/6eb9FocSHPwc6oJyuN172bjLl8XeQuAq\ngRdVquslwt0nVmnZ2Ok3o717lw7Uy/bbGfTINxmdOFFnuRhnmMpgMTZI82QxkLxu\nPQIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"2025-02-25 17:12:59.000Z","summary":"Tipo raro, che","updated":"2025-07-22 19:46:43.925Z","user":"","username":"Esteban Lorenzano"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 00:39:41.143Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/MarcusDenker/followers","following":"https://mastodon.social/users/MarcusDenker/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/113/834/217/498/029/098/original/5bb7e2029e96163a.jpg","id":"42e910k10366pm7","inbox":"https://mastodon.social/users/MarcusDenker/inbox","iri":"https://mastodon.social/users/MarcusDenker","isLocal":false,"last_fetched":"2025-07-22 19:46:44.025Z","outbox":"https://mastodon.social/users/MarcusDenker/outbox","preferred_username":"MarcusDenker","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3hr1D76gIEp7eXUxQtam\n/liawzLzScVuhpc/8gkU1KZIubjlVgjiLK2tyGyC6vH09/f2GPEqA4RVi79NJDCG\nryKtjOlNCfjICsRESReluCxIa4EBw71EHIeS2rYj38BIR1HPcC0HFncz87kcGxFW\nocoTDFtw1ieO76s5IUp/yv+qaJHkArXpGTh1ETZArZp3RD9H/bD+rBOHnKktD9vI\nsgGUFnhmeggXOZRsORiAkPjhW516mj+IaV9SonKFYOAySfghftpB4HK4rrUOjdsB\n2T2rN4rgQmv9xWhleXYCqttwh5lUVMYpZ7m+HT+8IFB1x9rFqznxXU9/n5lTV+5O\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-15 00:00:00.000Z","summary":"

I am a researcher at Inria.

","updated":"2025-07-22 19:46:44.026Z","user":"","username":"Marcus Denker"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 03:58:55.097Z","domain":"mastodon.social","followerCount":17527,"followers":"https://mastodon.social/users/openvibe/followers","following":"https://mastodon.social/users/openvibe/following","followingCount":4,"icon":"https://files.mastodon.social/accounts/avatars/111/206/427/829/865/345/original/559243295b8ec4e8.png","id":"mq482e02fl47ikn","inbox":"https://mastodon.social/users/openvibe/inbox","iri":"https://mastodon.social/users/openvibe","isLocal":false,"last_fetched":"2025-07-22 19:46:44.137Z","outbox":"https://mastodon.social/users/openvibe/outbox","preferred_username":"openvibe","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAt5ZvSrjwqy6Gf9dWjvOa\n1gTfm4JDhaOwSeKtPLXvwD/B19hNa3NX63bhq5MWu1KC0BuZoDRmXbFX6eC/Qb0+\nXxFgA4xJp6zM+/1HRb5u1FzWxqi5ek8Ws93HHqXSYAtN1NSRXI74+Z9Ld3hecADh\nEvRCGmlXm6nLUfiXwriWJOBc5C/d8fI+vCEIubsJ5CHh0Hu92yiUS6uoAC0HyANF\nGl0MKKPTcl6jQ2UpQfffEQuMgmASH9utn2nDQTTUs3n0FvJg7R/aEAVNJ57mMA/H\nf0jN4gUaXn1y8u1NBPgspRbDbsLjUxP6BU2ZcL9tRKYpQqk60eXjIfwRvbbWu86K\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-09 00:00:00.000Z","summary":"

The App for Connecting Open Social Web
Mastodon, Bluesky, Nostr, Threads in ONE app, in ONE feed ✨
 Download the app now: https://openvibe.social

","updated":"2025-07-22 19:46:44.137Z","user":"","username":"Openvibe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 19:46:44.360Z","domain":"social.applied-langua.ge","followerCount":0,"followers":"https://social.applied-langua.ge/users/hayley/followers","following":"https://social.applied-langua.ge/users/hayley/following","followingCount":0,"icon":"https://social.applied-langua.ge/media/e93c5a87-dcb6-4700-b953-0c8dd92ca2e8/hayley-holds-synergy-cords-pfp-2.png","id":"cmu57kbjxjl349n","inbox":"https://social.applied-langua.ge/users/hayley/inbox","iri":"https://social.applied-langua.ge/users/hayley","isLocal":false,"last_fetched":"2025-07-22 19:46:44.359Z","outbox":"https://social.applied-langua.ge/users/hayley/outbox","preferred_username":"hayley","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4W/9V8ELbMJVm4wD8SQu\nm2btu38nCE42fBFZKLx4xG5iYh8SUdPquUvoLJVyEu+9zCp2DvSQ6vvo+uJYftoU\nStFlG1LMYrRE9brcfa77K0/UCdtGS/183iW3kNDwwAiQVO/H/pw1kz9LJ3zks8le\nrO9F1FTlKnMgyudbiDxM0pDD9zNS+o/I3LZh6mddnRY42l8Aed3rMMV/R1aSqHWc\nf+sWE3GH6b8WyiBzDhqoe2eQhydMHnW6/EarFLW30NHs23kJqpB54iQhtBaRoQAo\nenh0/aLY89bYuXzh0DMcA2umYjmjbS1SUrIo4Jg2IqF+leWcEBAsJjf+L0b0OtWy\nowIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"","summary":"catgirl representation in programming language design and implementation 🐾ΘΔ","updated":"2025-07-22 19:46:44.360Z","user":"","username":"Hayley "},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 19:46:44.502Z","domain":"mastodon.online","followerCount":0,"followers":"https://mastodon.online/users/grashalm/followers","following":"https://mastodon.online/users/grashalm/following","followingCount":0,"icon":"","id":"2h9vxu47408fa4u","inbox":"https://mastodon.online/users/grashalm/inbox","iri":"https://mastodon.online/users/grashalm","isLocal":false,"last_fetched":"2025-07-22 19:46:44.501Z","outbox":"https://mastodon.online/users/grashalm/outbox","preferred_username":"grashalm","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3T/xDUDFnQCru1IZb7fX\nPzxdwyQue/KUkSrsHXXi8SQ4Nvb5A/R+irMRl8lfYVGKB9ZaI+kMyx5q/hVaARUC\nTC2+amjl/uy3cNP+ybXpuvPbOAGoZqr+FIkYU8kWdTTUlKjGttGwQO3ThyUkiln+\nhTV8FGuHE9RcNMvUSXLEVfK3JbKUwlg3yrGMWc3jOxXKozzfk6bfnl464uV16GPK\nRYPAdPi4mtL4bcg2YOYZ97nm/Cg65tvWX3WpnLhKyc1OUxXjfeXiN/7SIru0kUAs\n/nykdxZL+o3ZucLXsuRHWw5/xJ2jbXkSPo6I0I2qXnXZDSk1bfbg7kFRHipM5xxw\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"","updated":"2025-07-22 19:46:44.502Z","user":"","username":"Christian Humer"}],"page":1,"perPage":10,"totalItems":232,"totalPages":24}

Stefan Marr

Following