If 6.1 works for you, I’d stick with that for now...
Since 6.1 doesn’t work for you, you might as well try the backport. That doesn’t quite answer the question about keeping up with backports, but it’s a start...
@StephenKitt The overwrite thing didn't work. I wonder if it's worth upgrading just for that. And I guess I'm generally reluctant because of my general detestation of word processors.
I'm sorry if this comes across as irrational hostility. I hope it doesn't.
I upgrade other things all the time, including TeX Live. Actually I need to upgrade that to 2020.
@Kulfy Assuming you are from Maharashtra (and even if you aren't), how does the overall situation look like to you?
I live in Bombay, and it seems to be increasingly clear that the situation is akin to a car without a driver. And I'm not referring to one of those self-driving cars.
@FaheemMitha IMO the situation could be handled better if politics wasn't involved. Politics made people playing blame game. Also, AIIMS Delhi's director already assumed that we're going to have many cases in Jun-July. People are also helpless. They need to go out to earn their living. So, I'll say difficult situation. As people say "bura waqt hai katt jaega". I'm just being optimistic.
@FaheemMitha Bombay is the worst affected city. Stay safe :)
@Kulfy Testing levels are ridiculously low, especially here. The last I heard they were doing like 5000 tests for Bombay. No wonder the virus cases are rising.
@Kulfy In a manner of speaking.
I guess interfering with people's movements is easier (and much cheaper) than actually testing them. Though economic collapse may not be so cheap.
There are instances here in the country where people who tested positive are being discriminated and because of that other people are afraid to go for a test.
@Kulfy I think people would be quite happy to get tested. But the govt can't be bothered, apparently. I assume you are familiar with the reputation of the BMC?
@Kulfy Hmm, yes, that's a good point, actually.
India showing its supreme grasp of rationality, as usual.
Regardless, more testing would be much better for a lethal disease with a long incubation period.
BTW, I see you appear to be an Ubuntu user, and I don't recall seeing you on the chat before. Not a regular on this site, I guess. I don't think there are lot of *nix users in India even now, but my information could be out of date.
@Kulfy I don't see why you can't criticize anyone. Go right ahead.
I'm not really following the finance stuff, but with the RSS running India, bad things are bound to happen, and keep happening. The pandemic is just the icing on the cake.
Also, the stock markets are behaving kind of strangely.
We're having a thunderstorm here, though it seems to be easing off.
@FaheemMitha Yes I'm an Ubuntu user. I occasionally lurks in this chatroom but very much active on Ask Ubuntu and it's chatroom. For work I have to use Windows.
@FaheemMitha People are adapting slowly but gradually. For example, Kerala government has their own Linux distribution based on Ubuntu called IT@School. In my experience people see Linux users as advance which is false especially when you're using Ubuntu, Linux Mint or ElementaryOS. I'm sticking to Ubuntu because of stability and being habitual of APT. Once I tried to move to Fedora but APT dragged me back to Ubuntu.
And then there's Ask Ubuntu which feels like my home :)
@FaheemMitha Yeah. Planning for masters from there by the way. Targeting Bombay or Kharagpur.
I am reading Ullman's Introduction to Automata, Languages and Computation (1979), and also want to keep up to date with the terminology of the field.
When talking about computability of a problem, is it correct that we are talking about existence of a TM for solving the problem, but not necessari...
@Tim I agree with those definitions, though I would personally also accept e.g. randomised algorithms that aren't absolutely guaranteed to terminate as "algorithms" in a broad sense, and I would also informally call the potentially-non-terminating computation in e.g. defining a recursively-enumerable set an algorithm (and rarely if ever does the sufficiently-formal situation for distinguishing them come up for me).
@Tim In so saying, that means that somebody describing something as an algorithm does not imply that they are actually claiming it terminates for all inputs, so it's a definition with only very specific context-sensitive value
@MichaelHomer Thanks. Your def of algorithm makes sense. I don't know why I thought an algorithm must terminates on all inputs. Both Hopcroft's and Sisper's books agree with your definition.
Sisper's book and Kozen's book call TMs which always halt "deciders" and "total TMs" respectively.
@Tim I think, strictly, they should terminate, but the term has been expanded beyond that in actual use. I imagine in TCS & computability theory papers they use it in that sense to contrast with potentially non-terminating programs, for example, but most people aren't writing those
The table of contents looks like a reasonable progression
CLRS defines a "correct algorithm" as always halting, and then discusses incorrect algorithms too, so if you're using that then there's your definition
If you want to read an algorithms book cover to cover this looks reasonable enough (but I still suggest that there may be more productive uses of time)