🙈

(ça peut aussi se faire pour n'importe quelle structure de cycle sans point fixe (ou avec, si l'on veut))

Oui

Mais du coup tu n'échantillonnes pas toutes les permutations sans point fixe, seulement celles qui ont un unique cycle (ou je rate quelque chose) ?
(Après vu le besoin je n'ai pas immédiatement l'impression que ce soit problématique)

je me doutais qu'il y avait un lien avec le *bind*, mais merci d'avoir éclairci les choses
(pour l'instant j'en suis au stade de compréhension : les monades permettent de propager un état opaque de façon fonctionnelle lors d'une évaluation)

(Enfin, un bon signe c'est que ce qui (après quelques efforts) m'a paru être une façon agréable de les manipuler en OCaml est effectivement ce que font les gens : jobjo.github.io/2019/04/24/o...)

J'avoue ne pas être sûr de tout comprendre, d'ailleurs

J'ai atteint le stade de développement psychologique où j'ai pris conscience des monades

Je ne sais pas si c'est un bon signe...

Le renne c'est le caribou, non ?

Photoshops

mandatory xkcd: xkcd.com/331/

I attended the talk it's from, and it's kind of meh

The fact that the author hindered the use of a nice cryptographic scheme (viz. the OCB mode) because he patented it also makes me ambivalent about the whole thing

Champollion, pour les CPGEs

Idée reçue : les corneilles mangent des graines (because: oiseaux)

Or is he a monad, or a polyhedron in floating-point arithmetic? Who knows!?

Ah mince, on s'est raté (enfin, je n'y étais que l'aprèm...)

Martre des pins
Hermine
Loutre
Kea
Harpie

Are you not??

Les XIII et XIVe ont clairement les meilleurs noms !

HAAAA 😱🤬

Tu vois il faut que tu te mettes au Cs comme ça tu pourras participer aux passionnants débats sur les VLAs

bgcd.ml GitHub Gist: instantly share code, notes, and snippets.

Il pleuviote et je suis seul chez moi ce weekend, alors j'achète un sac à dos en UHMWPE dont je n'ai pas vraiment besoin et je prouve l'algo du PGCD binaire avec Why3 gist.github.com/P1K/3d82c388...

(Non c'était une blague ; mon "oh" était plutôt dû à la surprise de te voir arriver sur le canal 😊)

oui, je suis d'accord !

Félicitations !

tu devais pas te mettre à Haskell ? :P

attends, je croyais que tu étais devenue informaticienne et là je comprends plus rien !

J'y suis (enfin) passé pour la première fois cet été !

(oui, c'est sûr que c'est loin ^^)

si tu veux compenser, c'est possible qu'on cherche des colleurs à Grenoble, et il ne tiendra qu'à toi de construire tes exercices depuis rien

mince, ma première citation à l'antenne sur FranceMu depuis la rentrée est pour une mauvaise réponse 😅