otini @otini@functional.cafe
- languages
- EN, sometimes FR
- pronouns
- he (EN) • il (FR)
- website
- https://otini.chnik.fr
- Matrix
- otini:tedomum.net
PhD student in computer science, trying to prove that some programs do not have some bugs. I also like tea, type systems and logic.
Joined Dec 2017
Pinned toot
Hi everyone! I'm new here so, time for an #introduction?
I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )
• #CategoryTheory
• #Nix
• #metaprogramming
Today I program a lot in #OCaml, because French research teams use it a lot, but I also use #Haskell and I like dependently-typed languages like #Agda.
For some work I have done on the OCaml compiler you can check out http://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
https://joinpeertube.org/
(submitted by doener)
otini
boosted
Tous les éléments effacés par Forget, ils forment un cercle des pouets disparus ? 
otini
boosted
Now is most definitely the time to give a few euros to @Framasoft
https://bits.debian.org/2020/10/debian-donation-peertube.html
https://joinpeertube.org/roadmap
#Debian just donated $10,000 USD for 
#PeerTube and we have just under $3k left to go for live streaming 
I use Thunderbird's interface for calendar management, event and task reminders every day. And frankly, it's quite terrible
otini
boosted
coqffi, a tool to generate #Coq to #OCaml bindings, has finally been published at https://github.com/coq-community/coqffi
Excel: Why using Microsoft's tool caused Covid-19 results to be lost
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.
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 - https://www.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
lulu 
oof
(source ce tweet https://twitter.com/pewresearch/status/1310951725088546823)
otini
boosted
Peut-on en déduire qu'il faut baisser le salaire des dirigeants pour gagner des parts de marché ? http://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 : http://www.sauvonsluniversite.com/spip.php?article8788
(Le mérite revient à @lesly pour l'avoir déniché)
otini
boosted
otini
boosted
#hakyll is pretty nice as a static site generator. #haskell https://jaspervdj.be/hakyll/
- languages
- EN, sometimes FR
- pronouns
- he (EN) • il (FR)
- website
- https://otini.chnik.fr
- Matrix
- otini:tedomum.net
PhD student in computer science, trying to prove that some programs do not have some bugs. I also like tea, type systems and logic.
Joined Dec 2017
otini's choices:
