I do not get why it would work in that case. I assume the scenario is someone with a bike coming, doing theft, then leaving with the same bike.

Therefore there will be a period without bike, then a period with bike, then a period without bike again.

Let’s assume there is no bike on the particular moment viewed. How do you know whether it occured before or after the theft? If you make the wrong decision, you get stuck on an endless binary search… Unless you take note at each timestamp where you made the decision, draw a tree of timestamps, and go back the tree if your search is fruitless but that’s much more complicated than what this post says.

For a first time don’t try to get the strongest character possible. It’s a time sink to do that. Usually the main campaign of games are beatable even if you screw up something. The worst that can happen is you backtracking a bit and spending time to level up before doing the next quest.

When you played the game once and got used to the mechanics you can make a 2nd char and plan it more deeply ahead if you wish. You know what mechanics you like so the prospect of finding what to invest in what is worth etc… becomes more streamlined. But you don’t have to. You can just be happy to have finished the game and call it a day.

That’s what I did for Diablo 4. After the main campaign I did not feel like venturing more into the game or making another character so I started playing another game. If you really want to 100% a game it does require a ton of time and planning but you don’t have to

On the world’s roads last year, there were over 20 million electric vehicles and 1.3 million commercial EVs such as buses, delivery vans, and trucks.

But these numbers of four or more wheel vehicles are wholly eclipsed by two- and three-wheelers. There were over 280 million electric mopeds, scooters, motorcycles, and three-wheelers on the road last year

There are about 20x more e-bikes than electric cars. Of course its going to demand more oil.

The real question is what is best in terms of oil demand between electric cars and e-bikes

deleted by creator

Étant donné cette différence de croyance, est ce que tu sais si les Francs Maçons du GO sont acceptés parmi les autres branches déistes ?

Oui je voulais dire secte dans ce sens là

Il parait que c’est très difficile pour les métiers du social, des fois ils sont obligés de refuser les demandes malgré eux… Ils voient des vies se briser en cas de refus mais ils ne peuvent rien y faire. Il parait qu’il y a un gros turn-over dans ces genres de métiers à cause de ça.

C’est une secte oui.

De ce que j’ai compris, les Francs-Maçons encouragent le travail sur soi même ; n’importe qui peut y aller, la seule condition c’est de vouloir améliorer l’humanité (au sens large) et de vouloir travailler sur soi (accepter qu’on est imparfait et qu’on peut déjà s’améliorer soi-même). Ils partent du principe qu’il est toujours possible d’améliorer les choses : je pense que c’est plutôt un courant perfectionniste.

Ils promeuvent l’écoute des autres ce qui n’est pas vraiment le cas des réseaux sociaux en vogue aujourd’hui. Par exemple ils ont des règles en place pour ne pas couper la parôle et entendre ce que chacun a à dire.

Ça n’arrivera jamais. Il n’est pas de notre monde

There are techniques like abstract interpretation that can deduce lower and upper bounds that a value can take. I know there is an analysis in LLVM called ValueAnalysis that does that too - the compiler can use it to help dead code elimination (deducing that a given branch will never be taken because the value will never satisfy the condition so you can get rid of the branch).

But I think these techniques do not work in all use cases. Although you could theoretically invent some syntax to say “I would like this value to be in that range”, the compiler would not be able to tell in all cases whether it’s satisfied.

If you are interested in a language that has subrange checks at runtime, Ada language can do that. But it does come at a performance cost - if your program is compute bound it can be a problem

Why would you have to choose between tests and compiler checks? You can have both. The more you have the less chance of finding bugs.

I would also add that tests cannot possibly be exhaustive. I am thinking in particular of concurrency problems - even with fuzzing you can still come across special cases where it goes wrong because you forgot a mutex somewhere. Extra static checks are complementary to tests.

I think you can write “unsafe” code in Rust that bypass most of the extra checks so you do have the flexibility if you really need it.

Ben le iel est proposé, mais la résistance est forte, et assez peu argumentée amha.

Je vois deux problèmes :

• iel se comprend comme “quelqu’un qui est soit homme soit femme” et non juste “quelqu’un”. Même si c’est un pas en avant pour résoudre les inégalités hommes/femmes, ça continue de mettre des gens dans des cases. Mais c’est quand même un pas en avant donc peut-être que c’est mieux que rien faire du tout
• ça fait vraiment bizarre à prononcer. On n’a pas beaucoup de mot qui commence par un son ‘y’ en français. Mais peut-être que c’est juste un manque d’habitude et qu’une fois que l’oreille est habitué à entendre ça, ça passe.

Est-ce qu’il y a une forme COD de iel ? Par exemple pour l’anglais c’est them.

En fait, ce n’est pas la raison, la raison on la connaît, elle est dans les grammaires les plus anciennes: « Le genre masculin est réputé plus noble que le féminin à cause de la supériorité du mâle sur la femelle » article WP. La règle étant explicitement sexiste, je trouve légitime les appels à la changer.

L’existence de la raison historique n’empêche pas que j’ai une préférence personnelle à rédiger au masculin pour des raisons de brièveté

Je suis complètement OK pour changer la règle en la règle de la brièveté de mon côté.

Le sexisme n’est pas de marquer une différence, c’est de transformer la différence en hiérarchie.

Dans ce cas on pourrait décréter de pouvoir utiliser le genre que l’on veut à valeur de neutre, c’est à dire que l’auteur pourrait, au choix, dire “les étudiants” ou “les étudiantes”.

Concrètement, ça voudrait dire que le masculin et le féminin pourraient être utilisés à valeur de neutre.

Comme ça la différence existe, mais il n’y a plus de hiérarchie. Grammaticalement en tout cas.

Ouais mais être galant ne résout pas vraiment le problème en fait.

Ce que je vais dire est très controversé, mais en disant “étudiantes et étudiants” au lieu de “étudiants et étudiantes”, on échange le masculinisme pour du féminisme. Je ne pense pas qu’il y en ait un qui soit mieux que l’autre très honnêtement.

Je suis assez frustré qu’on n’ait pas un “they” ou “them” en français.

Si on veut vraiment l’égalité des genres, il faudrait soit tout rapporter au masculin actuel, ou tout rapporter au féminin actuel - puis enfin supprimer le genre complètement. Disons qu’on rapporte tout au masculin actuel parce que les mots sont plus courts au masculin.

ça impliquerait de ne plus dire “je suis sorti avec elle” mais “je suis sorti avec lui”, peu importe si on parle d’un mec ou d’une nana.

Le souci c’est qu’on reste malgré tout attaché au genre. Si on dit “lui” pour une femme devant elle, il est fort probable que la femme s’indigne. De même, si on dit “elle” pour un homme, il est tout aussi probable qu’il s’indigne.

Je pense que tant qu’on aura cette nécessité de s’identifier comme homme ou femme il y aura du sexisme.

Pour ndlr je prononce “Note de Rédaction”, “Note de la Rédaction” ou juste “N D L R” Pour Mme je prononce “Madame”

Pour étudiant·e·s si je dis “étudiants et étudiantes” je privilégie le masculin, si je dis “étudiantes et étudiants” je privilégie le féminin… mais si je prononce “étudiants” en utilisant le masculin à valeur de neutre, on peut me reprocher de privilégier le masculin.

D’où ma question : comment prononcez-vous le point médian ?

Pour comprendre ce qui est écrit, certaines personnes prononcent dans leur tête la phrase.

Comment tu prononces quelque chose avec un point médian ?

La méditation ! 10-15 minutes par jour. C’est presque nécessaire pour moi car sans ça je me retrouve vite la tête dans le guidon à ne jamais vraiment m’occuper des émotions que je ressens. Les 15 min de méditation me donnent un temps pour analyser ce qui s’est passé dans la journée et trouver une paix intérieure

Looks cool! This reminds me of Freespace, another beautiful space fighter game

About your specific example I find the Rust code to be much simpler to understand than your equivalent Golang code…

To understand the Rust code I just have to understand each case. 0…1 returns false. Ok. 2…n returns true iff no divider was found between 2 and n-1. Ok the function is primality test

The Golang code is much harder. I do not take into account the division by 2 because its not part of the original Rust code.

A for loop starting at 2 that look for divisors. Then the return value > 1. Why is it OK to just return value > 1? Oh that’s because the loop did not return. Why did it not? Either no dividor was found or we did not get into the loop at all. If value > 1 we have the guarantee the loop was executed so it’s really a primal number. If value <= 1 it is either 0 or 1 which are not primal. Ok, so we return value > 1.

I think people dislike Rust because it has a lot of functional languages constructs and people are not used to code in functional languages.

Whatever you fight in Rust you end up saving time by avoiding runtime bugs that would have plagued your productivity anyway. I’d much rather have a language with a hard entry but with solid and maintainable code rather than fast-written spaghetti that no one knows what it is supposed to do 2 years after.

Do you happen to know where those json files are located? I have been looking for those

I love that software. It’s so simple - no need for much clicking you can do a lot with just the keyboard.

I love particularly how there is no bloatness. Creating a new task is as simple as pressing ctrl+a (or shift+a), typing the name and pressing enter. Creating a subtask is just pressing ‘a’ on the task and type the name.

There is jira integration so I can import my jira tickets and make my own local subdivision in smaller tasks that do not need to be thoroughly described or shared. The status of the jira tickets can be updated from the app directly

There is a pomodoro plugin that works well minor some bugs (don’t ever choose “close” when prompted to skip the break or go back to work)

Wonder what did I do last week for writing a summary? Just look at the history in the app

I really love it and can only recommend it for personal planning