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  

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

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

0
otini boosted
TeDomum  

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

1
otini boosted
dmj  

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

Thanks!

0
otini boosted
🍅 Craig  

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

1+
otini  

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 % ?

1
otini boosted
🚲 yomimono 🚲  

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

1
otini boosted
Martin Constantino-Bodin  

Besoin d’aide en Coq Show more

1+
otini boosted
Abdominal Muscles  
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…
1+
otini boosted
freetux  

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

0
otini boosted
Random Tree Generator  

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

0
otini boosted
epic morphism  
​
CH.png
1
otini  

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.

1
otini  

alcohol mention Show more

1
otini  

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

What about they pay their taxes before you thank them ?

0
otini  

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.

1
otini boosted
nino stand for "Nino Is Nino Obviously"  
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…
0
otini  

I'm such a noob it's frightening

1+
otini boosted
typochon  

Programmer c'est difficile. Orange. Show more

0
otini  

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?

1+
otini boosted
Alan 🎲  

#vim

1+
Show more

otini's choices:

Functional Café

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

Resources

Developers

What is Mastodon?

functional.cafe

More…