Because that will fail to detect a program that halts in X+1 time. The problem isn’t to detect if a program that halts halts, the problem is to generally create an algorithm that will guarantee that the analyzed program will always halt given an infinite time running on an infinite computer.

Check out programming.dev for a Comp Sci focused community.

Good to hear. I always new the lie the AAA publishers push that no one wants single player rpgs anymore, but numbers like this prove it out. No AAA we aren’t skipping your games because we don’t want the stories m, we are just tired of spending $70 only to discover it is full of micro transactions, always online issues, and all the other AAA predatory tactics!

I used to use LastPass, but after last year I have switched over to NordPass. Been mostly happy with them especially for sharing passwords in the family.

This is my concern. I typically replace my iPhone with a newer model before I need to replace the battery, but the newer waterproof ratings all of my devices are coming with are nice in case I accidentally drop my device in the tub. I understand why people want to be able to replace batteries and I support options for that, but I’m not sure if you could achieve the level of rating newer devices are with this added requirement.

Same here, so many different apps with Meta in the name but none appeared to match this description.