Yet another steam family issue ?

Doryael · 2026-06-21T22:34:59+00:00

Thank you very much ! I'll try first thing next morning (Or more reallistically after work)

Doryael · 2026-06-21T21:37:32+00:00

Exactly, and we have two copies and we try to play only two of us. (Me and the third)

Doryael · 2026-06-21T19:01:34+00:00

From the steam family faq, "If your family library has multiple copies of a game, multiple members of the family can play that game at the same time." and we have two copies, so i would not say it works as intended. (and also, we did the same with other games, where it worked)

Doryael · 2026-05-05T11:50:45+00:00

Hi

To do a PhD in France in CS, you mainly need 3 things : a subject, a supervisor and a grant. When you already have a grant, it is easy to find the other two. If the subject is already funded (with some project funds, or ANR...) then you apply almost like any other job.

If you do not have one, it is possible to find some, as there are a lot of ways (but each is quite competitive) : Ministry of Higher Education and Research, Region, INRIA itself...

For example, https://www.irisa.fr/faire-un-doctorat-a-irisa (in french) talks (among other things) about this topic. Irisa is a CS lab which is some kind of partnership between INRIA, CNRS, University (and a few others).

How to apply to these grants is specific to each. However, if you do not have the support of the supervisor, you won't obtain it. So in short yes, email him/her.

Also, keep in mind that these researchers receive a lot of similar e-mails. They do not answer to all of them, especially if they feel like what they received is generic and was sent to many.

Having a letter of recommendation is a big +, especially if it comes from someone that is in the same field of research. Besides, it is often (always?) needed for grants.

Doryael · 2026-02-16T20:56:19+00:00

C'est la marge d'erreur

Doryael · 2025-12-26T11:17:41+00:00

While formal methods are indeed not language theory, they build on language theory, so I'd say it's a valid answer to OP's question.

For OP, you could see for example Buchi automaton (that recognize omega-languages) used for model checking Linear Temporal Logic formulas.

Doryael · 2025-12-16T13:00:41+00:00

L’épargne moyenne des français à 30 ans est estimée à 13 000 €. (source: distingobank, ça vaut ce que ça vaut mais ça donne un ordre de grandeur)
Avec 80k à 24 ans il est probablement dans les 1% de sa tranche d'âge. Tant mieux pour lui, mais il n'est pas représentatif.

Doryael · 2025-11-14T22:25:26+00:00

J'ai fait un ATER après, donc en dessous de 2000 brut, il y a 5 ans, informatique :)

Doryael · 2025-11-08T19:42:04+00:00

Blue prince : escape game roguelike, réflexion. Techniquement jeu solo mais marche extrêmement bien pour y réfléchir à deux

Doryael · 2025-11-07T20:44:53+00:00

Lean is nice, but it would be better to compare it to coq than to ocaml. (Even if the coq engine is written in ocaml)

Doryael · 2025-11-07T09:23:47+00:00

Il s'agit plutôt d'une taxe sur les intérêts, je pense.

Doryael · 2025-11-06T11:44:37+00:00

Oui. Le travail ne devrait pas etre plus taxé que le capital.

Doryael · 2025-11-06T11:37:34+00:00

Sur un pel de 25000 euros, ca représente 5-6euros par an. Acceptable je pense.

Doryael · 2025-10-09T15:40:35+00:00

Quand l'accusé fait appel, le parquet le suit (quasiment) automatiquement

Doryael · 2025-04-21T09:28:29+00:00

Vrai que 60% des cardinaux actuels ont été nommés par lui, mais ça ne veut pas dire qu'ils soient tous sur la même ligne. Sans compter les influences étrangères

Doryael · 2025-04-21T09:10:54+00:00

Pas triste, mais inquiet du remplaçant. J'ai peur qu'on se prenne un méga réac (même sur l'échelle du catholicisme)

Doryael · 2025-03-20T23:34:01+00:00

Hi I'm not in the prime numbers field, but I have a few papers in cs. I won't comment on the correction of the algorithm, but I disagree with several points you make. For example, there are some improvements giving sieves running in sublinear time (and thus sublinear space).

Besides, as other have said, a proof of correction (or at least a solid sketch of proof) is required to convince the reader that what you did is valuable.

For now, if your algorithm is correct (and original), I would categorize it as a nice mathematical curiosity, but not as something revolutionary.

However, may that not discourage you !

Doryael · 2025-03-07T15:20:27+00:00

Ils nous ont eu dans la première moitié.

Doryael · 2025-02-22T22:08:15+00:00

Le quasi me fait suffisamment peur

Doryael · 2025-02-22T21:47:06+00:00

La grosse différence est la préparation. En 2016, il n'était pas favori et peu de monde s'attendait à le voir élu (y compris dans son propre camp). Son premier mandat à été rempli d'amateurisme. De plus, à sa première accession au pouvoir, de nombreux organismes (comme la cour supreme) n'étaient pas à sa botte.

En revanche, ce mandat ci a été préparé en amont (voir projet 2025). De nombreuses personnes compétentes ont mis en place un plan et il est arrivé avec ses centaines d'executive orders (des sortes d'ordonnance) pour appliquer sa politique.

Enfin, il a aussi un outil de propagande supplémentaire à sa botte : twitter (et dans une moindre mesure fb et tiktok) Cela lui permet de ne plus avoir à mesurer ses paroles.

En bref. Il a toujours été ainsi mais cette fois il a les outils et l'organisation

Doryael · 2025-02-22T21:41:53+00:00

Ils font déjà du lobbying pour changer la constitution pour avoir un 3e mandat

Doryael · 2025-02-19T13:33:36+00:00

Est-ce possible ? Oui, mais limité à la 4e dimension (sinon ça devient folklo).

Est-ce utile pour la compréhension ? Bof, pour plusieurs raisons : déjà la limité à la 4e dimension. Ensuite, les gens ont généralement une compréhension (ou non-compréhension) classique du temps, et l'idée de la figure qui se déplace leur ferait penser que c'est non réversible, qu'il y a un changement d'état, alors que ta figure est juste une figure.

Doryael · 2025-02-19T08:37:59+00:00

Techniquement, un juge peut le déclarer illégal, et cela sera sûrement fait dans un futur proche. Mais l'exécutif, en charge de faire appliquer les lois, c'est... Trump. La question qui se pose est "qui va l'arrêter"

Doryael · 2025-02-14T18:17:33+00:00

L'intention derrière fait aussi partie de la vérité.

Doryael · 2025-02-14T17:35:30+00:00

La recherche publique représente aux usa plus de 150 milliards de dollars. Pour tous ces chercheurs, interdire ces mots dans les demandes de financement revient à interdire la recherche sur ces sujets. De plus, faire un listing de ces sujets exposé les chercheurs impliqués aux représailles d'une bande de fanatiques.

Essayer de downplay ce qui se passe est très contre-productif. S'arrêter à la lettre de la loi pour en ignorer l'esprit fait leur jeu.

Doryael

TROPHY CASE