Chris Martens
@chrisamaphone.bsky.social did:plc:a6wmowqezwz2bug6e7ymb4pd
mostly not here, but there: https://hci.social/@chrisamaphone
Sur Bluesky depuis le
- Abonnés
- 179
- Abonnements
- 201
- Posts
- 76
- Jours dans les classements
- 0
Résumé
Chris Martens (@chrisamaphone.bsky.social) est sur Bluesky depuis le 27 janvier 2025. Le compte a 179 abonnés, suit 201 comptes et a publié 76 posts.
Présence dans les classements
Les meilleurs jours où les posts de ce compte sont entrés dans le top quotidien de Debya.
Ce compte n’est encore apparu dans aucun classement quotidien.
Posts aimés récemment
J’aime publics du réseau Bluesky.
Rely-Guarantee Specification of a Concurrent Garbage Collector R C Su We specify a model of the Ben-Ari concurrent garbage collector in the rely-guarantee paradigm, and verify its correctness — without the use of shared auxiliary variables. isa-afp.org/entries/RG_V...
Voir le postEvery day is an adventure when you have anxiety
Voir le posti keep seeing that “the internet was a library and now it’s a store” but really the internet was a military communications channel and now it’s a casino
Voir le posthere comes the sun
Voir le postsocial media app where you have to read the linked thing and correctly answer three questions about it to unlock the ability to reply
Voir le post
Comptes bloqués
Sur Bluesky, les blocages sont publics.
