Tom Goldoin [email protected]

computer science researcher (at Inria, Toccata team) · working on programming languages and verification · Coq, Iris, OCaml, hitting enemies with a large stick in Dark Souls

Cantonier des nuages, sysadmin, k8s administrator, SRE. Pentaxian 📷 大福が好き. FR/EN/日本語OK. Tweets, rants and regrets are my own.

Je m'intéresse à tout un tas de choses cool et variées : l'informatique en général, la sécurité informatique, les jeux vidéos sur consoles 8 bits et 16 bits, les logiciels libres, l'électronique, l'impression 3D, la jonglerie, les données massives, les anciennes cartes scolaires, les casses têtes (quand ils me passent entre les mains), etc...

Ma date d'arrivée peut laisser penser que je suis un transfuge de Twitter mais non en fait :p.

Diplom-Computerlinguist, Vater, Radler. Aus einem Land, das es nicht mehr gibt.

Tröts vor 06.08.2024: https://suma-ev.social/@christian
Tröts vor 18.01.2024: https://digitalcourage.social/@chpietsch
Tröts vor 06.11.2019: https://chaos.social/@chpietsch

Tagsüber arbeite ich als #Bibliothekswesen und #Wissensarbeiter an der #UniBielefeld, wo ich z.B. an der wissenschaftlichen Suchmaschine @base mitarbeite & das #GitLab der Uni betreibe.

Nachts betreibe ich die #OpenScience-FAQ @askopenscience und die #Fediverse-Server von @digitalcourage, https://fsub.de und https://datenfreu.de.

Aktivismus: @datenfreude, @neuSoM, #DatenAntifa.

Mitgliedschaften: @ADFC #CCC #verdi #SuMa-EV

Suchbar mit tootfinder.ch.

Writing on the internet since the mid-90s as the OG Hipster Bloggeur now running my own servers cos that one time Russia bought LiveJournal and we all panicked

Aime beaucoup la musique, le libre et les gens.

❤

souvent derrière un guidon ou une assiette. ou les 2!

Explorateur de possibles numériques, entre énergies renouvelables et citoyens.

Motto: "Without documentation, it didn't happen."