DiscoDays

7 ms·

1.
by DiscoDays 21d ago
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 th
2.
by DiscoDays 21d ago
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 per
3.
by DiscoDays 2mo ago
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.
4.
by DiscoDays 2y ago
> 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
5.
by DiscoDays 3y ago
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.
6.
by DiscoDays 3y ago
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?
7.
by DiscoDays 3y ago
While it is in many ways a different game, I somehow suspect the fanbases of Fallout 1/2 and Disco Elysium largely overlap.
8.
by DiscoDays 3y ago
> 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 m
9.
by DiscoDays 4y ago
How would you formulate what the problem is and why it is time to do something about it?
10.
by DiscoDays 4y ago
> 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
11.
by DiscoDays 4y ago
> 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 w
12.
by DiscoDays 4y ago
> 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 Is
13.
by DiscoDays 4y ago
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 f