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

Just discovered this beautiful choir song. youtube.com/watch?v=F7P2ViCROb

It's about the NSA, and it's great.

otini boosted

Le problème est corrigé, nous sommes maintenant sur #Riot 1.0.0

otini boosted

@otini Wow, "conceallevel" in vim is amazing for rendering readable math in LaTeX. I had no idea this existed.

Thanks!

otini boosted

Do you use tail -f ?
Love those annoying "are you watching" messages on Netflix?
Ever thought.. gee I wish I could combine both these things?

You wish has come true with tailflix!

github.com/walaura/tailflix

I'm using the perf profiling tool for the first time. Is there a reason why the top line has its “Children” field equal to 24 % and not 100 % ?

otini boosted

still proud of this #ocaml #crossStitch, but every time I visit it my desire to frame it properly grows

otini boosted

Besoin d’aide en Coq Show more

otini boosted
Life hack: to achieve your page count, just paste the deduction rules and axioms from your slides into your paper.
2019-02-03-174437_1920x1080_scr…
otini boosted

Nouvel article ou je vous raconte tout sur le package Siunitx pour l’écriture des nombres et des unités dans LaTeX. Depuis le temps que je voulais le sortir celui-là. \o/
C’est long, c’est dense mais il y a l’essentiel et ça sera toujours plus court que les 100 pages de la doc (passionnantes par ailleurs). 😉
blog.librino.net/2019/02/03/ec
Vous n’aurez plus d’excuses maintenant pour mal orthographier les unités : fini les °K, les Km/H ou autres Kg. 😛
#TeX #LaTeX #Typo #Math

otini boosted

Would you like a tree in this trying time? It has 347 nodes, descending 56 nodes down.

otini boosted

We'd need a GUI that supports smooth scrolling. That's probably not easy to do from a design point of view though, because I guess Vim sends ncurses-style display updates with a granularity of one text line.

alcohol mention Show more

“One year ago, Google chose to invest in France.”

What about they pay their taxes before you thank them ?

Episode 1: the CNIL (national commission of information technology and liberties) fines Google 50 million euros for violation of the GDPR.

Episode 2: five hours later, the presidential Twitter account posts a video advertising the 100,000 Google-funded training sessions to digital tools in France.
twitter.com/Elysee/status/1087

Can't be a coincidence. Great message.

otini boosted
What could go wrong ?

February 2017 article : "The 2012 French elections were under CIA surveillance"

2019 Article : "[in addition to Telegram] The Head of State* would also exchange a lot via his Gmail address"

*E. Macron, the current French President
gmail.png
Screenshot_2019-01-15 Les élect…
otini boosted

Programmer c'est difficile. Orange. Show more

question! So I can't upgrade the package gtk2hs-buildtools-0.13.4.0 because of a cabal version constraint problem. I'm going to report it, but in the meantime how could I update the derivations left to upgrade?

otini boosted
Show more
Functional Café

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