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 :)

🖥️ Don de matériel informatique 🖥️ 

Mon employeur veut se débarrasser d'écrans un peu vieux (pas d'HDMI ni de DisplayPort) mais en parfait état, si vous connaissez des associations qui pourraient en avoir l'utilité (et idéalement venir les chercher en région parisienne sud), n'hésitez pas à me contacter.

otini boosted
otini boosted
otini boosted

PeerTube: Free software to take back control of your videos
joinpeertube.org/

(submitted by doener)

otini boosted

Tous les éléments effacés par Forget, ils forment un cercle des pouets disparus ? :shibathinking:

otini boosted

Now is most definitely the time to give a few euros to @Framasoft
bits.debian.org/2020/10/debian
joinpeertube.org/roadmap

#Debian just donated $10,000 USD for :peertube:#PeerTube and we have just under $3k left to go for live streaming :blobcheer:

Show thread

I use Thunderbird's interface for calendar management, event and task reminders every day. And frankly, it's quite terrible

otini boosted
otini boosted

coqffi, a tool to generate #Coq to #OCaml bindings, has finally been published at github.com/coq-community/coqff

Excel: Why using Microsoft's tool caused Covid-19 results to be lost

bbc.com/news/technology-544239

otini boosted

I think there is this issue with PhD studies where no one, except the student, can assess the quality of the work. If you have either a low self-esteem or high expectations, things can go spiraling down real quick. The student is the only one deciding on a day-to-day basis when they should stop working or what is to be considered "a good working day". There are no objective, outside metrics that helps to assert that, because almost every research activity is peer-based.

Show thread
otini boosted

Petit stream sur `ocaml-git` avec du Bashung/Rodolphe Burger en musique histoire de faire la revolution étudiante comme un soixantuitard avec #OCaml - twitch.tv/dinoosaure

otini boosted

Appel rapide à quelques témoignages si vous en avez.

Suite à déménagement récent et déménagement de ligne auprès de mon FAI (Free), mon nouveau compte client a fait l'objet d'une publication dans les annuaires publics.

En résulte une pluie de démarchages courrier et téléphone personnalisés de la part de tous les commerces du coin.

D'autres ont-ils vu leur statut de publication annuaire modifié lors d'un déménagement, et des conséquences similaires ?

otini boosted
otini boosted

Peut-on en déduire qu'il faut baisser le salaire des dirigeants pour gagner des parts de marché ? calpaterson.com/mozilla.html

(fr) Loi de programmation pluriannuelle de la recherche 

Elle est passée en première lecture à l'Assemblée. Voici un communiqué des directeurs de laboratoire qui explique pourquoi c'est une mauvaise loi qui approfondit une mauvaise politique : sauvonsluniversite.com/spip.ph

(Le mérite revient à @lesly pour l'avoir déniché)

otini boosted
otini boosted
Show more
Functional Café

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