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

Docteure, —en SIC pas en régulation des télécoms. Écrit pour l'intérêt général. Turbo-Arcepienne 🚄.

Compte personnel.

Je n'accepte pas en follow les gens que je ne peux pas identifier clairement : venez vous présenter en DM, en général ça débloque les choses.

Hi there! I’m a seasoned #blogger with over two decades of experience. I started blogging on LiveJournal back in 2000, sharing my thoughts and experiences with the world. Over the years, I’ve honed my writing skills and built a dedicated following. In 2020, I took the leap and started #hosting my content on my own #server. Now, I have full control over my #blog and the freedom to express myself in my own unique way. Join me on my blogging journey as I continue to share my #thoughts, ideas, and experiences with the world. #fedi22

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.

Penser à écrire quelque chose ici
Remember to write something here
Se remembrar d'escriure quicòm aquí

Image de profil : David B. – L'ascension du haut mal, tome 1

Parce que partager est bon <3
Développeur du Libre. Écrivain de logiciels libres.
Dirigeant de Devinsy.
#jenesuispasunbourreau

Geek libriste barbu (des fois). Brasse des trucs chez Grenode, Illyse et Hadoly.