otini boosted

@PhieLaidMignon j'ai l'impression que c'est un renommage de ce qui s'appelait les « communities » avant, ça fait 3 ans que j'en utilise
(mais ça fait aussi 3 ans qu'on attend qu'il soit possible de changer l'admin d'une communauté >.<)

@alice Aah ok, so an imperfect isolation on Firefox's part. That makes more sense.

otini boosted

Twitter is doing something devilish (I'm not talking about its mere existence). When I'm logged in Twitter in a private Firefox window, and I open another private window, I'm also logged in.
Cookies and session identifiers are not shared between private windows. This should not happen. What nonsense have you invented, Twitter?

otini boosted

I’m sorry "Coq" is provoking such trouble. We’ve had the same thing for years with "bit", but never found the rightfulness to complain. I’m sure we can come to an agreement 😇

Twitter is doing something devilish (I'm not talking about its mere existence). When I'm logged in Twitter in a private Firefox window, and I open another private window, I'm also logged in.
Cookies and session identifiers are not shared between private windows. This should not happen. What nonsense have you invented, Twitter?

@brab Haha mes parents en ont acheté un récemment.

Lua should have optional type annotations that allow for partial type checking *and* runtime performance gains (by removing part of the type checks and type information). Why not?

otini boosted

my LaTeX \todo macro prints "Exercise to the reader" in a box

otini boosted

@mnda Also, I have the impression that a low-contrast light palette is more readable than a low-contrast dark one. But that's just an impression, so not worth an in-depth study, of course.

@mnda I switched back to light backgrounds on my text editors and terminals after I read that dark mode seemed slightly less readable. Maybe this summary nngroup.com/articles/dark-mode but not sure.

otini boosted

🌈 Quick Tip: Find out the number of your RSS subscribers from popular feed readers. #RSS

darekkay.com/blog/rss-subscrib

otini boosted

math authoring 

author: my work is fairly easy to understand.

also author:

otini boosted
otini boosted

Je cherche à conserver une archive de mes pouets. J’ai trouvé github.com/kensanata/mastodon- qui a l’air pas mal. Est-ce que vous avez d’autres suggestions ?

Show older
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!