Thanks indeed I misunderstood the problem

I misunderstood the problem. I thought the thieve came on bike to steal something. I did not get that the bike itself was what got stolen.

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.

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

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.

Yes, getting into a new project is hard. Even when you do know the languages and frameworks it’s still hard because you have to get into the mini ecosystem that the developers of that project built. In companies there is usually an expected amount of time (days? weeks? Months? Varies on the project) where a new developer is not really expected to do anything major, just getting used to the project.

I do not know if you are professional or hobbyist. But coding takes a lot of time, a lot of it is spent on just figuring out how you will code this or that feature ; then another bunch of time is spent debugging ; and finally, yet another bunch of time is spent integrating your new feature. That’s why it’s a whole job, and that’s also why you need a ton of free time to do this as a hobbyist.

But the good news is that once you spent that upfront time to get into the project, you can code more efficiently (that is, get right to the features you want to make) and you will also spend a little bit less time getting into other projects because although projects are different, there is always some level of organization that remains similar. The more advanced you become, the quicker you can get into a “production” state where you can code right away thanks to spending less time figuring out how things work.

This is such a basic functionality. It does not deserve advertisements, it should have been there from the start.

and it’s not locked behind a paywall

Are we supposed to cheer?

The Christian Bible’s Matthew 24 had a prophecy that is about to become historical-fact, in the coming decade.

Here’s a decent version of it:

https://www.biblegateway.com/passage/?search=matt+24&version=AMPC

That bit around verses 15-20 is the pertinent area.

Simply wait 1 decade, and see: if Israel still exists, as a country, in 2033, I’ll eat a hat.

The nice thing about prophecies is that they can never be proven to be false. Indeed, one would have to examine the future to prove it wrong. Which is either impossible or unrealistic.

Me too I can make a ton of prophecies and claim they will be eventually right. I will never be wrong.

Let’s see. Let me prophesize that:

• The US will cease to exist
• We will encounter aliens
• See where you are living right now? Eventually, it will be filled with lava.
• See where you are living right now? Eventually, it will be flooded with water.
• A giant comet populated with nyan cats will crash on Earth

However, you can be sure that in 2033 I will come back in this thread and have you eat a hat. Marking the date and the link in my calendar. If lemmy is still alive, that is

They are not making them more efficient. They are studying how to make them more efficient. It’s a really big difference because I am not yet ready to place my life in the hands of a CNN-based AI

Oh, it most definitely is scummy. It’s no news that Tinder does not care about people well-beings. Actually, they want you to get stuck to the platform as long as you can; if everyone was finding their partner after a week their platform would not be profitable anymore.

On Tinder it would not be in the same context that what you experienced. In OKCupid it’s part of the rules that you can send messages without a match. So people are OK (I guess) with it. On Tinder it’s going to come as unexpected and unwelcome. You will start with a disadvantage. Unless the woman is only interested in money (if you can spend $500/month on an app then you are probably among the wealthier half of the population).

I’m yet to find a single field where most tasks couldn’t be replaced by an AI

Critical-application development. For example, developing a program that drives a rocket or an airplane.

You can have an AI write some code. But good luck proving that the code meets all the safety criteria.

In StackOverflow, when a user asks a similar question to one that was already asked, most of the time the question gets closed with a link to the “original” question without being told why the question is similar or how the answers to the “original” question can help the author.

That might be OKish for us experienced developers. But for a total beginner, I find this approach to be unsuitable. Most programming beginners don’t even know how to phrase their question because they are not sure what they are struggling with themselves. Most of their posts will be like “There is something wrong with my code but I can’t figure out what it is”. That would not have a place on StackOverflow ; the post would get downvoted to infinity and the beginner - who is just looking to learn - will most probably say “Ok, StackOverflow no more” and move to other media for help.

One time I asked a question about Perl semantics ; I could not figure out the behavior of a program I wrote. My answer got closed and redirected to another question that did feature a similar program to mine, with a similar behavior. But the answer to that question was not it. It was not explaining the wrong behavior on my program ; although it was similar. At the end of the day I did manage to figure out what was happening ; it turns out it was an effect different from the post that was linked. I tried to make an Edit and asked for reopening my question in order to provide the real answer to that question but I think that did not get accepted.

Actually, now I cannot even find the question in my profile anymore. It probably got removed altogether.

I agree that the multitude of programming help communities is a problem and my proposition would exacerbate that. But StackOverflow is clearly not the answer for me.

Thanks for the suggestion, will do! I did not know about that instance

You make a point. If we were to relive the 90s both technology-wise and before corporations put their hands on it (so, assuming plenty of websites done by users), I am sure there would be quite a few websites filled with hate, racism, xenophobia etc…

It’s not just the corporate greediness that changed. It’s the mentality as a whole. We live in a stressful time period where being aggressive towards other people is more of a norm than, say, creating genuine content with lots of colors because that is cool. In the 90s I feel like people were just enjoying life and did not have to worry much. At least, that’s how I perceive it. Even piece of arts like music or movies felt more genuine and happier.

But the author also makes a point that corporations certainly did not make it better.