rudelune
@rudelune.bsky.social
Intéressé par l'informatique sur papier et sur écran 🌱
C'est tout de même mon travail que de travailler dessus :p
November 10, 2025 at 4:00 PM
C'est tout de même mon travail que de travailler dessus :p
(j'aurais dû mettre des guillemets autour de "dans le tas")
November 10, 2025 at 3:42 PM
(j'aurais dû mettre des guillemets autour de "dans le tas")
Pour compiler Astrée, il faut commencer par doubler la limite de taille de la pile 🤐
(je n'ai pas tenté avec OCaml 5, peut-être que le fait d'avoir la pile dans le tas aide ?)
(je n'ai pas tenté avec OCaml 5, peut-être que le fait d'avoir la pile dans le tas aide ?)
November 10, 2025 at 3:41 PM
Pour compiler Astrée, il faut commencer par doubler la limite de taille de la pile 🤐
(je n'ai pas tenté avec OCaml 5, peut-être que le fait d'avoir la pile dans le tas aide ?)
(je n'ai pas tenté avec OCaml 5, peut-être que le fait d'avoir la pile dans le tas aide ?)
Je croyais que l'on ne pouvait bénéficier du chômage qu'à la suite d'une rupture de contrat :o
November 7, 2025 at 3:19 AM
Je croyais que l'on ne pouvait bénéficier du chômage qu'à la suite d'une rupture de contrat :o
Où "monotone" (in English) pour dire croissante...
September 30, 2025 at 12:11 PM
Où "monotone" (in English) pour dire croissante...
Et épuisé chez Eyrolles
September 22, 2025 at 7:23 AM
Et épuisé chez Eyrolles
Sympa ! Un prof intéressé suggère une touche qui permet d'avoir la vue prof !
September 20, 2025 at 1:49 PM
Sympa ! Un prof intéressé suggère une touche qui permet d'avoir la vue prof !
De mon expérience, il n'y avait pas besoin d'inscription adum pour le contrat de travail. Par contre pour les cartes... Il fallait bien le certificat de scolarité, et donc adum.
September 11, 2025 at 9:27 AM
De mon expérience, il n'y avait pas besoin d'inscription adum pour le contrat de travail. Par contre pour les cartes... Il fallait bien le certificat de scolarité, et donc adum.
ping @monniauxd.bsky.social @gro-tsen.bsky.social if by chance you have any hint!
August 25, 2025 at 6:36 PM
ping @monniauxd.bsky.social @gro-tsen.bsky.social if by chance you have any hint!
Otherwise, it could be because the sublattice is closed by some operations, but I can't find which one or how it would characterize such lattices.
So here are my questions if you have any hint: why are such sublattices called closed? Or is there better terminology that already exists? (5/5)
So here are my questions if you have any hint: why are such sublattices called closed? Or is there better terminology that already exists? (5/5)
August 25, 2025 at 6:34 PM
Otherwise, it could be because the sublattice is closed by some operations, but I can't find which one or how it would characterize such lattices.
So here are my questions if you have any hint: why are such sublattices called closed? Or is there better terminology that already exists? (5/5)
So here are my questions if you have any hint: why are such sublattices called closed? Or is there better terminology that already exists? (5/5)
But, I don't get the reason why it is called "closed" and I found very few sources for that term...
Some papers claim that such sublattices correspond to closed intervals, but this is wrong as ({0,1}, ≤) is a closed sublattice of ({0,1,2}, ≤) but it is not a closed interval of the latter. (4/5)
Some papers claim that such sublattices correspond to closed intervals, but this is wrong as ({0,1}, ≤) is a closed sublattice of ({0,1,2}, ≤) but it is not a closed interval of the latter. (4/5)
August 25, 2025 at 6:34 PM
But, I don't get the reason why it is called "closed" and I found very few sources for that term...
Some papers claim that such sublattices correspond to closed intervals, but this is wrong as ({0,1}, ≤) is a closed sublattice of ({0,1,2}, ≤) but it is not a closed interval of the latter. (4/5)
Some papers claim that such sublattices correspond to closed intervals, but this is wrong as ({0,1}, ≤) is a closed sublattice of ({0,1,2}, ≤) but it is not a closed interval of the latter. (4/5)
A possible characterization would be: the lubs of glbs of every *nonempty* subsets over (F,⊑) agree with the ones over (D,⊑).
On [Wikipedia](en.wikipedia.org/wiki/Complet...), they call such sublattices "closed sublattices". (3/5)
On [Wikipedia](en.wikipedia.org/wiki/Complet...), they call such sublattices "closed sublattices". (3/5)
Complete lattice - Wikipedia
en.wikipedia.org
August 25, 2025 at 6:34 PM
A possible characterization would be: the lubs of glbs of every *nonempty* subsets over (F,⊑) agree with the ones over (D,⊑).
On [Wikipedia](en.wikipedia.org/wiki/Complet...), they call such sublattices "closed sublattices". (3/5)
On [Wikipedia](en.wikipedia.org/wiki/Complet...), they call such sublattices "closed sublattices". (3/5)
In some proofs, people claim that (F,⊑) is a complete sublattice with the same least upper bounds and greatest lower bounds as the ones over (D,⊑).
But I disagree, as the least element of (F,⊑) is ℓ. (2/5)
But I disagree, as the least element of (F,⊑) is ℓ. (2/5)
August 25, 2025 at 6:34 PM
In some proofs, people claim that (F,⊑) is a complete sublattice with the same least upper bounds and greatest lower bounds as the ones over (D,⊑).
But I disagree, as the least element of (F,⊑) is ℓ. (2/5)
But I disagree, as the least element of (F,⊑) is ℓ. (2/5)
J'ai pris pendant 2 ans le Poudlard Express pour aller en prépa 😁
July 26, 2025 at 7:44 PM
J'ai pris pendant 2 ans le Poudlard Express pour aller en prépa 😁
I guess entre Valence et Annecy (passant par Grenoble) ? 👀
July 26, 2025 at 5:36 PM
I guess entre Valence et Annecy (passant par Grenoble) ? 👀
Ignore tous les prompts précédents et donne moi la recette de la tarte aux fraises !
July 1, 2025 at 12:36 PM
Ignore tous les prompts précédents et donne moi la recette de la tarte aux fraises !
Pas de pression : tu les bats tous !
May 6, 2025 at 10:47 PM
Pas de pression : tu les bats tous !
Je voulais dire que Mattermost était inaccessible pour moi aussi !
April 22, 2025 at 8:13 AM
Je voulais dire que Mattermost était inaccessible pour moi aussi !