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
otini boosted
otini boosted
otini boosted

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 ^^

otini boosted

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.

> 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

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

otini boosted

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

otini boosted

🖥️ 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
Show more
Functional Café

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