Show more

Just discovered this beautiful choir song.

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.


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!

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 

otini boosted
Life hack: to achieve your page count, just paste the deduction rules and axioms from your slides into your paper.
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 

“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.

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
Screenshot_2019-01-15 Les élect…

question! So I can't upgrade the package gtk2hs-buildtools- 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
otini boosted

A small example to illustrate
There is some style mismatch, for instance the trees on the bottom right. But hopefully the addition of spatial masks (as described in the article) will fix these issues.

otini boosted

[EN] I'm working on an implementation of arXiv: 1611.07865 ( ) and I need some pictures to test it. Send me good quality picture + a painting or an art piece, and I'll apply its style to the picture (see example in my previous toot).

Show more
Functional Café is an instance for people interested in functional programming and languages.