{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-23 01:01:34.509Z","domain":"mastodon.social","followerCount":68,"followers":"https://mastodon.social/users/infox/followers","following":"https://mastodon.social/users/infox/following","followingCount":45,"icon":"https://files.mastodon.social/accounts/avatars/110/352/462/642/063/295/original/cd2a2cd2fb81fe19.jpeg","id":"my9ze41s65nl6e2","inbox":"https://mastodon.social/users/infox/inbox","iri":"https://mastodon.social/users/infox","isLocal":false,"last_fetched":"2025-12-18 03:57:08.926Z","outbox":"https://mastodon.social/users/infox/outbox","preferred_username":"infox","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAylva7cvNjT2kVlPs4Ft0\na63bulJW+/2AC4b/VT/xO4Ws9s/yfH5zk1zmqW8kBEIMsSqYNxo9XZjBWhGZgjRR\nOzAFBtkv3tqKg/XZso+FVcXugIwk9wTs9C3uu7MQc5Lqc4BmRvXSEKweNE/yXQyQ\nFqc18vQNGNWlhdm02vr2cO/KVyr8yqvSwl6ygyA6Ike/eOaYIvzbWOa2H1admr2x\n84+e0qUVz/0sz2bBRGdN3pxTN4Ox0KIMF3hqh9pp0SxSR3vqVaZXuexbF8npADPN\nEmreFtaXQsY+5eK4on3KELkooIsNd9rl6xGYXvOJbFHoFuCeUjx7o55LCsAV6ZHk\nLwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-11 00:00:00.000Z","summary":"

Also known as Pascal Costanza. Senior software and HPC research engineer. PhD in computer science. Very interested in programming languages (C, C++, Common Lisp, Go, Java, Julia, Python, Rust, and others). Parallel computing, metaprogramming, bioinformatics, sparse compute, team leader. Open to work. Located in Belgium, but also very comfortable with remote work. Mastodon handle:
@infox. Some more information at https://www.p-cos.net.

","updated":"2025-12-18 03:57:08.926Z","user":"","username":"infox"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 07:33:38.456Z","domain":"mastodon.gamedev.place","followerCount":3983,"followers":"https://mastodon.gamedev.place/users/rygorous/followers","following":"https://mastodon.gamedev.place/users/rygorous/following","followingCount":71,"icon":"https://cdn.masto.host/mastodongamedevplace/accounts/avatars/109/309/879/988/484/994/original/c2900261af9954d5.jpeg","id":"7o33o4zpv01cm3f","inbox":"https://mastodon.gamedev.place/users/rygorous/inbox","iri":"https://mastodon.gamedev.place/users/rygorous","isLocal":false,"last_fetched":"2025-12-18 04:02:50.994Z","outbox":"https://mastodon.gamedev.place/users/rygorous/outbox","preferred_username":"rygorous","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3pucYB/gzRFRnErlwUHt\n7lAd744Jals03UtYN6axnu3X+Xx1bOGiUp+B7v295w0iP78e6znraQ6RWKizhwNI\nvr1M59aHu7YZnZenQ9KHfZk+UdVTHOUCfmfnZPV4dmbEadjVSCegI/E7B8VuYhZa\nBdFS97bZq8GGMk48kAk3S4wE1mfM1M/jrz3UdzPg/4iBwva5QZZ4WWDGcS1WlWrW\nfpyLyjFlN/N0HZIe6mC6ovVrAsMJpQawb8AKP6iQubrOoqMP4bvcB4PUYAPfED0Q\nnJ98QmSPjL05Y694d5U2jw3qBTycApO140A+Rn5/2S3eL2ztLcJZdTslqFOwcKu9\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-08 00:00:00.000Z","summary":"

Abstraction maker, abstraction breaker. FUN FACT: things I prefix with FUN FACT are sometimes fun and sometimes factual, but very rarely both.

","updated":"2025-12-18 04:02:50.994Z","user":"","username":"Fabian Giesen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-28 10:18:26.894Z","domain":"mas.to","followerCount":132,"followers":"https://mas.to/users/codefrau/followers","following":"https://mas.to/users/codefrau/following","followingCount":7,"icon":"https://media.mas.to/accounts/avatars/109/357/201/395/824/077/original/f9601e52191b780d.jpeg","id":"a65r6060iy2cf6i","inbox":"https://mas.to/users/codefrau/inbox","iri":"https://mas.to/users/codefrau","isLocal":false,"last_fetched":"2025-12-18 04:02:51.390Z","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-12-18 04:02:51.390Z","user":"","username":"Vanessa Freudenberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-01 18:50:57.568Z","domain":"discuss.systems","followerCount":440,"followers":"https://discuss.systems/users/csgordon/followers","following":"https://discuss.systems/users/csgordon/following","followingCount":1425,"icon":"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg","id":"36n0z55vj4115pf","inbox":"https://discuss.systems/users/csgordon/inbox","iri":"https://discuss.systems/users/csgordon","isLocal":false,"last_fetched":"2025-12-18 04:02:52.274Z","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-12-18 04:02:52.274Z","user":"","username":"Colin Gordon"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-18 04:02:52.515Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/caizixian/followers","following":"https://mastodon.social/users/caizixian/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/109/515/762/845/234/847/original/a67ab7cd52e72e68.png","id":"i36q9365cj4bjzd","inbox":"https://mastodon.social/users/caizixian/inbox","iri":"https://mastodon.social/users/caizixian","isLocal":false,"last_fetched":"2025-12-18 04:02:52.515Z","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-12-18 04:02:52.515Z","user":"","username":"Zixian Cai"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 03:36:26.296Z","domain":"fosstodon.org","followerCount":94,"followers":"https://fosstodon.org/users/artificialmind/followers","following":"https://fosstodon.org/users/artificialmind/following","followingCount":207,"icon":"https://cdn.fosstodon.org/accounts/avatars/110/807/871/330/436/187/original/54c772dc41d5e581.jpeg","id":"751479uatrrdv4e","inbox":"https://fosstodon.org/users/artificialmind/inbox","iri":"https://fosstodon.org/users/artificialmind","isLocal":false,"last_fetched":"2025-12-18 04:02:52.600Z","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":"

Creator of https://solidean.com. High-performance exact geomety processing, C++ library author, enthusiast programming language architect, obsessive optimizer

","updated":"2025-12-18 04:02:52.600Z","user":"","username":"Philip Trettner"}],"page":1,"perPage":10,"totalItems":252,"totalPages":26}

Stefan Marr

Following