Viewing profile — DiscoDays

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…

> 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 woul…

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 typ…

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/glavred…

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 m…

> 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…

> 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 …

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) sugge…