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?
> 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?
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.
P.S. It helps that in CS lots of theorems are about either inductive or coinductive definitions.