{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:22:08.478Z","domain":"mathstodon.xyz","followerCount":676,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":735,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"he5yknq988zfstw","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-08-24 11:37:09.462Z","outbox":"https://mathstodon.xyz/users/joey/outbox","preferred_username":"joey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuuyXP12Q1eND/tAmB3sh\nmUM/G/Wa6Gfm7F+0OZCgK7abAUpk/PiAw8dsj7wBJ5NoHYJsh5MCUEEu6OPeVj89\n5P9bldhXOojmU+oCzlA6i8aAgJF9f+LSCJHIwEJhJLL0Hi0bCfoZb+++zTj12Qbe\nipRiZXeFC+WcTHPx/3aET+octDlHTxerh6cPyrUnRbPG+DnqflivQcSHrVAHW3rC\nl09LDWvf9soeYPNZl3j1CeefYY+XIlPQD+6mzBmdexr71MmXMq6/5vFNLrAbJR58\nqO+/rt3kAqxpgz9hMTEiFB571qtp8tGlQ3XAa4rdsA7dCG1NYu/vmJsODA0FqWw0\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-22 00:00:00.000Z","summary":"

PL Researcher. Assistant Professor at the University of Regina. 🇨🇦

Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/

Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

","updated":"2025-08-24 11:37:09.462Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 16:44:18.086Z","domain":"fosstodon.org","followerCount":429,"followers":"https://fosstodon.org/users/llvmweekly/followers","following":"https://fosstodon.org/users/llvmweekly/following","followingCount":1,"icon":"https://cdn.fosstodon.org/accounts/avatars/110/110/967/892/555/304/original/aeb2b63a93fa9ae6.png","id":"ktj522nm3y33pf4","inbox":"https://fosstodon.org/users/llvmweekly/inbox","iri":"https://fosstodon.org/users/llvmweekly","isLocal":false,"last_fetched":"2025-08-24 09:39:59.970Z","outbox":"https://fosstodon.org/users/llvmweekly/outbox","preferred_username":"llvmweekly","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv0LFI3XJKv5wcEYYxtbz\nMDKPZOuPGj4ECrd50Stdc97Lo7K9z5+v3HL57W3qskLIUaBpw6pRl7dVMWzyXq/n\nas/ATeN5nd27tdsfIOw0Od3S4mrZfP7K2z1vILRpwc159SVPHQJdmByfp6svbBPt\nSOrI1UJfxfSHZmpc1jI9hBr5yByjKmgiZ7dEi/qsoWWthawZMMUF5tu4sMATxYUf\nJ4PAfJPzJd47yMGqpXH/OzRNjAlgNEMqUYuUuP/ySRv63BU5k4OoM2aM9wj+ACAy\n2FZGamS42Cr8+4bJkRomCidTrh1hsp3Q6gpqOrLWSiW2EyWXzA98XGpvmQEk1w36\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-30 00:00:00.000Z","summary":"

A weekly email newsletter on developments in LLVM, Clang and related projects. Curated by @asb

","updated":"2025-08-24 09:39:59.970Z","user":"","username":"LLVM Weekly"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 08:11:22.402Z","domain":"discuss.systems","followerCount":51,"followers":"https://discuss.systems/users/DesnoyersMa/followers","following":"https://discuss.systems/users/DesnoyersMa/following","followingCount":33,"icon":"https://fd.discuss.systems/accounts/avatars/109/399/660/114/038/162/original/f371348f7f97900b.png","id":"0vz14768z7dtt2b","inbox":"https://discuss.systems/users/DesnoyersMa/inbox","iri":"https://discuss.systems/users/DesnoyersMa","isLocal":false,"last_fetched":"2025-08-24 11:37:10.089Z","outbox":"https://discuss.systems/users/DesnoyersMa/outbox","preferred_username":"DesnoyersMa","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5R2U+D2nD4lof16aa/ML\nwfYDs/VOL4RIytGyGJ79mK5xEbDKIfaLE2mwn7/J7AP937BN4YT0ftvVbKPbsQP8\naqq1DPvZmHjE1ycZ+beM3o2Y9iC3O8EZOSBI1/eNO+E0s1KluRiXuQL/9m9g1Vj/\nwcihuWo5ohWz9tmCZHVo6QQzUb3im8c0FcmGtg5UZvF0e195U2t76IUiPwuDx9JZ\npZPJucBtW8U8r/pM3R6wPU4yFI7OkFwvEWBh71dkP555DWedHB9aye3jYkWvcq+z\nmFyLYynRaiihaXpR8tbd7RFzhvtYKyX4AyKP9Acqy4vchFn4NtXlZxoDzHUTxlD/\n9wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-24 00:00:00.000Z","summary":"

I am mostly interested in scalability and real-time behavior of the Linux kernel. A kernel tracer is a key aspect that must be added to Linux in order to improve these aspects. The path towards this involves contribution of new pieces of core infrastructure in the kernel itself so it can support a low-overhead, low-disturbance tracer.

","updated":"2025-08-24 11:37:10.090Z","user":"","username":"Mathieu Desnoyers"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 14:27:08.163Z","domain":"fosstodon.org","followerCount":1119,"followers":"https://fosstodon.org/users/gnutools/followers","following":"https://fosstodon.org/users/gnutools/following","followingCount":36,"icon":"https://cdn.fosstodon.org/accounts/avatars/109/371/151/926/459/459/original/e45e26094a0377c5.png","id":"x3vgh0t1sba2o7a","inbox":"https://fosstodon.org/users/gnutools/inbox","iri":"https://fosstodon.org/users/gnutools","isLocal":false,"last_fetched":"2025-08-24 11:37:10.143Z","outbox":"https://fosstodon.org/users/gnutools/outbox","preferred_username":"gnutools","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2BQF1ndULkrzdF3UZIdF\nUo8NwNQLeQ+9bJX7OfbM3etitnNlD/XUBnbejs7tkMLXgrRulB6ooH3XsSph4BKR\n4Ry2o76dmzn8oqevlVH72ZcZf7/lC5oZ42W7DoAiSd3LkYwFjp11a9V9/ECKBXoZ\njq5qmunptkm6en+WddszmNTkVS2wU7YoMHZ1xoA3+q5f6XTsr30f1tUOeBQw43r5\nopzvIR43bfs3p1jLdmXT32oPDn3ExJja3MVD5VwIfMTcSYXxFgeDarT3aIKL6ODI\nS54UzM1t1gRK/6lXuNLb2ncctsrrbEqEeRMxWpN24uQBZK08deNRPO0G3gvgCDQu\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-19 00:00:00.000Z","summary":"

GCC, Binutils, GDB, GLIBC. Continually Improving.

","updated":"2025-08-24 11:37:10.143Z","user":"","username":"GCC - GNU Toolchain"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 14:06:39.962Z","domain":"infosec.exchange","followerCount":2393,"followers":"https://infosec.exchange/users/jann/followers","following":"https://infosec.exchange/users/jann/following","followingCount":140,"icon":"","id":"ip6a8s949d199s1","inbox":"https://infosec.exchange/users/jann/inbox","iri":"https://infosec.exchange/users/jann","isLocal":false,"last_fetched":"2025-08-24 10:01:00.374Z","outbox":"https://infosec.exchange/users/jann/outbox","preferred_username":"jann","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsBjK+gGPobn2TrgGx66D\n22W5TGwDj914+YMKqoRxLXkRlHNs93iedq+SA6rRnv8q8ZiLSCIEjmn9l1mbQX4Q\nEsmZjhr4VWZFpFKYkNkK4yoSkooz/NEyolvZDxVgxUfxc12GkYpWRkAZb8i3Y5NM\nYfBF174BtWF1CT6HrHzFv1JGURx7WcW4RzjQB7AVEw60wKB2A8Rk8WWWf0fw+s0X\n/wOcqTbYGu8U6rSqm9LD23oLC7EtaryFjClzaanz3mzFYduUcwsdEz2echbnL9Dc\n75Jh8pI1W9S2mgebHmkBd8IAaWVpzJQ2VjDiIsbTkylcy78UnR8T9UHh4J7dMjaO\nnwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-18 00:00:00.000Z","summary":"

human borrow checker (but logic bugs are best bugs).
works at Google Project Zero.

The density of logic bugs (compared to memory corruption bugs) goes down as the privilege differential between attacker context and target context goes up.

","updated":"2025-08-24 10:01:00.375Z","user":"","username":"Jann Horn"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-29 08:11:23.267Z","domain":"snippet.dappur.tech","followerCount":2,"followers":"https://snippet.dappur.tech/users/robertking/followers","following":"https://snippet.dappur.tech/users/robertking/following","followingCount":2,"icon":"https://snippet.dappur.tech/system/accounts/avatars/114/567/562/103/798/713/original/7ad10a030ab5b228.jpg","id":"os7vvs5prt1f5yi","inbox":"https://snippet.dappur.tech/users/robertking/inbox","iri":"https://snippet.dappur.tech/users/robertking","isLocal":false,"last_fetched":"2025-08-05 19:06:00.829Z","outbox":"https://snippet.dappur.tech/users/robertking/outbox","preferred_username":"robertking","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn2u3yJlhVoxx317A2E2u\nmJC1mzi+cwyWFR9H6qZEmDNu0gQMbahTxieQAUdeNH3B6LubdTIg532kU3CG+uqF\n7rS+jZJH8thcGgz6/CRUY3JfXr6Fv5hNhCEg0ZgLgHyHpUadgiUK+I4iZQ+RZO+c\n2mZyB2BJLqvETBGH/pwO35MYqU3nMJ3F64qME4qLYq11qTgeHuik8EGDGAeTI/VX\n7FWGztEqy23xorP+/UK4BHKqd2VqRaCmlatcjUqgmZ2EnK04/kvrvgCp9fnrbC6q\nfoNEjciNkHHlpHT7WaxgtwpXrC5BPUk3xXQYHQVvM5zD7JwhiMzRfhBZQtt1B2J5\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-05-25 00:00:00.000Z","summary":"","updated":"2025-08-05 19:06:00.831Z","user":"","username":"robertking"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 17:45:28.045Z","domain":"discuss.systems","followerCount":30,"followers":"https://discuss.systems/users/weirdsmiley/followers","following":"https://discuss.systems/users/weirdsmiley/following","followingCount":203,"icon":"https://fd.discuss.systems/accounts/avatars/109/375/198/521/219/478/original/d92ce1d162abd8d1.png","id":"h55584v78x43u0b","inbox":"https://discuss.systems/users/weirdsmiley/inbox","iri":"https://discuss.systems/users/weirdsmiley","isLocal":false,"last_fetched":"2025-08-24 11:37:10.394Z","outbox":"https://discuss.systems/users/weirdsmiley/outbox","preferred_username":"weirdsmiley","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsQbGapfxvjwAtgZ1Zw2B\nloY+ONEMoK84f452WcmdfnOTEdQFwFCBl5GZYBEQby0rzgOBajcj0g+5LWpQiTLw\nfSCzRe8BpRVRxzY9BBC0hbAUA2LtFKtPqnJQKtJ+m/iL35dTpcDVuBAKecLYlDL4\nL2/aEKhYiyD54PEyZytU5HamN1O0QrY749U+iAovmKulLOC89/1LC4jUZBJWwnI5\nxwJW+q1slH9ExELmD1pUDLtghMk7QmpuZoFTikQTYDHcy0Qcc23U+xtC9TLwInfM\n5Mk6dKgSq+XNvM1YVkoga1J2APrOOP+E69f8UpkTGZfSOL97+b3fX/nCjQMxrcqr\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Compilers, PLD, OSDev, QC

","updated":"2025-08-24 11:37:10.394Z","user":"","username":"Manas is a bird"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 12:24:56.084Z","domain":"ublog.thirdlaw.net","followerCount":190,"followers":"https://ublog.thirdlaw.net/users/sree/followers","following":"https://ublog.thirdlaw.net/users/sree/following","followingCount":282,"icon":"https://ublog.thirdlaw.net/media/bfebeed1d8c564dff3fb21a87baeb256c776c08f91ec1e84c899133c334204cd.jpg","id":"0w46t81157krc2g","inbox":"https://ublog.thirdlaw.net/users/sree/inbox","iri":"https://ublog.thirdlaw.net/users/sree","isLocal":false,"last_fetched":"2025-08-24 11:30:10.590Z","outbox":"https://ublog.thirdlaw.net/users/sree/outbox","preferred_username":"sree","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxUftbpkD1Cdu6v+VP8vh\n4yJnKtq7CVAnoRMVRVl2Rcu7FfcVeX5tcszmSUNNKUmDtFmBGrhMTfjDyujuCKiQ\nSk9TVlbg12XB+m14hW60UlQcKJVZiSqXKTGtc4g4qeXWj2YcRQ68JcS+ZbadqNzy\nWWbX8OrM49jGudt7GsChluSdHWgkQuh6iaH0H19ECsBQqw1xAAvOYbkorkROHVeD\nzX+p02QgIEk6AweFq8icsWXYdG7pgzyEMCYcFvhnHzQRJHzjbNI9PoqVBGQPALd7\nBvzmEO8uikFMT7GAewoXByYaabtJZ5Zf/ygdlsiVKHIOdqLuTSWiCSFtdaDeNWdZ\ntwIDAQAB\n-----END PUBLIC KEY-----\n\n","published":"2022-11-20 20:43:22.000Z","summary":"Academic (Computer Science@Rochester). Randonneur. (RFC1983) Hacker.
I like writing code that writes fast, parallel code, mostly for GPUs.
Amateur Photographer.

"Greetings and friendly wishes to all who may encounter this voyager." - from the Golden Record

Was @SreepathiPai on Twitter.","updated":"2025-08-24 11:30:10.590Z","user":"","username":"sree"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 09:23:06.692Z","domain":"mastodon.social","followerCount":655,"followers":"https://mastodon.social/users/mattpd/followers","following":"https://mastodon.social/users/mattpd/following","followingCount":658,"icon":"https://files.mastodon.social/accounts/avatars/000/110/343/original/7b66a4fbaa2f2594.png","id":"n84234rs605cm7o","inbox":"https://mastodon.social/users/mattpd/inbox","iri":"https://mastodon.social/users/mattpd","isLocal":false,"last_fetched":"2025-08-24 11:37:11.035Z","outbox":"https://mastodon.social/users/mattpd/outbox","preferred_username":"mattpd","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqNqGBwAvFZGaYixSH1rl\nYURjSdv2ilUR/fShtZkTrECfcTchT6vJMQe6TUWc6yRcBaHOjVURT3v3u7r2NWFl\nraoK20IWrPq3Yz5lnWIswloG3FNEviYKv9Zn8FKqT3vu0VftrZj8Kk3iFwSN+EFK\nuNdDgUvylHCECg+RseGM+YbwPe9CluOhoWWkZK4Sb3sBYepgYzDF/KVHMrnANyit\n2JRbNJc1QUrX6kdN3+UKgp/+V8+pUqqahYTQKDdEHave0RmYiYcKm5HnrVfqGRSZ\nCjyIBeeEUVatdcR240zVvWbkIKSKqeJLJUpzKk9uUufExPUiVJq9hNnG5+00A7b1\nTwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-20 00:00:00.000Z","summary":"

https://github.com/MattPD
https://twitter.com/matt_dz

","updated":"2025-08-24 11:37:11.035Z","user":"","username":"mattpd"}],"page":1,"perPage":10,"totalItems":80,"totalPages":8}

Ian Rogers

Following