Show more
otini boosted
otini boosted

To recover your account, please answer the following question:

The real part of every non-trivial zero of the Riemann zeta function is one half. True or false?

otini boosted

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 Show more

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

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…
Show more
Functional Café is an instance for people interested in functional programming and languages.