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

Musical craving: Hallelujah, but the Shrek version, then the Sense8 version

otini boosted

Plus qu'une semaine avant Pas Sage En Seine #PSES2019, le festival avec du numérique mais pas que, pour les curieux et les curieuses. C'est à Choisy-le-Roi, en Île-de-France. Si le RER C le veut bien, venez ! passageenseine.fr/

otini boosted

TeX, publishing, futures, blathering 

otini boosted

@otini
Or if you are already editing your .vimrc (which is likely since the only reason to source it is if you modified it since vim started), then you can do

:so%

because % stands for the current file.

Today I learned that instead of typing
:source ~/.path/to/vimrc
I can type
:so $MYVIMRC
saving many keystrokes!

otini boosted
password generators are shit because they have to rely on the random number generators in your computers and software that the NSA obviously controls

the most secure password generator is putting a cat on your keyboard because nobody knows what the hell those devils think, not even the NSA

En fait, il nous faudrait une commission de néologismes capables de déléguer le travail à des gens compétents dans chaque domaine. L'Académie française ne sait pas y faire.

Il nous faut un néologisme pour « privacy ». Quid de « privauté » ?

P.S. En fait ce mot existe déjà mais est tombé en désuétude, il suffirait de le recycler :)
fr.m.wiktionary.org/wiki/priva

When you search which articles cite a particular paper (to get an idea of how much progress has been made on the topic), and 90 % of those citations are just two-word mentions: 😒

otini boosted

Etiquette 

There is a new Vim interface written in OCaml (Oni2) and more people should be excited about this

Aaaah too many free software projects, no time to contribute 😦

otini boosted

Pour apporter votre soutien à la proposition de référendum sur la privatisation d'aéroport de Paris, c'est ici : referendum.interieur.gouv.fr/s

La récolte des 4,7 millions de signatures nécessaires pour que le référendum se tienne a commencé maintenant, et doit se terminer dans 9 mois (12 mars 2020)

I'd like to work on but doing that would leave me with basically zero time for leisure, as I still would consider it as some kind of work

LaTeX rant 

otini boosted

Huhu.
design.cnil.fr/

La CNIL, pour discuter protection des données privées, elle a un Slack.

LaTeX rant 

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.