Deathwish the Hun's Avatar

Deathwish the Hun

@shab0y

Info ∙ Musique ∙ Montagne

81
Followers
38
Following
1,249
Posts
23.10.2023
Joined
Posts Following

Latest posts by Deathwish the Hun @shab0y

🙈

30.11.2025 12:42 👍 1 🔁 0 💬 0 📌 0

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

30.11.2025 10:59 👍 1 🔁 0 💬 0 📌 0

Oui

30.11.2025 10:56 👍 0 🔁 0 💬 1 📌 0

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)

30.11.2025 10:44 👍 2 🔁 1 💬 2 📌 0

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)

30.11.2025 10:42 👍 1 🔁 0 💬 0 📌 0
OCaml has some new shiny syntax | Notes on Computing The next major release of the OCaml compiler, version 4.08, will be equippedwith a new syntax extension formonadic and applicative composition. Practically i...

(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...)

30.11.2025 10:26 👍 0 🔁 0 💬 1 📌 0

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

30.11.2025 10:25 👍 0 🔁 0 💬 2 📌 0

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...

30.11.2025 09:48 👍 4 🔁 0 💬 2 📌 0

Le renne c'est le caribou, non ?

30.11.2025 09:32 👍 0 🔁 0 💬 1 📌 0
Preview
Photoshops

mandatory xkcd: xkcd.com/331/

30.11.2025 09:15 👍 2 🔁 0 💬 0 📌 0

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

30.11.2025 08:30 👍 1 🔁 0 💬 0 📌 0

Champollion, pour les CPGEs

29.11.2025 20:32 👍 1 🔁 0 💬 0 📌 0

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

29.11.2025 19:21 👍 1 🔁 0 💬 0 📌 0

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

29.11.2025 19:04 👍 1 🔁 0 💬 0 📌 0

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

29.11.2025 19:01 👍 1 🔁 0 💬 1 📌 0

Martre des pins
Hermine
Loutre
Kea
Harpie

29.11.2025 18:36 👍 2 🔁 0 💬 0 📌 0

Are you not??

29.11.2025 18:32 👍 0 🔁 0 💬 1 📌 0

Les XIII et XIVe ont clairement les meilleurs noms !

27.10.2025 18:26 👍 1 🔁 0 💬 0 📌 0

HAAAA 😱🤬

25.10.2025 14:51 👍 0 🔁 0 💬 0 📌 0

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

25.10.2025 13:38 👍 1 🔁 0 💬 0 📌 0
Preview
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...

25.10.2025 13:35 👍 2 🔁 0 💬 0 📌 0

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

22.09.2025 18:44 👍 1 🔁 0 💬 1 📌 0

oui, je suis d'accord !

03.09.2025 18:44 👍 0 🔁 0 💬 0 📌 0

Félicitations !

03.09.2025 18:40 👍 0 🔁 0 💬 0 📌 0

tu devais pas te mettre à Haskell ? :P

03.09.2025 18:40 👍 0 🔁 0 💬 1 📌 0

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

03.09.2025 18:37 👍 0 🔁 0 💬 1 📌 0

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

03.09.2025 18:34 👍 0 🔁 0 💬 1 📌 0

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

29.08.2025 15:50 👍 0 🔁 0 💬 0 📌 0

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

28.08.2025 16:41 👍 0 🔁 0 💬 1 📌 0

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

28.08.2025 16:37 👍 0 🔁 0 💬 0 📌 0