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?

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

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

Show more
Functional Café

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