{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-19 03:41:11.232Z","domain":"fosstodon.org","followerCount":31,"followers":"https://fosstodon.org/users/viktorstrate/followers","following":"https://fosstodon.org/users/viktorstrate/following","followingCount":85,"icon":"https://cdn.fosstodon.org/accounts/avatars/115/385/054/817/365/819/original/4d39a430568f91e4.png","id":"met1z6j3bgvt444","inbox":"https://fosstodon.org/users/viktorstrate/inbox","iri":"https://fosstodon.org/users/viktorstrate","isLocal":false,"last_fetched":"2025-11-12 15:04:40.501Z","outbox":"https://fosstodon.org/users/viktorstrate/outbox","preferred_username":"viktorstrate","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9eg8rR6Bz7WTwt1kK+xe\nDCuxtYBgL1SYNRxYYk8NZrYPQY+78dZcWfAEcRyJypXn2gCRzTx5gCWFM1LOD2U1\njV72zQMsRxP927TE/UZNnGDGjkkWitJE3wXgNiZffHp4C4zhZOu4i+fepRhqUmWi\nfpmHN4/WBwkLgwSt+TFgm657Y7jHA3+A7G4LLMUCmGf71Lcbnvf3sO/qFO34aUak\nsdqo/sSAdaNh8EHF2/miYt3eazGmucG6USgTFo3ODQgFMsowqxLu4G4U+L7zR68A\nc2Vy4eG3OOXK3MY0gmlrETFKiPpkXR0ExSX74Ji2yzenxODu/TPEcZtKclIiPNG/\n/wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-16 00:00:00.000Z","summary":"

PhD student in Computer Science researching choreographic programming. I like programming languages, distributed systems / web, and graphics design.

","updated":"2025-11-12 15:04:40.502Z","user":"","username":"Viktor Strate"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 11:44:01.474Z","domain":"mastodon.acm.org","followerCount":48,"followers":"https://mastodon.acm.org/users/jkeiren/followers","following":"https://mastodon.acm.org/users/jkeiren/following","followingCount":190,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/124/341/249/237/506/original/704c84b74a2def51.jpg","id":"k99zekf7l68sj4v","inbox":"https://mastodon.acm.org/users/jkeiren/inbox","iri":"https://mastodon.acm.org/users/jkeiren","isLocal":false,"last_fetched":"2025-11-12 15:04:41.592Z","outbox":"https://mastodon.acm.org/users/jkeiren/outbox","preferred_username":"jkeiren","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0IIdp6NBtdmb0uW0Gb+U\nYDmmuim52GSPc/HfcCUcq5NNSOBFT7IBPNztD3qCLfvTkOLqdzh4kcefpevROLCo\n4VeYG1Z8WRoQ5PTsfIOrhcFHTGwTptTo2EuMJUfBi3wmcyhdmybM8GCkA5IeaLvB\nMDfeYhsy/Sax4moPjHTnQcqea+6Jb3KBp051ytnBb+MQlOOvGqf281tABoR5QASW\n0deGAd3Qccx0V8tV3/Dt4J17R6K+wJkj+ti0fnc17X+gJ5Q1SWDOjx/BdZsLw4py\nfIq+ksWgtQw8kmW/707b5mNjGOaIHPZjWahzOabgkRdUk1M3B7FGpxNw+0Eq8Ue9\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-25 00:00:00.000Z","summary":"

Assistant professor Formal System Analysis at Eindhoven University of Technology, The Netherlands. Into formal methods, in particular model checking, and their application to industry critical systems.

","updated":"2025-11-12 15:04:41.592Z","user":"","username":"Jeroen Keiren"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 13:01:44.356Z","domain":"mathstodon.xyz","followerCount":4177,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":209,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"vkq4eus19030eg1","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-11-12 15:04:42.036Z","outbox":"https://mathstodon.xyz/users/TaliaRinger/outbox","preferred_username":"TaliaRinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtj6yFND0XEEC+RJLhRMK\nApROqVTcQD1upSPlu+rnfNriyKxsRCie7kOzy/tyoaAd1fVrzHzu2hOkvxhzSO0S\nRGg6EtA1h85S68RqLD03b0u/ZpLF5myhGrsVqvPiIVzL190wQQejbvkV2GR+YXyR\njgz1leYw/qq84ggemIO5TbTEB0/R+nvPfvrxooHK/gxbfzxkIGeu+dtmzsQivpl4\n8YMcNoe9pzeL4BRQX1+X2L5kiFoXDUjHwjl13I8qIIUOGnJzy3f3GYLa4xZYlU+t\nZtj+r0nbwzHFHbXu1/X3eADHf8j7GlsHwM65XOOOPN2uFEX6+Dd4js6elJ3zKFWv\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

","updated":"2025-11-12 15:04:42.036Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 13:25:17.544Z","domain":"discuss.systems","followerCount":423,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1409,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"0hg54e5b0wu5d8p","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-11-12 15:04:42.357Z","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-11-12 15:04:42.357Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-08 00:01:45.213Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/akhirsch/followers","following":"https://discuss.systems/users/akhirsch/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/110/850/369/077/375/789/original/f0c646f03cde8cd6.jpg","id":"041fy0696j5x05n","inbox":"https://discuss.systems/users/akhirsch/inbox","iri":"https://discuss.systems/users/akhirsch","isLocal":false,"last_fetched":"2025-11-12 15:04:42.470Z","outbox":"https://discuss.systems/users/akhirsch/outbox","preferred_username":"akhirsch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwl9cMDECfWKBqKJa+f7X\nifYyYc8xk4ASU+cptc+HDp5kHkq7+iPxIov8J18hTBpSQ3iHKR/jVXtVH+T499/v\nXf592vvTw0WlPvXJ5B+timpQzNLXKDvZd49/F/PgmrRM+/hN+BOj7RjDugEzKfSy\nslXJjbyDP2XG6RuqmBL2hyvC61AbENkxXZlEFcHw50bIrT4eAWzOZBfSH3cknoYS\nsM0ZFRYGcQ0y/E9UXFtVH1oXqCUYeXekBgopoiUyjUVmNPQ2QTa+etMoBnVg31MQ\nvM8PUaZRbBhcjC0PbABC82w70Y9IdsSaSqRp+XunLQ99nN56uX0E4KTrNVNyoTGY\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Assistant professor at the University at Buffalo, SUNY. Types, choreographies, security, and categories.

","updated":"2025-11-12 15:04:42.471Z","user":"","username":"Andrew K. Hirsch"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-24 11:29:42.175Z","domain":"mathstodon.xyz","followerCount":868,"followers":"https://mathstodon.xyz/users/csgordon/followers","following":"https://mathstodon.xyz/users/csgordon/following","followingCount":1011,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/850/232/300/280/672/original/5fb29c5bf2874af4.jpg","id":"3r577ddi6he8u37","inbox":"https://mathstodon.xyz/users/csgordon/inbox","iri":"https://mathstodon.xyz/users/csgordon","isLocal":false,"last_fetched":"2025-11-12 15:04:42.505Z","outbox":"https://mathstodon.xyz/users/csgordon/outbox","preferred_username":"csgordon","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxzv621E1Ynfe9+QQ0Emf\nB86uxDl34d/GfsnvDfOQge1b6mIflzH1AHzP8rK83RqBPxzDp32sgHTNrJDlyr+w\ngTxe+fR+EtKSZlvBjokBPcffSyTjNcpNd3C/toYyZylXzh4yP5I19vlURK+0t5Oz\nrRIRG12zcJFpDiv7J22A+IqrLVGT4EiZJzeELBOqpn0QOpUGrdpvdwlnQmYJ4nWO\n69S6f4ObfB93j1jGxHz7tBy1ew56c8TeNmYa5TqB/VZEj4G/iPYQ32lgUpZbNg9v\n0riEpE3/0tb/BruuP4UmR1vmu+uWLHsPD4EmO/RB8mDMrvAqhH1bxdHh+WCQPgch\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

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

","updated":"2025-11-12 15:04:42.505Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 01:52:05.151Z","domain":"masto.ai","followerCount":5556,"followers":"https://masto.ai/users/phoronix/followers","following":"https://masto.ai/users/phoronix/following","followingCount":1,"icon":"https://s3.masto.ai/accounts/avatars/110/724/653/585/970/562/original/4c07f198052e1ee5.jpg","id":"878fnrv48z3314c","inbox":"https://masto.ai/users/phoronix/inbox","iri":"https://masto.ai/users/phoronix","isLocal":false,"last_fetched":"2025-11-12 15:04:42.535Z","outbox":"https://masto.ai/users/phoronix/outbox","preferred_username":"phoronix","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyrnEd+sy7xLngYjJ4DaV\nTlqVujDTJFFi/8nv23tsJVKWuqrneJ31sXJbxRapj0C+06E5dsBTsIansKb5SvLz\nVg34P21YkYgMAz7as5wa1/RA8w5YZZY0indhp3Co0H7tlOw8DqPLaAfySbxaxLn2\nnV1LFYRkCLTOG6L2G32yf+IJSfoK3Fu2QqP+8nOT42kbHc6Jf2W57/gQ1y02PGHi\nZNO5l+WCQUxFOK4FOd5Ko44BitNMKp2uaS08zpw4xD2aNxuSbKAIr3JVf5WOwSp/\n3iHQNcXsXf24O/1x3ia8ev63qnAww12NR4Zug7R3nltf5epGeNO64ifGXQRpxVuv\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-16 00:00:00.000Z","summary":"

Unofficial feed based on the RSS feed of phoronix.com

Founded by Michael Larabel in 2004, Phoronix is the largest #opensource news, #Linux hardware reviews & performance #benchmark site.

","updated":"2025-11-12 15:04:42.535Z","user":"","username":"Phoronix"}],"page":1,"perPage":10,"totalItems":182,"totalPages":19}

Fabrizio Montesi ⬣ A➔B

Following