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

Today, we've unveiled our roadmap to #PeerTube's v3: live streaming, global search, better plugins, playlists and moderation: we will need your help!
▶️ info framablog.org/2020/05/26/our-p
▶️ share and support joinpeertube.org/roadmap

otini boosted
otini boosted

Les #ViolencesPolicieres inquiètent et choquent depuis longtemps.
Déjà pendant les #giletsjaunes, cette vidéo dénonçait cette ultra violence policière et les mensonges du pouvoir qui la niait, un an après rien n'a changé, c'est pire #MoiAussiJaiPeurDevantLaPolice #CameliaJordana

Je savais que COBOL, c'était affreux, mais je savais pas que c'était à ce point. zestedesavoir.com/tutoriels/68

otini boosted

Il y a plein de panneaux ici à Londres qui invitent les gens à respecter la règle des deux mètres. Et oui, le Royaume-Uni utilise officiellement le système métrique. Bon, officiellement seulement : encore beaucoup de gens ne le maîtrisent pas.

Donc on croise beaucoup de panneaux qui traduisent la règle des deux mètres dans le système déprécié. Et là, c’est le drame : ils semblent vouloir mettre une traduction exacte. Il parlent donc de la règle des « 6' 6'' »… comme si ces deux mètres représentaient une grandeur universelle. Sérieux : restez déjà à 1,83 m de moi, ça ira très bien. Les 6 pouces de plus, c’est juste du bonus 😅​

otini boosted

Brilliant project that tidies up public domain ebooks.

Gutenberg and Internet Archive are wonderful resources, but the texts are poorly formatted for actual use, especially on ereaders.

This is a volunteer driven initiative to bring these texts up to date with modern standards and make them look as good as possible on the page.

standardebooks.org/

otini boosted

Déplacer un personnage dans un jeu vidéo, c'est simple comme un Dikjstra ! (Plus simple que de l'épeler en tout cas.) grisebouille.net/making-of-loc

otini boosted

"Why should I use X over Y?" is pretty much always the wrong question to ask. In fact most people asking that it are just interested in making an argument against something rather than finding out possible benefits of a proposed alternative. If you are genuinely interested in something asking "How/Why do YOU use that?" is a far more productive question to ask and it might actually help you gaining a new perspective on things.

otini boosted

Hey 😺

Les derniers mois ont été chargés et forts en émotions, que ce soit avec le confinement ou les bugs sur notre ancien serveur qui nous ont obligé à effectuer un double migration.
Ceci dit, en parallèle, nous avons vu nos dons grimper et nous sommes heureux de voir que nous arrivons enfin à un équilibre financier.

Nous tenons à remercier toutes les personnes qui nous aident financièrement ou en donnant leur avis sur nos services ! Merci beaucoup pour votre soutien.

Plein de ❤️ sur vous !

“Indoor transmission of SARS-CoV-2” contains potentially groundbreaking discoveries, but is apparently not peer-reviewed. Anyone more knowledgeable than me has an opinion on the article?

medrxiv.org/content/10.1101/20

When I created the “To read” tag in Zotero I knew from the start that “To read” papers would only accumulate with time

otini boosted

Getting reports from people in Indonesia that they're unable to access Write.as... Things look fine from where we are, but they're getting this error: DNS_PROBE_FINISHED_NXDOMAIN

Anyone have experience verifying if this is indeed censorship happening, and if so, working around it? Retoots appreciated!

otini boosted

Les goélands abattent leur premier drone !

Devant le Conseil d'État, nous venons de gagner notre référé-liberté contre les #drones de l'état d'urgence sanitaire.

Cette décision historique devrait avoir des conséquences sur l'ensemble des drones policiers.

On revient vers vous rapidement pour détailler la décision et ses conséquences envisageables.

laquadrature.net/donner/

otini boosted
otini boosted
otini boosted

Hey #guixters !

I am facing annoying issue with software installed with #Guix on foreign distro (#Ubuntu 20.04 here)

Does anyone knows how to fix this ? (screenshots of #Emacs and #Meld)

#gnu #font #icon #gnome

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!