jeff

joined 2 years ago
MODERATOR OF
[–] jeff@programming.dev 8 points 2 years ago (3 children)

Right. There is no solution to the halting problem, that's been proven. But you just showed you can very easily create a way of practically solving it. Just waiting for 10 seconds does it. That will catch every infinite loop while also having some false positives. And that will be fine in most applications.

My point is that even if a solution to the halting problem is impossible, there is often a very possible solution that will get you close enough for a real world scenario. And there are definitely more sophisticated methods of catching non-halting programs with fewer false positives.

[–] jeff@programming.dev 6 points 2 years ago (7 children)

A full solution to the halting problem can't exist. But you can definitely write a program that will "reliably" detect them to a certain percentage.

And many applications do exactly that. Firefox asked me today if I wanted to stop a tab because it was processing for too long.

[–] jeff@programming.dev 6 points 2 years ago (1 children)

flat white wall

Hey guys, look at this light mode user! My wall is dark mode. 😎

In a serious note, a developer should be aware of how licenses work. Just copy pasting from Stack Overflow likely breaks the defaults license. You could open up yourself or your company to serious legal trouble. And it really isn't ethical. I wouldn't want code I shared in a certain context be stolen by a large corporation and make them money

[–] jeff@programming.dev 11 points 2 years ago (3 children)

Just don't tell your Legal department.

[–] jeff@programming.dev 2 points 2 years ago
[–] jeff@programming.dev 2 points 2 years ago

But I do. I really really do. I want Lemmy and the Fediverse to get more popular. I just don't follow "Instagrammers" I'm not interested in. And there probably are people on Instagram I would be interested but have never heard about because I'm not on Instagram.

Regardless, we can always defederate and re-federate, doing it as a kneejerk reaction doesn't make sense here.

[–] jeff@programming.dev 3 points 2 years ago

Once I learned about http files I never went back. It's so easy to share and use, I primarily use JetBrains but there are extensions for VSCode that do the same thing that I have used as well.

[–] jeff@programming.dev 12 points 2 years ago (3 children)

I'm unsure. A lot of people are saying yes, but they are also implying to do so preemptively which I don't agree with. I would rather wait a few weeks and see what effect it has on this instance before making a decision.

[–] jeff@programming.dev 3 points 2 years ago (1 children)

That really depends on the culture of the company and your mindset. If you think it is going to be hell it is going to feel like hell.

You work more with people and less with computers, but ultimately you are still working on solving problems. Instead of inside code on a computer it is inside a team within a larger organization.

[–] jeff@programming.dev 9 points 2 years ago (1 children)

Join us at !engineering_managers@programming.dev

The community is still small but you can ask questions and there are some good resources there already.

[–] jeff@programming.dev 15 points 2 years ago
view more: ‹ prev next ›