Pinned toot
otini

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

0
otini boosted
Karl Voit :emacs: :orgmode:

I just published a #LaTeX #CV #template for bi-ingual CVs:
github.com/novoid/LaTeX-CV-tem
#TeX #Lebenslauf #Vorlage #pdflatex

0
otini boosted
funkwhale / blog

Funkwhale is looking for new maintainers blog.funkwhale.audio/~/Announc

1+
otini

is amazingly well designed tbh

0
otini

France is not the free-speech champion it says it is, by Amnesty International

amnesty.org/en/latest/news/202

0
otini boosted
Joseph Nuthalapati

Functional Programming in Haskell - Online Course - FutureLearn
futurelearn.com/courses/functi

#FP #Haskell

0
otini boosted
clochix 😾

Ouille ! Un chercheur de Github a trouvé une faille dans Ubuntu qui permet à quiconque dispose d’un compte sur une machine (avec accès à un environnement graphique sous Gnome) de créer un compte d’administration securitylab.github.com/researc

Si vous avez à la maison une machine partagée sous Ubuntu, vous allez vous amuser ^^

0
otini boosted
Parleur

Avis de recherche.
Vous auriez sous le coude des articles, vidéos podcasts, etc. qui parlent de la garde alternée d'un point de vue féministe ?
#gardealternée #féminisme #parentalité #paternité
Boosts bienvenus.

1
otini

> Most tables have version numbers […].
Note that there are five different version number types, each with its own numbering scheme.

Well it got ugly pretty quick

Show thread
0
otini

And that's how I end up reading the OpenType standard during my holiday.

1
otini boosted
Ħannes Ħauswedell

The developers of Signal are currently doing a user survey:

surveys.signalusers.org/s3

I told them that I really like the app but also that I would like:
a) Signal on @fdroidorg
b) a proper desktop client
c) no data stored in "secure enclaves"

Maybe you'd like to tell them, too?

#freeyourandroid
#freesoftware
#android

1+
otini boosted
c_cube

I did chuckle: bollu.github.io/the-hilarious- @dinosaure

0
otini

🖥️ 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.

0
otini boosted
Solid Cанëк
The ducks are melting, stop global warming
0
otini boosted
saphiel netdragn! 💙

Me when I try to do anything

0
otini boosted
HN Tooter

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

(submitted by doener)

0
otini boosted
Chagratt

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

0
otini

donating 10k USD to is: ❤️

0
otini boosted
Amolith :rainbow_dance:

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
1+
otini

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

0
otini boosted
mavaxavou

Mais c'est qu'il est trop mignon ce p'tit chat !
Merci @Hiraelle !

1+
Show more

otini's choices:

Functional Café

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

Resources

Developers

What is Mastodon?

functional.cafe

More…