Pinned toot

Hi everyone! I'm new here so, time for an ?

I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )

Today I program a lot in , because French research teams use it a lot, but I also use and I like dependently-typed languages like .

For some work I have done on the OCaml compiler you can check out

Glad to be here :)

Interesting and useful use of formal methods: formal study of the French tax code's implementation

It's an upcoming seminar at Inria Paris. Details:

otini boosted

Vous êtes une ou un agent de l’état français ?

L’automatisation, l’orchestration et les logiciels libres vous intéressent ?

Vous serez bienvenue dans le salon #SaltStack sur #Tchap.

À bientôt.

#matrix #riot

otini boosted
otini boosted
otini boosted

Mobilizon : on lève le voile sur la bêta -

> Mobilizon sera une alternative aux événements et groupes Facebook. Suite au succès de son financement participatif, il est temps de vous donner un avant-goût de ce logiciel et de faire le point sur l’avancement du projet.

Woot !

<3 @mobilizon @Framasoft <3


otini boosted

Seeing a presentation of Patrick Cousot is an experience you have to live once in a lifetime !

otini boosted

Riposte à Nunez qui aimerait cacher ces violences policières qu'on ne saurait voir

À dire vrai, monsieur le Secrétaire d’Etat, ce qui se joue dans votre déclaration badine n’a rien d’anodin. C’est bien la riposte médiatique, sociale et sociologique, artistique et philosophique, qui vous gêne. Que les atteintes à la liberté d’informer s’accumulent n’y changera rien. Il y a bien, désormais, un regard public sur la force publique. Et il est de moins en moins minoritaire.

otini boosted

#Medium now fully completed their paywalling efforts. The public page's now completely inaccessible without logging in.

Unsuspecting visitors to Medium's #articles now can't #read them unless they lock themselves into the platform.

The ability to search for new #content written by independent creators? Gone! The goal's to usurp content created by others free of charge to make you pay the centralized platform to access it.

#Plume exists to combat this, using the power of the #fediverse.

otini boosted

Twitter admits email address and phone number given for security purposes was used for targeted ads

As a computer scientist with some self-respect, I just spent 30 minutes to do download 15 files with wget , where I could have spent 3 minutes by clicking on each of them.

otini boosted

Yes, this is what I spend my Sundays on and yes, I like it

Finally, proper integrals (SILE vs LuaLaTeX output). I had to write in C to get this 😭

Even though someone else (thanks to them) wrote the code to parse the OpenType MATH table, simply crawling through the sub-tables is already exhausting.

otini boosted

mastodon, academic conferences 

To architecture experts: if you have any idea why a compiler would produce these two ARM 32-bit instructions:

sub r3, r3, #-1073741823
add r3, r2, r3, lsl #2

instead of these, which I believe are semantically equivalent:

sub r3, r3, #-1
add r3, r2, r3, lsl #2

I would be interested to know.

otini boosted

#OCaml invocations that I wasn’t aware were possible. 

otini boosted

actually "shower" is the infinitive, im going to showe

otini boosted

Vous voulez apprendre à coder ? Venez au Zeste de Code fabriquer vous-même votre premier jeu vidéo !
🐍👩‍💻 #initiation #programmation

L'#atelier est gratuit et se passe le mercredi 16 octobre à Sorbonne Université

otini boosted
Show more
Functional Café is an instance for people interested in functional programming and languages.