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 tout juste commencé une première tentative de culture de Kombucha !

#kombucha #fermentation #tea

Now this is why you take care to correctly pick your number formatting type.
#MardiPatisserie Premier essai d'une brioche marbrée au chocolat !

Currently writing Verilog code for the Tiny Tapeout submission we, @gdd and I, are preparing!

Attached is a screenshot from the cool GDS viewer showing part of the physical structure of our project!

#hardware #design #computer #circuit

J'ai profité du jour férié pour faire quelques pains au lait #vendredipâtisserie