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 otini.chnik.fr/.

Glad to be here :)

otini boosted

Coronavirus, réflexion sur un service d'auto-signalement 

otini boosted

How to move in the CLI / readline shortcuts. Perfect flashcard format, courtesy of Clément Chastagnol at clementc.github.io/blog/2018/0

otini boosted

Coronavirus, rapport de l'Imperial College (morts, prédictions sinistres) 

re: Coronavirus, réflexion sur un service d'auto-signalement 

Show thread
otini boosted
otini boosted

Bonjour, nous allons effectuer une maintenance sur notre serveur #Jitsi ce soir à partir de 19h. L'interruption ne devrait pas durer plus de 5 minutes, mais risque de couper les conversations en cours.

Si vous avez un besoin essentiel qui nécessite de repousser, nous pouvons attendre jusqu'à demain.

otini boosted

Coronavirus, réflexion sur un service d'auto-signalement 

otini boosted

Article about Covid-19 and social distancing 

otini boosted
otini boosted
otini boosted

In the spirit of bobby drop table, but for bibtex .. anyone named 'and'.

Article about Covid-19 and social distancing 

otini boosted

Calling smartphone equipped teenagers 'digital natives' is a mistake because a smartphone makes you a consumer rather than a native of anything.

If you want a child to become a digital native give them an actual computer instead of a corporate controlled and curated consumer device.

otini boosted

Trouver une citation issue des Dépossédés d'Ursula le Guin, dans un article scientifique sur la sémantique du langage Rust (celui-ci aaronweiss.us/pubs/draft19-oxi), c'est... inattendu.

otini boosted

Bonjour Fédiverse !

L'arrivée récente de nouveaux utilisateurs sur les grosses instances généralistes m'incite à partir de mamot.fr.
La grande question, c'est où aller ?

L'auto hébergement semble une solution accessible dans mon cas. Mais est-ce que la multiplication d'instances mono-utilisateurs est une bonne chose pour le réseau ?

Rejoindre une instance plus petite est une autre solution, mais je dois encore clarifier à quelles règles je souhaite me plier.

Repouets fortement bienvenus !

otini boosted

Funny, when you like what you do, you don't need a timer to do it

Show thread

The Pomodoro method, also known as: Trying to force myself to do boring stuff using a timer

Doing a garbage collection broke my OCaml setup, this package manager is way too complex to be wielded by humans.

Show more
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!