Il s'agit des serveurs gérant le réseau et les machines des collèges (qui sont elles aussi évidemment sous Windows). Mais effectivement le Windows Server sera sûrement encore physiquement dans le collège.
J'entends parler en ce moment même de collèges en Essonnes qui tournaient depuis une quinzaine d'années sous linux (SambaEdu) et qui vont tous être passés sous Windows avant la fin de l'année prochaine.
On marche encore encore parfois à reculons.
Ycombinator?
As-tu récemment lu le dernier Astérix et Obélix ? 🙄
La diagonale d'un carré de côté 1 est sqrt(2).
Quand, comme ici, les 2 côtés sont de même longueur, tu peux déterminer la longueur de l'hypoténuse en multipliant par sqrt(2) :p
Hors sujet : C'était beaucoup plus appliqué que ta master thesis !
Publications à visée internationale je ne sais pas, mais en conférence nationale (un peu plus), il y a les JFLA jfla.inria.fr
Nevermind... The bar indeed goes in the wrong direction...
I used to feel the same a few years ago, but right now, I believe it behaves exactly as for the bar on top, with gestures that are reversed. I couldn't say what exactly was bothering me...
A detail you probably already know: it's possible to move the navigation bar to the bottom of the screen. I personally find it really convenient on smartphones!
J'imagine que l'interface est intuitive pour des personnes pas habituées à jouer avec les paramètres 🤷🏻♂️
Une touche programmable présente sur certains portables HP. Au moins sous windows il y a un utilitaire qui permet de la configurer.
C'est tout de même mon travail que de travailler dessus :p
(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 croyais que l'on ne pouvait bénéficier du chômage qu'à la suite d'une rupture de contrat :o
Si vous aussi vous êtes très étonnés de voir Arte si haut dans le classement, j’ai regarder plus en profondeur leur étude et le constat n’est pas si alarmant 👇
Où "monotone" (in English) pour dire croissante...
Et épuisé chez Eyrolles
Sympa ! Un prof intéressé suggère une touche qui permet d'avoir la vue prof !
Depuis que je rédige, j'ai repris l'habitude de prépa qui consiste à regarder les vidéos youtube en *1.5 par culpabilité de ne pas travailler x)
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.
{0,2}*
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)
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)
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)
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)
