DiscoDays

I find this quite confusing, but then I am far from being an expert on the matter:

* Do we expect a high number of people applying for visa renewals and getting rejected? How come? Otherwise, when it comes to people illegally overstaying their visas, how does this policy idea address intentional non-compliance?

* Don't legal challenges to deportation of criminals have to do with the deportation rather than visas. It would be convenient if hardened criminals complied with the law and removed the need to deport them, but what would motivate them to do so?

The idea seems to be to inconvenience law-abiding visa holders without addressing major concerns, but then I probably misunderstand the concerns. For instance, maybe there is a way of creating legal busy-work when one's visa renewal application gets rejected in a way that is cheap to the individual, but costly for the state, and that this happens on a scale that makes the problem significant. Sounds surprising, and surprising that there'd be no other way to avoid that too!

Could you explain a bit more? Not sure what is achieved by forcing people to renew their visas from abroad. I appreciate that, philosophically, it is a way of setting requirements higher, but it does not strike me as principled.

From my perspective as an immigrant in the UK, there have got to be so many parameters the UK government can adjust before indulging into performative cruelty. Setting higher requirements for visas, revising what jobs qualify for Skilled Worker visas and such. In fact, my understanding is that this is exactly what they have been doing (rather mildly), and it's been successful.

It is also a good thing, because it helps to refine the theorem statement. At least, my humble experience in CS theory research is that I’d try to prove a theorem I want to be true, find a counterexample, refine the statement, and continue.

P.S. It helps that in CS lots of theorems are about either inductive or coinductive definitions.

> if you’re not educated in the Soviet Union you will know it

My grandparents and parents and siblings all learned Ukrainian in school during Soviet times. This is in what now would be considered a predominantly Russian-speaking part of Ukraine btw.

Perhaps, but presumably code that is meant to have an external interface will be in a module and will have an *.mli file to it, and that is an excellent place to constrain your types explicitly if you must.

What does it mean that Arm is headquartered in the UK, practically speaking? What kind of a change would need to happen for, say, the Austin office to become the headquarter?

While it is in many ways a different game, I somehow suspect the fanbases of Fallout 1/2 and Disco Elysium largely overlap.

> Unfortunately these things are reportedly happening, the sentiment should be anti-Putin but ends up being anti-Russian, mostly thanks to Russians like these: https://t.me/glavredinfo/61841

If you don't mind me asking, why should the sentiment be anti-Putin? What makes you think that the war is not being supported by a significant fraction (if not majority) of the Russian population?

How would you formulate what the problem is and why it is time to do something about it?

> We still had to pass ARM compliance tests.

You are making it sound like a burden, but I do not understand why it would be. Surely you are interested in safety checks giving you more confidence that you are positioning yourself to take advantage of the Arm ecosystem (instead of releasing something that is not supportable by compilers and OS experts)?.. Or am I misunderstanding the nature of the compliance tests?

> Is learning any sort of Assembly language a good investment of time?

Learning to understand Arm architecture specifically or computer architecture in general can be invaluable. A particular Assembly syntax is just a way of expressing what you want to do.

I would suggest reading a book about computer architecture or taking a course. And if you are like me and are interested in what complicated things hardware does to fulfil the needs of software, you might want to first read a book on operating systems (like OSTEP by Arpaci-Dusseaus, which is marvel of accessibility and challenge for students), because it will make you ask relevant question.

> It has nothing to do with multiple large ethnic groups that tend to cause tension in the long run, see Israel and Donbas for example.

Please elaborate. As somebody from the East of Ukraine (and, incidentally, as someone who lived in Israel for some years too), I am curious what I am supposed to learn about ethnic tensions from these two examples.

According to what I am reading on Russian-in-exile liberal media with persistent anti-war agenda [1], just several months ago polls (both state-backed and "independent" ones) suggested that more than half of the Russians were in favour of the war. The article I am citing suggests that there has been a change in opinions recently, but still.

[1] https://meduza.io/feature/2022/11/30/za-peregovory-s-ukraino...