otini @otini@functional.cafe

It's always tricky to refuse to review for non-#openaccess publications, but it feels like a more effective form of #boycott than to avoid submitting to non-OA venues myself: it initiates a discussion with the editors.

Academia has more conferences than any other fandom

https://cyclosm.org is my go-to cycle map. Really great job with making cycle infrastructure stand out with clear conventions, and having the map key on the side changes everything! Thanks @Phyks #osm #cycle

La CNIL prend cher dans le canard... #reconnaissancefaciale #cnil @lecanardenchaine

Bonjour les laineux,
En ce moment je réfléchis un peu à l'idée que "la technique n'est pas neutre". Auriez-vous des lectures à me conseiller pour étendre l'argumentation au delà de ce leitmotiv ? Merci d'avance !

Hello! Here's my beautiful boy Meech enjoying a sunny morning. #MastoCats

Pour celles et ceux qui ont pas mis à jour le Nextcloud avec leur vhost Nginx, à faire d'urgence

https://nextcloud.com/blog/nextcry-or-how-a-hacker-tried-to-exploit-a-nginx-issue-with-2-nextcloud-servers-out-of-300-000-hit-and-no-payout/

#nextcloud #nginx #faille

L'université de British Columbia n'est ni britannique, ni en Colombie, mais à Vancouver, au Canada 🤔

Question #Coq. Please, help.

So, I have a library Flocq in my `coqc -where`/user-contrib. Yet, when I write From Flocq Require Calc, it completely fails at finding the library: “Error: Unable to locate library Calc with prefix Flocq”. I’ve tried to change the $COQPATH variable to make it accepted. What did I miss? 😖​

(Of course, no documentation available for that. Coq is very far from being a mature project ☹)

just read the word "twinkling" and thought "ah, a small twink" I'm logging off forever

😂

image descriptions aren't just for blind people they're also for people who just dont understand what is happening, like me

I'd like to interject you for a moment, what you are refering to as GNU Guix is in fact Gnu's not Unix: Gnuproject Untitled Nix-oid Operating System or as I've recently taken to calling it

UEFI cannot find boot partition

Bonsoir le fédiverse,

Je suis tombé sur un contrat très intéressant et un peu effrayant qu'une société fait plus ou moins discrètement signer aux étudiant·es de 42 s'ils participent à leur hackathon.

L'aide d'un·e juriste serait tout particulièrement utile pour m'aider à le décortiquer et éventuellement y déceler quelques clauses abusives s'il y a.

Merci de votre aide, boosts appréciés !

Sérieux Riot faites quelque chose sur le process de vérification des devices, par pitié

My 15yo kid just came out to me tonight as trans male. In order to be more supportive, I would really like some feedback from other trans folks on how to assist or better understand this process, especially on how that works today vs 30 years ago.

Caveat- I had a parent who is trans, but this isn't the same kind of relationship. I would actually be assisting my minor child in this change, so that makes me a more active participant in the process.

Feel free to boost. #trans

Pffff l'#OpenSpace, c'est tellement de la merde. J'essaye de lire de la logique qui m'est assez étrangère, remplie de symboles complexes et tout. Et il y a un collègue avec son téléphone qui vibre et active en boucle les sons insupportables de Messenger, il y a un professeur derrière moi qui parle et qui parle avec un autre collègue… mais merde quoi : vous êtes pas tous seuls, là. Le professeur a une salle pour iel tout•e seul•e, vous pouvez pas la faire ailleurs cette réunion ? 😩

Puisque c'est comme ça, je vais sur Mastodon dans le couloir. Je préfère l'alarme de cette fichu porte au fond du couloir que ce bruit ambiant 😞