40 Followers
330 Following
138 Posts

CS Student @ ENS Paris
Formal methods, systems and security enthusiast
Interested in #sustainable and #inclusive #design, #lowtech | NixOS user

I may talk about various #computerscience related topics as well as #diy stuff. Occasionally, I share some #showerthoughts

Recently got into hacking stage lighting to light up my place in beautiful colors

orcidhttps://orcid.org/0000-0003-2738-0974
PronounsHe/Him
Githubgithub.com/cs-t1

J'ai mis un pote à la B12 ce matin, donc hop hop, petit rappel 😁

DÚs qu'on baisse la viande, donc dÚs qu'on a une pratique "flexitarienne", c'est utile de se complémenter.
Les végétariens tout autant que les végans n'ont pas un apport en B12 suffisant.

Quel dosage :
https://vegeclic.com/professionnel-de-sante/recommandations/population-generale/
Quoi prendre (France surtout) :
https://vegeclic.com/patient/guides-dachat/complements-alimentaires/

Ne pas attendre les symptĂŽmes de carence qui peuvent ĂȘtre irrĂ©versibles

#B12 #vegan #végé #santé #écologie #JeSuisRelou

Population générale

Pour ĂȘtre adĂ©quats sur le plan nutritionnel, les rĂ©gimes vĂ©gĂ©ta*iens doivent ĂȘtre bien menĂ©s et suivre des rĂšgles simples : VĂ©gĂ©tarien : ne consomme pas de viande ni de poisson. VĂ©gĂ©talien (ou vegan)


Végéclic
De toute façon la mort de Le Pen c'est devenu une fĂȘte commerciale
LES DIFFERENTS TYPES DE REPOS
En psychologie de la santĂ©, on distingue 2 formes, 3 modes & 7 types de repos. Il est bon de les connaitre qd on cherche Ă  mieux comprendre fatigue, manque d'envie ou procrastination mais aussi pour pratiquer le pacing qd on a une maladie chronique—
Intel's Pentium processor (1993) can compute sines, logarithms, and other special functions. To do this, it has a ROM with 304 floating-point constants. I reverse-engineered this ROM and extracted the constants. You can see pi in the ROM, binary 11.001001..., encoded in the transistor pattern. 1/n

Happy New Year 2025! Wishing you a year of creativity, inspiration, and full of hidden treasures.

#ArtWithOpensource #krita

I was forwarded this screenshot and it just is living rent free in my head right now.

@MonniauxD C'est l'une des choses expliquées dans cet article, et également qu'il se met en scÚne parfois comme le "sachant" (comme dans son spectacle sur Bach). Dans Kaamelot, c'est souvent par opposition aux intellectuels et aux lettrés, qui sont vus comme déconnectés.

https://journals.openedition.org/questionsdecommunication/36822

« La mĂ©diĂ©valiste woke qui n’a rien compris Ă  ce que fait Astier Â».

Le 11 aoĂ»t 2021, quelques semaines aprĂšs la sortie du film Kaamelott : premier volet, Justine Breton, maĂźtresse de confĂ©rences en littĂ©rature française, donne une interview au site Konbini (OlitĂ©, ...

Devinez qui s’est prĂ©cipitĂ© pour fĂ©liciter Elon Musk de sa nomination comme ministre de la dĂ©rĂ©gulation dans l’Administration Trump? Kasbarian bien sĂ»r, le moustachu reac de Macron se dit « impatient Â» de connaĂźtre « les bonnes pratiques Â» de Musk pour « s’attaquer Ă  la bureaucratie Â» et « repenser l’organisation de la Fonction publique pour plus d’efficacitĂ© Â». C’est plus qu’un message de fĂ©licitations, c’est un programme.

#Trump #ElonMusk #Kasbarian #Barnier #Gouvernement #FonctionPublique

J'ai acheté ce livre "Gaming, Sociologie du jeu vidéo" de Dubrulle et Lanoë-Daniel. Je vais essayer de faire une sorte de #LT au fur et à mesure de mes lectures, avec les passages que je trouve les plus intéressants.
C'est parti —
If you have any need to interrogate / explore USB devices, this CLI tool is *amazing*. Using it on both macOS and Linux here. Super impressive compared to lsusb etc (and compatible with the same output format if needed) https://github.com/tuna-f1sh/cyme
GitHub - tuna-f1sh/cyme: List system USB buses and devices. A modern cross-platform lsusb that attempts to maintain compatibility with, but also add new features

List system USB buses and devices. A modern cross-platform lsusb that attempts to maintain compatibility with, but also add new features - tuna-f1sh/cyme

GitHub