Armael boosted

TIL: you can configure a #git remote with multiple push URLs.

It basically allows you to push to multiple remotes at once.

Armael boosted

New blog-post on gagallium, this time on research I've been part of!

Learn everything about the amortized complexity of a tricky incremental cycle detection algorithm...

gallium.inria.fr/blog/incremen

Armael boosted

Un.e bon coiffeur sur Paris que vous recommandez pour cas d'indecision déséspéré ? @.@
Genre pas trop "normatif" non-plus, quelqu'un qui a des idées fun mais en accord vis à vis de votre faciès

I'm getting nerd-snipped by the shoddy TA work I have to do for university undergrads... now I'm formalizing Tower of Hanoi in Coq...

Armael boosted

still proud of this #ocaml #crossStitch, but every time I visit it my desire to frame it properly grows

Armael boosted

Aurions-nous tout faux au sujet de la #dépression?

Nous avons besoin de sentir que nous avons une place dans le monde. Nous avons besoin de nous sentir valorisé·es. Nous avons besoin de sentir que nous sommes bon·nes à quelque chose. Nous avons besoin de nous sentir securisé·es vis-à-vis de l'avenir. Et de plus en plus d'éléments montrent que notre culture ne répond pas à ces besoins psychologiques pour beaucoup de gens.

zinzinzine.net/tout-faux-depre

Armael boosted

People who think that there would be no scientists or "innovation" without capitalism seem to be living in some imaginary world where scientists get paid a lot. People become scientists *despite* capitalism. Capitalism tries to sabotage science at every turn.

Armael boosted

A nice idea: replace the author lists in scientific papers by something akin to the closing credits in movies.
medium.com/@devang/science-fir

Bonus: "We will no longer refer to papers by the first author’s name but rather by the actual science in there. And maybe, someday, we will start reading papers based on their titles, not by how famous or how white the author’s name is."

Armael boosted

rant, YouTube Show more

Armael boosted

rant, YouTube Show more

Armael boosted

rant, YouTube Show more

Armael boosted

rant, YouTube Show more

Armael boosted

rant, YouTube Show more

Armael boosted
Armael boosted

Oh, je viens de tomber sur WikiVoyage, un guide de #voyage libre et collaboratif sous forme de #wiki.

Et c'est intégré dans #OSMAnd en plus osmand.net/blog/2019-ny-resolu !

Cool ! :)

Armael boosted

Je cherche à monter un groupe d'enseignants en lycée et contributeur #OpenStreetMap pour réfléchir à des cours et activités élèves dans le cadre du nouveau programme de secondes : Sciences Numériques et Technologie 👍

C'est une matière nouvelle et obligatoire.

La thématique concernant #OSM est en page 15 du programme (cache.media.eduscol.education.).

Un fil de discussion existe sur le forum : forum.openstreetmap.fr/viewtop

Merci de booster 😋

CC @osm_fr

Armael boosted

Hey #35c3, I've been thinking.

#Thread on why we need queer feminist hackerspaces. ⤵️

#feminism #hackerspaces #PTSD #RapeCulture

Armael boosted
Armael boosted
Show more
La Quadrature du Net - Mastodon - Media Fédéré

Bienvenue dans le media fédéré de la Quadrature du Net association de défense des libertés. Les inscriptions sont ouvertes et libres.
Tout compte créé ici pourra a priori discuter avec l'ensemble des autres instances de Mastodon de la fédération, et sera visible sur les autres instances.
Nous maintiendrons cette instance sur le long terme.